Results
6 articlesSort
55:03ENNeil Mitchell: How Pyrefly Checks Python at ScaleNeil Mitchell, Roman · MetaA tour of Python's type system and the incremental architecture behind a fast, open-source checker and language server.
59:38ENRichard Eisenberg on Dependent Types, OCaml, and AI-Assisted ProgrammingYaron Minsky, Richard Eisenberg · Jane StreetHow type systems can express correctness and performance, and why precise, readable specifications still matter when AI writes code.
1:01:11ENAnil Madhavapeddy on MirageOS and the Evolution of Operating SystemsRon Minsky, Anil Madhavapeddy · Jane StreetFrom Xen and unikernels to OCaml's multicore research, a systems researcher explains how changing abstractions reshape infrastructure.
1:00:04ENTy Overby on Bonsai and Building Functional User InterfacesYaron Minsky, Ty Overby · Jane StreetWhy Jane Street built a composable OCaml UI framework, and what its design reveals about incremental computation, browsers, and visual programming.
1:14:23ENCristina Rosu: Building Dynamic OCaml Web Apps with Incr_domCristina Rosu · Jane StreetA practical introduction to the Elm architecture, virtual DOM and incremental computation, followed by a live counter-app demonstration.
1:06:39ENWhy Jane Street Uses OCamlA Jane Street talk explains how functional programming and static types support reliable trading software, and examines the costs of choosing a less common language.