News for hackers. Stuff that matters.

A comment on AlphaProof Code. Parent comment

Re:AlphaProof Code by Ohentis on Tuesday November 10, 2026 @02:15PM (#50444874)
I agree with this mostly, but I still think that large parts of software can be described with a spec that is much simpler than the actual code.
[ Parent | on HN ]

There are no comments on this comment yet.