Jane Street Tech Blog

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

• Karan MJ
• Hamidah Oderinwale
• Jaisel Singh

related reading

• Jane Street Blog - Formal methods and the future of programmingblog.janestreet.com
• NYSRGnotes.ekzhang.com
• Formal methods and the future of programmingblog.janestreet.com
• An O(x)Caml book that runs · KC Sivaramakrishnankcsrk.info
• 1.2. OCaml · Functional Programming in OCamlcourses.cs.cornell.edu
• Correct + Efficient + Beautifulcs3110.github.io
• A Guide to Claude Code 2.0 and getting better at using coding agents – sankalp's blogsankalp.bearblog.dev
• Tristan's Site - Tristan Humethume.ca
• Unix system programming in OCamlocaml.github.io
• Shipping at Inference-Speed | Peter Steinbergersteipete.me
• Jane Street Blog - What the interns have wrought, 2021 editionblog.janestreet.com
• how I think when I think about programming - alice mazalicemaz.com