Jane Street

Understanding OCaml Locals as a Mode (with Sub-Moding) | OCaml Unboxed

I

This presentation introduces local and global modes in OCaml as a type system extension that governs memory lifetime and escape properties rather than value structure. The speaker details how these modes enforce safety by preventing local values from escaping their declaration scope while establishing a sub-mode relationship where global values can safely be treated as local. Additionally, the talk outlines four distinct, incompatible function arrow types that strictly regulate argument and result modes to prevent unintended memory escapes, with future work proposed to automate these annotations.

Annotating OCaml Variables and Returns with local_ | OCaml Unboxed

Jane Street is developing an experimental OCaml feature set that enforces strict region constraints through `local` annotations to optimize memory usage and eliminate escaping values. The system introduces the `exclave` keyword to terminate function regions early, enabling specific allocations in the caller's scope while preventing mutable references from capturing local data. Current implementation faces known pitfalls regarding return position rules and compiler error precision, with further refinements planned to address these sharp edges.

Introducing the OCaml Local Mode | OCaml Unboxed

camels

Jane Street is refining the OCaml compiler's type system to introduce a "local mode" feature that enforces function parameters to remain within their execution scope, thereby preventing value escaping. This mechanism guarantees the isolation of mutations and facilitates safer resource management in callback patterns by ensuring local arguments cannot be stored or returned. While the feature remains experimental within the Jane Street branch, it aims to optimize allocation behavior for latency-sensitive code before potential upstream integration.

Performance Engineering on Hard Mode with Andrew Hunter

Andrew Hunter, Ron Minsky

This analysis contrasts the performance engineering strategies of hyperscalers, which prioritize broad infrastructure optimization for massive scale, against Jane Street's focus on deterministic latency reduction for specialized trading systems. The discussion details measurement trade-offs between statistical sampling and hardware tracing, while examining how OCaml engineers overcome memory locality gaps through zero-allocation dialects and low-overhead C interop. Ultimately, the presentation advocates for developing mechanical sympathy and accelerating OODA loops to shift optimization discipline from micro-tuning to systemic architectural design.

A Poet's Guide to Product Management with Peter Bogart-Johnson

Peter Bogart-Johnson, Ron Minsky

Peter Bogart-Johnson, formerly a D.E. Shaw researcher, joined Jane Street three years ago to formalize program management as the firm expanded to over 2,000 employees, successfully transitioning from ad-hoc engineering coordination to a structured discipline that bridges technical and non-technical workflows. His approach emphasized low-latency communication tools and an "anthropological" onboarding strategy that mitigated early engineer resistance by prioritizing empathy and incremental trust-building over rigid frameworks. These efforts enabled a critical 2023 strategic pivot toward machine learning, where program managers now facilitate rapid infrastructure scaling and high-stakes experimentation while balancing consensus-driven decision-making with the urgent demands of new GPU deployments.

Get to Know Us: Ezio Talks Linux Engineering at Jane Street

Ezio

Ezio, a Linux Engineer at Jane Street's London office since 2020, leverages deep theoretical knowledge to automate infrastructure and drive complex troubleshooting within a culture that values humility and consultative decision-making. As the founder of the firm's global Pride Community Group, he secured critical health insurance benefits for trans employees while fostering collaboration across offices in New York, London, Amsterdam, Singapore, and Hong Kong. His experience highlights the firm's emphasis on balancing technical rigor with inclusive social initiatives and advises new hires to prioritize absorbing organizational context before offering suggestions.

The Future of Programming with Richard Eisenberg

Richard Eisenberg, Ron Minsky

Richard Eisenberg joined Jane Street's tools and compilers team to lead the development of "unbox types" for OCaml, a feature designed to eliminate runtime pointer indirections while retaining garbage collection. Previously an eight-year Haskell ecosystem contributor who chaired the Haskell Foundation, Eisenberg brings extensive experience in type theory and compiler design to address OCaml's memory representation challenges. His work involves a careful trade-off between parametric polymorphism and performance optimization, tested internally before seeking community consensus for upstream integration.

A Jane Street Software Engineering Mock Interview with Grace and Nolen

Grace, Nolen, Nolan, Emily Fortuna, Colton Ogden, Todd Kerpelman, Jen Person, Colt McAnlisley, Dan Galpin, Mark Mirchandani

Nolan and Grace, experienced Jane Street employees, co-created a mock interview simulation featuring a unit conversion challenge that evaluates a candidate's graph-based algorithm design and problem-solving collaboration. During the session, the candidate developed a breadth-first search solution to minimize floating-point errors while iteratively correcting structural flaws regarding bidirectional graph construction and edge cases. The exercise underscores Jane Street's emphasis on code clarity, effective communication, and the ability to refine logic through dialogue rather than demanding immediate optimization or perfect syntax.

