Re:AlphaProof Code
by gf000 on Tuesday November 10, 2026 @01:05PM
(#50443872)
Well, arguably if you generate your code from the spec itself then it could be possible.
But even then, what's not possible is to "know" whether the spec=code is whatever the creator actually had in mind.
But still, the target programming language's formalism is still likely done on a higher level, than e.g. its compiler output on a given CPU, so compiler bugs could still "throw a wrench" into the system.
But even then, what's not possible is to "know" whether the spec=code is whatever the creator actually had in mind.
But still, the target programming language's formalism is still likely done on a higher level, than e.g. its compiler output on a given CPU, so compiler bugs could still "throw a wrench" into the system.