Hacker News Reader

agree, and I think we'll see more use of formal methods with LLMs for this reason

At a certain point it just feels like we're reinventing the concept of programming languages from first principles.

I'm using this new programming language: it's called LLM prompting, and everything is undefined behavior.

Hardly the first time we've done this - we had to do it with compilers too