1
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.
Jane Street Tech Blog
OCaml and Systems rolled into one
- Popular posts
- 23
- Total points
- 4,786
- HN comments
- 2,431
- Rank
- #229 company
Visit blog.janestreet.com → RSS feedOn Hacker News Mar 2018 – Oct 2026
Software Engineering 15Tools & Productivity 5Programming Languages 5AI & Machine Learning 5Systems & Performance 3Career & Management 3
2
Plans for OCaml 4.08
With the external release of OCaml 4.07.0 imminent, we in Jane Street’s Tools & Compilers group have been planning what we want to work on for inclusion ...
3
Oxidizing OCaml: Locality
OCaml with Jane Street extensions is available from our public opam repo. Only a slice of the features described in this series are currently implemented.
4
Deep learning experiments in OCaml
Last year we held a machine learning seminar in our London office, which was an opportunity to reproduce some classical deep learning results with a nice twi...
5
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.