✳flâneur — a map of the web's best reading
Jane Street Tech Blog
blog.janestreet.com · 968 words · saved by 2 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
Explore this link on the map →saved by
related reading
- Jane Street Blog - Formal methods and the future of programmingblog.janestreet.com
- NYSRGnotes.ekzhang.com
- An O(x)Caml book that runs · KC Sivaramakrishnankcsrk.info
- One way to do applied researchdubroy.com
- 1.2. OCaml · Functional Programming in OCamlcourses.cs.cornell.edu
- 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
- GitHub - LaurentMazare/ocaml-torch: OCaml bindings for PyTorch · GitHubgithub.com
- Shipping at Inference-Speed | Peter Steinbergersteipete.me
- how I think when I think about programming - alice mazalicemaz.com
- Jane Street Blog - What the interns have wrought, 2021 editionblog.janestreet.com
- Why ML/OCaml are good for writing compilersflint.cs.yale.edu