Jane Street embraces formal methods due to the rise of agentic coding
PtrPomorski · x · 2026-08-20
Jane Street's Yaron Minsky explains the firm's shift from skepticism to excitement about formal methods, driven by the emergence of agentic coding. They are building a team to make formal verification as pervasive as type systems.
More from Companies & People
- Leaders must return to frontline IC work to survive the AI transition — garrytan · 2026-08-20
- General Catalyst Acquires Hospital System to Build AI-Native Healthcare OS — joecole · 2026-08-20
- Wayve co-founder shares contrarian ideas on building better robots in SF — alexgkendall · 2026-08-20
- NSF launches CyberAI program, selecting 14 universities to train security workforce — keviv9 · 2026-08-20
- Robotics startups should not blindly chase compute and data scaling — DJiafei · 2026-08-20
- Why Startups With the 'Open' Prefix Are Killing It in VC — WhatTheLJW · 2026-08-20