Verification Engineering is the next Context Engineering AI can only reliably run as fast as we check their work. It’s almost like a complexity theory claim. But I believe it needs to be the case to...
The purpose of this curriculum is to help new Elicit employees learn background in machine learning, with a focus on language models. I’ve tried to strike a balance between papers that are relevan...
Domain knowledge is the only moat So where does that leave us? Right now there is still enormous value in having a human ‘babysit’ the agent – checking its work, suggesting the appro...
Much has been said about the effects that AI will have on software development, but there is an angle I haven’t seen talked about: I believe that AI will bring formal verification, which for decades...
MCPs weren’t built just for developers.They’re not just for IDE copilots or code buddies. At Block, we use MCPs across everything, from finance to design to legal to engineering. I gave a ...
AI coding tools were supposed to change everything. And they did! But maybe just not how we expected. The first wave was chaos. Vibe coding. Let the AI write whatever it wants and hope for the best. I...
My view: compared to last year, AI is much more impressive but not proportionally more useful. They improved on some things they were explicitly optimised for (coding, vision, OCR, benchmarks), and di...
We are now one year in where a new category of companies has been founded whereby the majority of the software behind that company was code-generated.From here on out I’m going to call to these comp...
