For the past 25 years, Jane Street has publicly maintained that the organization had no interest in formal methods for software development. However, a new article exploring the future of programming suggests the trading firm may be rethinking this long-held stance. The piece examines the evolving landscape of mathematically verifying code and its potential impact on the company's future engineering practices.