Latest Interviews
Showing 31–36 of 36 interview transcripts.
Clear all filters- Jane Street1h 8m
Language Design with Leo White
Jane Street compiler team member Leo White discusses OCaml's unique design philosophy, which balances pure mathematical type theory with practical modularity to optimize for compiler construction. He outlines current limitations in memory layout and dependent types that hinder systems programming, while highlighting upcoming features like modular implicits and algebraic effects aimed at resolving compositionality issues without sacrificing safety. The conversation further details Jane Street's collaborative upstream strategy, which uses internal forks to experiment with risky innovations while maintaining rigorous backward compatibility for the broader open-source community.
- Jane Street45 min
Clock Synchronization with Chris Perl
Responding to MIFID 2 regulations, Jane Street engineered a hybrid time synchronization system that combines GPS-driven Precision Time Protocol with Linux-based NTP Interleaved Mode to achieve sub-100-microsecond accuracy across its infrastructure. By leveraging hardware timestamping at the network interface and cross-verifying local and distant time sources, the architecture mitigates standard PTP vulnerabilities while maintaining a simple, inspectable network topology. This design successfully reduces worst-case synchronization errors to approximately 35 microseconds, effectively balancing regulatory compliance with robust fault tolerance.
- Jane Street1h 0m
Python, OCaml, and Machine Learning with Laurent Mazare
Jane Street employs a dual-language architecture that leverages OCaml for robust, statically-typed production systems while utilizing Python for rapid machine learning research and data analysis. Laurent Mazarin highlights how the firm bridges these environments through the PyML library to enable bidirectional communication, though this integration faces technical challenges regarding garbage collection and memory management. To address evolving needs, the organization is exploring Swift for automatic differentiation and investigating algebraic effects in OCaml to achieve fine-grained resource control comparable to Rust.
- Jane Street1h 10m
Compiler Optimization with Greta Yorsh
Jane Street compiler engineer Greta Jorsch presents a strategic shift toward combining formal verification with targeted testing and super optimization to address the undecidability limits of pure verification in compiler design. Her team's implementation of sampling-based Feedback-Directed Optimization in the OCaml compiler achieved 10–20% performance gains by stabilizing runtime behavior and minimizing cache misses while managing the trade-off between portability and architecture-specific micro-optimizations. Jorsch advocates for open-sourcing these performance tooling benchmarks to influence upstream development, emphasizing that modular compiler passes can balance internal innovation with community maintainability.
- Jane Street1h 2m
Multicast and the Markets with Brian Nigito
Over the past two decades, securities exchanges have transitioned from physical floors to highly regulated, electronic ecosystems where ultra-low latency determines competitive advantage. To achieve this, firms utilize specialized networking architectures like UDP multicast and co-located hardware to distribute market data faster than standard internet protocols allow, while relying on custom recovery layers and sequencer models to ensure transactional reliability. As hardware speeds approach 25 Gbps, the industry is increasingly shifting from general-purpose servers to specialized FPGAs and custom network cards to manage serialization delays and maintain deterministic performance.
- Jane Street59 min
Programmable Hardware with Andy Ray
Jane Street leverages FPGA and ASIC hardware to achieve deterministic, line-rate processing for high-frequency financial trading, overcoming the latency and scalability limitations inherent in general-purpose software. To modernize this engineering workflow, the firm utilizes HardCAML, an open-source domain-specific language built on OCaml that enables composable, test-driven hardware design comparable to modern software development. By releasing specialized libraries and realistic examples, Jane Street aims to lower the barrier to entry for complex hardware engineering and accelerate industry-wide adoption of rigorous, software-style verification practices in chip design.