News for hackers. Stuff that matters.

A comment on Three ways "formally verified" can go wrong. Parent comment

Re:Three ways "formally verified" can go wrong by 8n4vidtmkvmk on Monday October 13, 2025 @03:10AM (#45565604)
Yes.
[ Parent | on HN ]

There are no comments on this comment yet.