Results
4 articlesSort
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.