Jonathan Müller

10.3K posts

Jonathan Müller banner
Jonathan Müller

Jonathan Müller

@foonathan

C++, compilers, and programming languages. Software engineer @LSEGplc, chair for std::ranges at @isocpp. @[email protected]

Aachen, Germany 参加日 Eylül 2014
69 フォロー中12.4K フォロワー
Revolucion
Revolucion@Revolucion077·
@foonathan @mineigi06 @BetterLinux Is it some kind of a tourist destination? Because for all my life in Poland, except for pedestrian-only tourist areas, shopping looks like this (actual places where I get food and all the other stuff at, Aldi and a local mall complex):
Revolucion tweet mediaRevolucion tweet media
English
2
0
0
79
linux
linux@tuvati·
i was looking at cape coral, florida on google maps and this is just insane theres no town center, no entertainment, no stores, ITS. JUST. HOUSES. living here must be hell
linux tweet media
English
145
103
4.5K
260.6K
Revolucion
Revolucion@Revolucion077·
@mineigi06 @BetterLinux I don’t know anybody who does that. It’s (almost I guess) never 5 minutes, the 3 miles avg was given for a reason. If you pick the closest one then I guess it would be like 30 minutes at best for most ppl. Also, nobody wants to lift a week’s worth of groceries.
English
4
0
1
446
Jonathan Müller がリツイート
Barry Revzin
Barry Revzin@BarryRevzin·
Sometimes, working on C++ is frustrating. Other times, people gives talks about how a feature you pushed through is "really magical but also really convenient." Those latter moments make the former moments worthwhile. Check out youtube.com/watch?v=RemzBy…
YouTube video
YouTube
Barry Revzin tweet media
English
3
8
85
5.7K
Jonathan Müller
Jonathan Müller@foonathan·
I published my trip report about the Hagenberg meeting last week: think-cell.com/en/career/devb… I was wrong about the potential for dangerous optimizations with contracts and ODR. The behavior is not allowed; the blog post has been updated. #cpp #cplusplus
English
0
2
7
1.1K
Jonathan Müller
Jonathan Müller@foonathan·
@victor_explore @hamptonism The thing needs to be normalized to 1, and the integral over the entire number line of e^-(x^2) is sqrt(pi), so you have to divide it out. And the integral is sqrt(pi) because you can turn it into a 2D integral of a rotated 1D integral, where the rotation adds a pi factor.
English
0
0
3
88
Victor
Victor@victor_explore·
@hamptonism Ever wonder what pi is doing there
English
1
0
0
2.6K
Jonathan Müller
Jonathan Müller@foonathan·
@tsoding Loved your stream about cuik/TB, thanks! If you like this, I have written a fast stack-based VM designed for CTFE. It has coroutines, optional GC, and also experimental codegen using QBE. You can use a simple C API or a textual IR as input: github.com/foonathan/lauf/
English
0
0
1
127