Post #4201807
2026-07-29 14:35 UTC
@david_chisnall@infosec.exchange @mario@don.tbully.me "At no point in certified software development will anyone sign of on (for example) the C compiler's output being a 100% faithful representation of the C abstract machine."
This is quite the straw man you've summoned. Didn't get any better either.
Later.
Replies (1)
-
@david_chisnall@infosec.exchange 2026-07-29 14:36
@crazyeddie@mastodon.social @mario@don.tbully.me I don't know what you think you're arguing with, but that's exactly the claim that you were making.