alt Hacker NewsIt's looking increasingly likely that many backend systems in the future will just be formally verified and generated autonomously from specs. That means you'd never look at the code, only the spec. You'd basically "program" and "debug" the spec, and the full system would be autonomously generated each time to match the spec.
Frontend code is probably far harder to apply this technique to.
Replies
Seattle3503 • today at 5:12 AM
What project is closest to doing this today?
raulparada • today at 6:48 AM
> You'd basically "program" and "debug" the spec
Sweet, we could even develop a standard language(s) to lay out such specs, and write in specialised text editors that would help with debugging. Hell we could even call it ‘programming’
➕ show 1 reply
Which project did you work on that made specs that good? I sure haven’t (but I am sure they exist).