David Chisnall (*Now with 50% more sarcasm!*)david_chisnall@infosec.exchange

Jul 29, 2026, 2:38 PM

I can only assume you're not reading the thread in context because you jumped into a middle of a conversation with a post about a problem with the concrete machine not being a faithful representation of the abstract machine that the proofs were constructed in to say that, in certified software development, people signed off on that.

Replies