[keybored]

My dream antiprogram is a specification compiler that interprets any natural language and compiles it to a strict specification. But on any possible ambiguity it gives an error.

    ?

This terse error was found to be necessary as to not overwhelm the user with pages and pages of decision trees enumerating the ambiguities.

[newswasboring]

Openspec does this. But instead of "?" it has a separate Open Questions section in the design document. In codex cli, if you first go in plan mode it will ask you open questions before it proceeds with the rest.

The UX is there, for small things it does work for me, but there is still something left for LLMs to truly capture major issues.

[keybored]

Bless our interesting times.