Embed Notice

@iris_meredith I’m really interested to see how the core tech adapts to this change. As you say, we haven’t had anything really *new* in ~50 years, pretty much since we invented compilers. That allowed a ton of new things, e.g dynamic languages.

My guess is that formal methods become practical (and then ubiquitous). They’re hassle for a manual coder to do, and don’t add much. But for an LLM that’s prone to hallucinations but fast at writing boilerplate… perfect.