“Attempting to prove any nontrivial theorem about your program will expose lots of bugs: The particular choice makes little difference!”
Related Posts
@MekahimeAkari @lifning "C makes it easy to shoot yourself in the foot; C++ makes it harder, but when you do it blows your whole leg off". -- Real Stroustrup quote, 1986
It's odd how lazy evaluation is generally seen as a niche design choice, yet the vast majority of languages treat `foo() || bar()` as short-circuiting.
GNU Make defaults to a single worker, and newer build tools (e.g. ninja) default to the number of physical CPUs.I wish there was an option for 'leave me a little bit of my machine to do stuff'.