logoalt Hacker News

raulparada • today at 6:48 AM • 1 reply • view on HN

> 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’


Replies

nilkn • today at 3:56 PM

Correct -- this is exactly where the frontier is heading at the startups and AI labs working on this.

While you're being tongue in cheek, what you're missing is that the spec you'd be working on in some cases can be compressed to a small fraction the size of the implementation code.