Feb 15, 2018 | 10 min read

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
Dec 20, 2017 | 1 min read

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
Oct 31, 2017 | 12 min read

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
Oct 29, 2017 | 1 min read

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
Sep 26, 2017 | 1 min read

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
Aug 28, 2017 | 5 min read

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...

Aug 25, 2017 | 1 min read

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
Aug 24, 2017 | 10 min read

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
Aug 16, 2017 | 1 min read

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
Aug 14, 2017 | 9 min read

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
May 11, 2017 | 2 min read

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
May 01, 2017 | 1 min read

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