This must the most compelling look I’ve seen at how software might work with LLMs doing a ton of heavy lifting.

There’s something kind of amazing here in that having read about property based testing I’m pretty confident I could apply it if I had a good use case.