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...
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
Read more
Ironing out your development style
People seem to enjoy talking about programming methodologies. They give them cute names, like eXtreme programming, Agile, and Scrum; run conferences and build communities around...
By: Yaron Minsky
Read more
Hiring an FPGA engineer
Jane Street is looking to hire an engineer with experience in both software and hardware design to work on FPGA-based applications, and on tools for...
By: Yaron Minsky
Read more
What the interns have wrought, 2017 edition
Intern season is coming to a close, and it’s a nice time to look back (as I’ve done in previous years) and review some of...
By: Yaron Minsky
When Bash Scripts Bite
There are abundant resources online trying to scare programmers away from using shell scripts. Most of them, if anything, succeed in convincing the reader to...
By: Todd Lubin
Looking for a technical writer
Update: I’m excited to say that we’ve now hired a (great!) technical writer, so the position is closed.
By: Yaron Minsky
Read more
Caveat Configurator: how to replace configs with code, and why you might not want to
We have a new tech talk coming up on May 17th, from our very own Dominick LoBraico. This one is about how to represent configurations...
By: Yaron Minsky
This is not the performance you were looking for: the tricks systems play on us
It’s often surprising just how much software performance depends on how the software is deployed. All the time and effort you’ve invested in optimization can...
By: Andy Myers
