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...
Read more
Repeatable exploratory programming
Expect tests are a technique I’ve written about before, but until recently, it’s been a little on the theoretical side. That’s because it’s been hard...
By: Yaron Minsky
Read more
OCaml all the way down
One of the joys of working at Jane Street for the last 15 or so years has been seeing how our software stack has grown...
By: Yaron Minsky
Read more
Putting the I back in IDE: Towards a Github Explorer
Imagine a system for editing and reviewing code where:
By: James Somers
Read more
Learn OCaml in NYC
Interested in learning OCaml? In the NYC area? Then this might be for you!
By: Yaron Minsky
Read more
Proofs (and Refutations) using Z3
People often think of formal methods and theorem provers as forbidding tools, cool in theory but with a steep learning curve that makes them hard...
By: Xavier Clerc
Read more
Work on the OCaml compiler at Jane Street!
As Jane Street grows, the quality of the development tools we use matters more and more. We increasingly work on the OCaml compiler itself: adding...
By: Yaron Minsky
Read more
Does batch size matter?
This post is aimed at readers who are already familiar with stochastic gradient descent (SGD) and terms like “batch size”. For an introduction to these...
By: Chris Hardin
Read more
How Jane Street Does Code Review (Jane Street Tech Talk)
It’s time for our next Jane Street Tech Talk. When we’ve solicited suggestions for topics, one common request has been to talk about our internal...
By: Yaron Minsky
Read more
Jane Street Tech Talk, Verifying Network Data Planes
After a summer hiatus, the Jane Street Tech Talks series is back on for the fall! Last we left it, our very own Dominick LoBraico...
By: Spiros Eliopoulos
Read more
Real world machine learning (part 1)
Trading is a competitive business. You need great people and great technology, of course, but also trading strategies that make money. Where do those strategies...
How to design a tree diffing algorithm
For those of you interested in what what interns do at Jane Street, here’s a post from former intern Tristan Hume, on his work developing...
By: Yaron Minsky
