필터 결과
57개정렬
1:05:45EN
Jane Street· 2026년 9월 11일Cyrus Omar on Live Programming and a Computational Commons for Humans and AICyrus OmarA demonstration of Hazel shows how immediate feedback, structured collaboration and carefully scoped permissions could support people and AI agents working together.
1:34:36ENJane Street· 2026년 6월 1일Nate Foster: Treating the Network as a ProgramYaron Minsky, Nate Foster · Jane StreetFrom programmable switches to BGP, a programming-languages researcher explains how higher-level policies and formal models can make networks easier to change.
46:35ENJane Street· 2026년 3월 25일Jon Gjengset on the Cost of Concurrency CoordinationJon GjengsetWhy shared cache lines can make even read-heavy locks slow, and how a different data structure trades writer work for scalable reads.
1:00:15ENJane Street· 2025년 12월 17일Arjun Guha on How Language Models Represent Code and How People Prompt ThemArjun Guha · Northeastern UniversityExperiments with activation steering and student-written prompts reveal how programming models behave—and why evaluating them requires more than a single benchmark score.
52:05ENJane Street· 2025년 10월 24일Corwin de Zahr: Exploring OCaml Runtime Safety Through a CTF ChallengeCorwin de Zahr · Jane StreetA deliberately restricted OCaml sandbox becomes a way to examine type safety, callbacks, memory representation and binary debugging.
1:12:58ENJane Street· 2025년 9월 4일Chris Lattner on Mojo and the Search for Portable GPU PerformanceYaron Minsky, Chris Lattner · Jane StreetRon Minsky and Chris Lattner discuss the language and compiler design behind Modular’s effort to make accelerator programming both portable and fast.
1:01:23ENJane Street· 2025년 8월 27일Will Crichton on Making Rust More UnderstandableWill Crichton · Brown UniversityOwnership visualizations, interactive trait diagnostics and program slicing illustrate an evidence-based approach to developer tools.
1:27:41ENJane Street· 2025년 7월 24일Ron Minsky on the Saga of Multicore OCaml at Jane StreetYaron Minsky · Jane StreetA production migration exposed garbage-collector regressions, led to a new pacing design, and illustrated the difficulty of turning research into reliable infrastructure.
1:19:40ENJane Street· 2025년 5월 28일Ian Henry on Building Trader Tools, Functional UIs and Creative CodingYaron Minsky, Ian Henry · Jane StreetFrom high-density options interfaces to a 3D playground, Ian Henry and Ron Minsky explore the software choices that make complex tools usable.
47:08ENJane Street· 2025년 4월 3일Chris Casinghino on Making OCaml Safe for Performance EngineeringChris Casinghino · Jane StreetJane Street’s OCaml extensions use layouts and modes to offer more control over memory and parallelism while preserving safety and familiar programming patterns.
12:43ENJane Street· 2024년 12월 20일How OCaml Represents Values in MemoryA practical tour of immediate integers, heap blocks, runtime tags and variant constructors, illustrated with OCaml's Obj module.
1:03:21ENJane Street· 2024년 12월 9일Horace He on Building ML Systems for Trillion-Trillion OperationsHorace He · MetaHow GPU bottlenecks, compiler design and distributed parallelism shape the systems behind large-scale model training.
40:33ENJane Street· 2024년 10월 23일Charlie Marsh on uv: Python Dependency Resolution and PerformanceCharlie Marsh · AstralThe Astral founder explains universal lockfiles, Python packaging constraints, and the data structures and cache design behind uv.
9:25ENJane Street· 2024년 10월 1일Richard Eisenberg: Using OCaml’s Coercion OperatorRichard Eisenberg · Jane StreetA practical tour of subtyping, polymorphic variants and private type abbreviations, with no runtime conversion cost.
8:06ENJane Street· 2024년 8월 7일How OCaml's Proposed Include Functor Syntax Reduces RepetitionRichard Eisenberg · Jane StreetA reverse-array example shows how to derive common module functions from a minimal implementation without an extra wrapper module.
14:36ENJane Street· 2024년 6월 24일Programming with OCaml's Local ModeRichard Eisenberg · Jane StreetAn example shows how a local list can contain global values, why a non-escaping annotation alone does not ensure stack allocation, and where the experimental feature remains awkward.
11:28ENJane Street· 2024년 6월 13일OCaml Local Types: Regional Parameters and Loop RegionsRichard Eisenberg · Jane StreetA demonstration explains why some local parameters can cross a function boundary and how loop regions reclaim allocations.
9:14ENJane Street· 2024년 5월 29일OCaml Local Function Types: Why Partial Application Can EscapeRichard Eisenberg · Jane StreetRichard Eisenberg uses a list-append example to show how a local argument changes the mode of a partially applied function in Jane Street’s OCaml compiler branch.
15:59ENJane Street· 2024년 5월 7일Tail Calls and Local Regions in OCamlRichard Eisenberg · Jane StreetA list-counting example reveals why a local closure can escape at a tail call, and how regional mode and [@nontail] affect the result.
3:30ENJane Street· 2024년 3월 13일Richard Eisenberg on Jane Street's OCaml ExperimentsRichard Eisenberg · Jane StreetJane Street's compiler team is exploring unboxed types, locality modes, and data-race-free parallelism to make OCaml's performance and memory management better suited to its needs.
11:07ENJane Street· 2024년 2월 29일How OCaml Locals Use a Separate StackRichard Eisenberg · Jane StreetA list example shows how region-scoped local values can avoid repeated garbage-collected allocations.
23:25ENJane Street· 2024년 2월 20일Richard Eisenberg: How OCaml Locals Reduce Garbage-Collected AllocationRichard Eisenberg · Jane StreetAn annotated list-processing example shows why locality must be preserved both when values are created and when functions consume them.
22:27ENJane Street· 2024년 2월 7일How OCaml Infers LocalityRichard Eisenberg · Jane StreetA look at local and global mode inference, module signatures, mode crossing for integers, and conversions between function types.
15:17ENJane Street· 2024년 1월 31일OCaml Locals, Modes, and SubmodingRichard Eisenberg · Jane StreetA worked explanation of how local and global modes control escaping values, and how those modes interact with function types.더 보기57개 중 24개 표시