dorianh

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 issue, but sometimes it is. It's annoying to browse the internet while constantly thinking "Maybe there is an issue on my side".

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 don't think this is true, in the introduction of [1]:

> Our reducers do this automatically and without introducing undefined behavior into the reduced test cases

[1] https://users.cs.utah.edu/~regehr/papers/pldi12-preprint.pdf

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 change a lot between compilers (the location of the pointer to the vtable for example). Do you know if it's true, and if the layout do change, could you give an example?

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