On: Cybersecurity Pros Name Their Price as Hacker Atta...

[WrtCdEvrydy]

It's the same thing as formal software engineering specs.

Unless you're doing software for airplanes, ain't noone formally proofing anything being done.

[agentultra → WrtCdEvrydy]

That's not true!

I don't usually write proofs at work but I do work with formal models of critical sections in our systems.

Although on the side I am working on bootstrapping Lean's ecosystem so we can write more proof-carrying code in more places.