News for hackers. Stuff that matters.
Re:AlphaProof Code by mapcars on Tuesday November 10, 2026 @08:48AM (#50440302)
Tested is one thing, proved is another. While you need less people to do this, now it also becomes meaningful to spend resources on, instead of another new feature.

There are no comments on this comment yet.