I like the second picture where it looks like the professor is making sure that the material is indeed one atom thin, but not two!
That's good to hear. I'm going to try oisd, hoping for fewer false positive :).
Unfortunately yes, there are features on big websites which just don't work. Now every time, I have an issue with any website, my first instinct is to turn off pi-hole. Most of the time, pi-hole is not the even the…
The blog post company does sell a C interpreter that checks for all undefined behaviors (with provenance and offset).
If I understand correctly, the authors feared that C-Reduce could introduce undefined behaviors: > Unfortunately, if given the opportunity by a lax predicate, C-Reduce will write programs that have undefined behavior I…
I always assumed that in C, a given structure would always have the same memory layout, no matter what the compiler is (as long as the compilers target the same architecture of course). I always assumed that in C++, the…
I wonder why posts about software design seem to have low points on HN
I like the second picture where it looks like the professor is making sure that the material is indeed one atom thin, but not two!
That's good to hear. I'm going to try oisd, hoping for fewer false positive :).
Unfortunately yes, there are features on big websites which just don't work. Now every time, I have an issue with any website, my first instinct is to turn off pi-hole. Most of the time, pi-hole is not the even the…
The blog post company does sell a C interpreter that checks for all undefined behaviors (with provenance and offset).
If I understand correctly, the authors feared that C-Reduce could introduce undefined behaviors: > Unfortunately, if given the opportunity by a lax predicate, C-Reduce will write programs that have undefined behavior I…
I always assumed that in C, a given structure would always have the same memory layout, no matter what the compiler is (as long as the compilers target the same architecture of course). I always assumed that in C++, the…
I wonder why posts about software design seem to have low points on HN