Code is too tedious but prompting is too chaotic. The middle ground sounds reasonable to me, but it would be funny if this pseudocode representation of your software doesn’t just end up in an AI lab re-releasing programming languages as a novel discovery in two years.

Cursor CEO Michael Truell on the future of writing code: "Our goal with Cursor is to invent a new type of programming.""It looks like a world where you have a representation of the logic of your software that does look more like English.""You can imagine kind of an evolution of programming language towards pseudocode. You have written down the logic of the software, and you can edit that at a high level.""It won't be the impenetrable millions of lines of code, it'll instead be something that's m

Truell is describing executable specifications and program synthesis.BUT... Once your “pseudocode” is the source of truth, the system needs to reason about its own rules without contradictions.That’s a well known formal logic problem.And Ohad @ Tau has solved it: