Jane Street Tech Blog
blog.janestreet.com · 968 words · saved by 3 readers
OCaml and Systems rolled into one
Jane Street Blog Read more Jun 15, 2026 | 14 min read Using OxCaml to implement type-safe reference counting between OCaml and Python Jane Street is known for being an OCaml shop, but for years now Python has been our second major programming language, acting as the primary... By: Nicolas Trangez Read more Jun 07, 2026 | 8 min read 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. By: Yaron Minsky Read more May 26, 2026 | 10 min read strace-ui, Bonsai_term, and the TUI renai
saved by
related reading
- Jane Street Blog - Formal methods and the future of programmingblog.janestreet.com
- NYSRGnotes.ekzhang.com
- JAX core from scratch — JAX documentationdocs.jax.dev
- Developing our position on AI - Blog - Recurse Centerrecurse.com
- Eric Jangevjang.com
- Jane Street Blog - Can you reverse engineer our neural network?blog.janestreet.com
- Formal methods and the future of programmingblog.janestreet.com
- Reading Listpliutau.com
- rsrch spacersrch.space
- A half-hour to learn Rustfasterthanli.me
- Non_Interactive – Software & MLnonint.com
- Jane Street Blog - What the interns have wrought, 2021 editionblog.janestreet.com