Appears On
Episode Appearances
The Peterman Pod · Jul 20, 2026
Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy
“PhD student on Ensemble project who later implemented Jane Street's trading infrastructure in OCaml”
OCaml Programming Language DesignFunctional Programming vs Imperative ProgrammingGarbage Collection vs Manual Memory Management
View Analysis