Jane Street Tech Blog company blog
Formal methods and the future of programming
I’ve been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods.
- Points
- 378
- HN comments
- 126
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringProgramming Languages2026
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jun 14, 2026 | Formal methods and the future of programming by eatonphil | 378 | 126 |
