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...
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
Trivial meta-programming with cinaps
From now and then, I found myself having to write some mechanical and repetitive code. The usual solution for this is to write a code...
By: Jeremie Dimino
One more talk, two more videos
I’m happy to announce our next public tech talk, called Seven Implementations of Incremental, on Wednesday, April 5th, presented by yours truly. You can register...
By: Yaron Minsky
What a Jane Street software engineering interview is like
Are you thinking about applying to Jane Street for a software engineering role? Or already have a phone interview scheduled but unsure what to expect?...
By: Sebastian Funk
Read more
Jane Street Tech Talks: Verifying Puppet Configs
Our first Jane Street Tech Talk went really well! Thanks to everyone who came and made it a fun event.
By: Yaron Minsky
