Post #4209848
2026-07-29 07:58 UTC
@0xabad1dea@infosec.exchange @mevenlennonbertrand@lipn.info oh wow. This is either terrible or wonderful and I have no idea which.
Replies (1)
-
@mevenlennonbertrand@lipn.info 2026-07-29 08:13
@mattblaze@federate.social @0xabad1dea@infosec.exchange I think it's practically ok, we have good human measures in place to avoid such bugs having serious consequences. Of course, on the long run this is a strong motivation to apply serious formal methods to proof assistant kernels, ideally towards full verification!