Formal methods and the future of programming
formal methodsagentic codingprogramming languagestype systemssoftware developmentJane Street
Author: eatonphil
Date: 6/14/2026
Article Summary:
Jane Street is shifting its perspective on formal methods, seeing them as a valuable tool for building software, especially with the emergence of agentic coding.