@mevenlennonbertrand@lipn.info
Post #4209849
2026-07-29 08:13 UTC
@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!
Replies (1)
-
@light@noc.social 2026-07-29 14:34
@mevenlennonbertrand@lipn.info Wouldn't that result in a bootstrapping problem? @mattblaze@federate.social @0xabad1dea@infosec.exchange