Jane Street

Incremental

Sebastian

Sebastian, a developer at Jane Street, presents the Incremental library, a self-adjusting computation system that enables dynamic dependency graphs for high-performance trading, risk modeling, and user interfaces. The discussion details the library's eight-version evolution, which resolved critical memory leak and performance bottlenecks by replacing heap-based sorting with a partial order system and implementing explicit observer tracking. These architectural improvements, combined with GADTs and CPU cache optimizations, allow the system to execute minimal necessary updates while supporting complex dynamic graph topologies.

Effective ML

Yaron Minsky

Yaron Minsky, a Jane Street Capital programmer, outlines a software development philosophy where reader readability and compiler enforcement take precedence over writer convenience to manage financial risk. The firm applies this approach through rigorous interface standardization, algebraic data types that render illegal states unrepresentable, and exhaustiveness checks that prevent logic errors during refactoring. These strategies enable the maintenance of a massive OCaml codebase, prioritizing correctness in high-frequency trading systems by using phantom types for safety and avoiding unnecessary abstractions that increase complexity.

Why OCaml

Approximately a decade ago, Jane Street adopted OCaml as its primary functional programming language to secure C-like performance and rigorous type safety while maintaining development conciseness. This strategic choice serves as a filtering mechanism for hiring, attracting highly motivated engineers through a specialized one-month training program that results in a consolidated, high-performing workforce. Although the firm faces ecosystem limitations compared to mainstream languages, the implementation of a single language across its multi-billion-dollar systems enables significant code reuse and shifts the priority from empirical testing to the universal guarantees of static type checking.

Effective ML 2011 Harvard CS51 Part 1

Ron Minsky

Ron Minsky, a technical leader at Jane Street Capital, presented a comprehensive case for prioritizing code correctness and maintainability through strict OCaml design principles that leverage the type system to enforce data invariants and ensure pattern match exhaustiveness. The lecture outlined specific architectural strategies, including mandatory interfaces, uniform naming conventions, and a "reader-over-writer" philosophy, which collectively minimize cognitive load and prevent silent failures in high-stakes financial systems. Additionally, the speaker addressed immediate course logistics by extending the Moogle project description deadline and recommending simple list-based implementations to avoid unnecessary debugging complexity.

Effective ML 2011 Harvard CS51 Part 2

Jane Street's engineering philosophy prioritizes explicit error handling, strict boilerplate avoidance, and managed complexity to ensure robust high-frequency trading systems. By leveraging OCaml's predictable performance and enforcing rigorous code review protocols alongside small, autonomous teams, the firm balances mathematical precision with human oversight in a hybrid trading model. This approach treats software development as a discipline of clarity and maintainability, where static typing and disciplined mutation control enable reliable operation in volatile markets.

Caml Trading

Carl Curry, Ron Minsky

Jane Street Capital, a proprietary trading firm operating in four global cities, transitioned its primary development stack to the functional programming language OCaml to satisfy critical demands for absolute correctness, high performance, and code maintainability. This adoption enables the firm's 35 core developers to leverage OCaml's powerful type system and algebraic data types for static exhaustiveness checks, ensuring the rigorous standards required to process billions of dollars in daily equity trades without error. While the language presents challenges in ecosystem maturity, the firm has actively mitigated these gaps through its Jane Street Summer Project and achieved superior hiring outcomes by attracting engineers skilled in functional paradigms.

Seven Implementations of Incremental

Incremental is an internal OCaml library that efficiently refreshes large computations by modeling logic as a dependency graph, allowing localized updates when only small data subsets change. Through eight iterative development phases, the team resolved critical academic limitations regarding garbage collection and dynamic graph restructuring, culminating in a production-ready V8 implementation that achieved a threefold speedup using generalized algebraic data types. This technology successfully transformed a slow trading system frontend into the suite's fastest application and is now being explored for reactive JavaScript compilation and efficient functional data structure diffing.