絞り込み結果
4 件並び順
59:38EN
Jane Street· 2023年5月18日Richard 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:11ENJane Street· 2021年11月3日Anil Madhavapeddy on MirageOS and the Evolution of Operating SystemsYaron Minsky, Anil Madhavapeddy · Jane StreetFrom Xen and unikernels to OCaml's multicore research, a systems researcher explains how changing abstractions reshape infrastructure.
1:00:04ENJane Street· 2021年10月6日Ty 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:06:39ENJane Street· 2016年3月31日Why Jane Street Uses OCamlYaron Minsky · Jane StreetA Jane Street talk explains how functional programming and static types support reliable trading software, and examines the costs of choosing a less common language.