dorianh

4 ms·

1. 1.▲
   by dorianh 2y ago

   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!
2. 2.▲
   by dorianh 2y ago

   That's good to hear. I'm going to try oisd, hoping for fewer false positive :).
3. 3.▲
   by dorianh 2y ago

   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 issue, but sometimes
4. 4.▲
   by dorianh 3y ago

   The blog post company does sell a C interpreter that checks for all undefined behaviors (with provenance and offset).
5. 5.▲
   by dorianh 3y ago

   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 don't think
6. 6.▲
   by dorianh 6y ago

   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 memory layout could
7. 7.▲
   by dorianh 7y ago

   I wonder why posts about software design seem to have low points on HN