Playing Atari Games with OCaml and Deep Reinforcement Learning
In a previous blog post we detailed how we used OCaml to reproduce some classical deep-learning results that would usually be implemented in Python. Here...
Read more
L2 Regularization and Batch Norm
This blog post is about an interesting detail about machine learning that I came across as a researcher at Jane Street - that of the...
By: David Wu
Read more
A tutorial for building web applications with Incr_dom
At Jane Street, our web UIs are built on top of an in-house framework called Incr_dom, modeled in part on React’s virtual DOM. Rendering different...
By: James Somers
Read more
How to shuffle a big dataset
At Jane Street, we often work with data that has a very low signal-to-noise ratio, but fortunately we also have a lot of data. Where...
By: Chris Hardin
Read more
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...
By: Laurent Mazare
Read more
What the interns have wrought, 2018 edition
Yet again, intern season is coming to a close, and so it’s time to look back at what the interns have achieved in their short...
By: Yaron Minsky
Read more
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...
By: Leo White
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