A Jane Street Trading Mock Interview with Graham and Andrea

Graham, Andrea, Michael

In a simulated quantitative trading interview, veteran trader Graham guides new hire Andrea through three variations of a die-rolling game designed to test her mathematical modeling and game theory skills. Andrea derives optimal stopping thresholds for static and consumable die scenarios while iterating toward a Nash equilibrium in an adversarial version where the casino actively minimizes her earnings. This exercise highlights Jane Street's evaluation criteria, which prioritize the candidate's ability to clarify rules, articulate a logical thought process, and collaboratively solve complex problems under changing constraints.

Swapping the Engine Out of a Moving Race Car with Ella Ehrlich

Ella Ehrlich, Ron Minsky

Jane Street engineers are modernizing the legacy Gord trading infrastructure by migrating its distribution layer to Kafka, implementing automated release pipelines, and refactoring data normalization to ensure high availability and scalability. These technical upgrades, which include shifting from push to pull-based data delivery and eliminating manual global deployment processes, directly support the system's goal of achieving 24/7 uptime without daily resets. Concurrently, the firm is expanding its engineering pipeline through targeted diversity initiatives like the Insight and InFocus programs, which have successfully raised female intern representation to 25% while establishing long-term relationships with underrepresented minority candidates.

State Machine Replication, and Why You Should Care with Doug Patti

Doug Patti, Ron

Doug Patti's presentation details Jane Street's architectural evolution from the rigid, single-sequencer Concord system to the more flexible ARIA infrastructure, which supports 24/7 operations and hierarchical topic namespaces. ARIA addresses previous limitations in versioning and overhead while preserving global deterministic ordering for high-frequency trading, enabling internal teams to manage complex workflows with reduced operational burden. Despite these advancements, the architecture still faces challenges regarding rate limiting and snapshot capabilities, prompting ongoing optimizations to support broader firm-wide adoption.

Memory Management with Stephen Dolan

Stephen Dolan, KC Sivaramakrishnan, Ron Minsky, Mark Mandelmann, Simon Hughes, Matt Sullivan, Mark Blyther, Paul Lewisohn, Simon Verstraeteker

Stephen Dolan discusses advanced optimizations in the OCaml language, detailing how generational, incremental garbage collection and software pre-fetching reduce memory access latency by up to 90%. He introduces local types and unboxed representations to enable safe stack allocation and native memory layouts, thereby eliminating heap overhead for temporary values while maintaining automatic memory safety without manual lifetime annotations. The presentation concludes with a roadmap for integrating multi-core garbage collection and lifting GC barriers to support denser data structures, balancing performance with ergonomic simplicity.

What is an Operating System? with Anil Madhavapeddy

Anil Madhavapeddy, Ron Minsky, Mark Mandelbaum, Mark Blyther

Mirage OS is a pure OCaml unikernel framework that compiles applications into minimal, single-purpose binaries by linking only essential drivers and protocol stacks directly to the kernel. Since its origins as a Cambridge research project to verify high-level language performance, the system has achieved significant industrial adoption, powering Docker for Mac and Windows, Tezos blockchain nodes, and energy-efficient solar sensor networks. By utilizing a library operating system model and advanced features like the LDRF memory model, Mirage delivers enhanced security through a reduced attack surface while enabling scalable multi-core execution in upcoming language releases.

Building a UI Framework with Ty Overby

Ty Overby, Ron Minsky

Ty Overby, a Jane Street engineer since 2018, developed Bonsai to replace the restrictive InkerDOM library with a pure, static directed acyclic graph architecture that enables efficient incremental computation in OCaml. This meta-language framework treats components as universal computation units rather than mere UI views, facilitating deep compiler optimizations like constant folding while maintaining strict encapsulation through local model and action types. Despite facing current challenges regarding CSS class collisions and syntax verbosity, Overby's design prioritizes structural stability and debuggability, drawing inspiration from systems like Blender and Excel to solve the limitations of traditional web platforms.

Writing, Technically with James Somers

James Somers, Ron Minsky

James Summers leverages his background as a software engineer to transform Jane Street's institutional knowledge from fragile phone calls into durable, executable documentation systems that mechanically validate technical accuracy. By treating writing as a distinct discipline rather than a secondary coding task, he implements a "literate docs" architecture and social feedback loops to incentivize contributors and combat the curse of knowledge within the organization's rapidly expanding workforce. This strategic shift aims to evolve documentation from an afterthought into a scalable cultural asset that guides diverse reader archetypes while preserving the critical "searchable trails" necessary for a 1,500-employee firm.