AI makes writing code faster, but shouldn’t it make software better, too?
Today, Jesse Jiryu Davis, Senior Staff Research Engineer at MongoDB joins Carl Sverre to discuss why the time saved by AI should be reinvested and not squandered. Jesse talks about MongoDB’s journey with formal verification – and his own.
He shares what it was like to build a custom replication protocol using TLA-plus, and how he realized that you can work in TLA-plus without a PhD.
Jesse and Carl also talk about the future of formal methods – the impact of AI, the advent of simple but powerful tools like Antithesis, and Jesse’s predictions about the future of code review.
Podden och tillhörande omslagsbild på den här sidan tillhör
Antithesis. Innehållet i podden är skapat av Antithesis och inte av,
eller tillsammans med, Poddtoppen.
