絞り込み結果
29 件並び順
52:05ENCorwin 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.
47:08ENChris 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.
1:03:21ENHorace 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.
9:25ENRichard 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:06ENHow OCaml's Proposed Include Functor Syntax Reduces RepetitionA reverse-array example shows how to derive common module functions from a minimal implementation without an extra wrapper module.
11:28ENOCaml Local Types: Regional Parameters and Loop RegionsA demonstration explains why some local parameters can cross a function boundary and how loop regions reclaim allocations.
9:14ENOCaml 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:59ENTail Calls and Local Regions in OCamlA list-counting example reveals why a local closure can escape at a tail call, and how regional mode and [@nontail] affect the result.
3:30ENRichard 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:07ENHow OCaml Locals Use a Separate StackA list example shows how region-scoped local values can avoid repeated garbage-collected allocations.
23:25ENRichard 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:27ENHow OCaml Infers LocalityA look at local and global mode inference, module signatures, mode crossing for integers, and conversions between function types.
15:17ENOCaml Locals, Modes, and SubmodingA worked explanation of how local and global modes control escaping values, and how those modes interact with function types.
12:52ENOCaml Local Variables, Return Values and RegionsA worked example shows how `local_` and `exclave_` let a function accept a local value and return a local structure in its caller's region.
8:52ENIntroducing Local Parameters in OCamlA demonstration of how Jane Street's experimental local mode restricts escaping values and makes function interfaces easier to reason about.
1:05:59ENDerek Dreyer: Proving the Safety of Rust with RustBelt and IrisDerek Dreyer · Max Planck Institute for Software SystemsRust combines safe interfaces with libraries that use unsafe code internally. Derek Dreyer explains how RustBelt verifies those libraries and why its proof needs an expressive logic for concurrency.
1:08:44ENNathan Linger on Ontology: A Language-Oriented Permissions SystemNathan Linger · Jane StreetHow Jane Street represents permissions as typed declarations and presents them through an English-language interface.
1:18:13ENLindsey Kuper on Abstractions for Correct and Efficient Parallel ComputingLindsey Kuper · University of California, Santa CruzFrom lattice-based shared state to non-invasive parallel languages and neural-network verification, high-level abstractions can make systems both safer and faster.
1:14:37ENAdding an Effect System to OCamlA prototype brings algebraic effects into OCaml’s type system and explores how to track exceptions, I/O and locally mutable state.
1:08:43ENRon Minsky on Types and Why They Matter in SoftwareYaron Minsky · Jane StreetType systems can make programs faster, catch mistakes and guide large refactorings, but their value depends on the language and the work. Ron Minsky explains the trade-offs through practical examples.
1:10:18ENShriram Krishnamurthi on Designing Computing Curricula for Real ClassroomsShriram Krishnamurthi · Brown UniversityThe Bootstrap project treats curriculum design as an engineering problem: start with goals and constraints, then support teachers and measure learning.
52:51ENCaveat Configurator: When Configuration Becomes CodeDominick LoBraico · Jane StreetDominick LoBraico explains why flexible OCaml plugins created production problems at Jane Street, and how configuration generation and disciplined plugin management address them.
25:44ENWhy Functional Programming Matters at Jane StreetA Jane Street developer revisits John Hughes’s classic argument and explains why expressive static types rank highest for trading systems.
28:31ENIncremental: Self-Adjusting Computations in OCamlSebastian Funk · Jane StreetSebastian explains Jane Street’s dynamic dependency graph library and the algorithms behind efficient updates.
もっと見る29 件中 24 件を表示