Zero Knowledge FPGAs

What the interns have wrought, 2022 edition

Magic-trace: Diagnose tricky performance issues with Intel Processor Trace

What the interns have wrought, 2021 edition

How to Build an Exchange (2017)

Using ASCII waveforms to test hardware designs (2020)

How to shuffle a big dataset

Finding memory leaks with Memtrace

OCaml as a scripting language

What the Jane Street interns have wrought, 2020

Low latency multipliers and cryptographic puzzles

What’s in a name?

Using ASCII waveforms to test hardware designs

Troubleshooting Systemd with SystemTap

Using Python and OCaml in the Same Notebook

Commas in big numbers everywhere: An OpenType adventure

What the interns have wrought (2019 edition)

L2 Regularization and Batch Norm

A look at OCaml 4.08

Core_bench: better micro-benchmarks through linear regression

Deep learning experiments in OCaml

What the interns have wrought, 2018 edition

Plans for OCaml 4.08

Static access control using phantom types (2008)

Putting the I back in IDE

Proofs and Refutations Using Z3

Ironing out your development style