Post #4201800
2026-07-29 14:37 UTC
@david_chisnall@infosec.exchange @mario@don.tbully.me No dude. You completely made it up.
Replies (1)
-
@david_chisnall@infosec.exchange 2026-07-29 14:38
@crazyeddie@mastodon.social @mario@don.tbully.me 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.