News for hackers. Stuff that matters.

A comment on AlphaProof Code.

Re:AlphaProof Code by hoppp on Tuesday November 10, 2026 @08:12AM (#50439829)
This is the way. I have been working on similar.

Since code is cheap there is no excuse to not have verification everywhere.

[ Parent | on HN ]

There are no comments on this comment yet.