
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
Update: I’m excited to say that we’ve now hired a (great!) technical writer, so the position is closed.
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...
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...
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...
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...
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?...
Our first Jane Street Tech Talk went really well! Thanks to everyone who came and made it a fun event.