# Formal methods and the future of programming

<https://blog.janestreet.com/formal-methods-at-jane-street-index>

- Host: [blog.janestreet.com](https://links.thingelstad.xyz/hosts/blog.janestreet.com/)
- Saved: June 17, 2026 (2026-06-18T00:36:54Z)
- Record: https://links.thingelstad.xyz/links/e3850feb973b/
- JSON: https://links.thingelstad.xyz/links/e3850feb973b.json

## Facts

- Kind: [Page](https://links.thingelstad.xyz/kinds/page/)

## Saved the same week

- [Stumble Again — Rediscover the web](https://links.thingelstad.xyz/links/1c4959cc1cad/) (stumbleagain.com, June 17, 2026)
- [Why is Meta destroying its engineering organization?](https://links.thingelstad.xyz/links/799eb45228cf/) (newsletter.pragmaticengineer.com, June 17, 2026)
- [Calvin and Hobbes and the Price of Integrity](https://links.thingelstad.xyz/links/bafcb28b2013/) (therepublicofletters.substack.com, June 17, 2026)
- [Running local models is good now | Vicki Boykis](https://links.thingelstad.xyz/links/bb259de27df6/) (vickiboykis.com, June 17, 2026)
- [Mechanical Watch](https://links.thingelstad.xyz/links/b3d51388a50e/) (ciechanow.ski, June 17, 2026)

## Elsewhere

- Wayback Machine: https://web.archive.org/web/*/https://blog.janestreet.com/formal-methods-at-jane-street-index