絞り込み結果
84 件並び順
1:20:57ENMatt Godbolt: Inside Skylake’s Out-of-Order PipelineMatt GodboltA guided tour of instruction decoding, register renaming, execution and memory ordering, grounded in reverse engineering and careful measurements.
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.
12:43ENHow 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: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.
27:16ENTudor Brindus on Finding and Reducing System JitterTudor Brindus · Jane StreetA memory ping-pong benchmark reveals how virtualization, interrupts, CPU frequency changes and speculation can disrupt low-latency systems.
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 RepetitionRichard Eisenberg · Jane StreetA reverse-array example shows how to derive common module functions from a minimal implementation without an extra wrapper module.
3:18ENRory on Production Engineering and Incident Support at Jane StreetRory · Jane StreetA production engineer describes monitoring order engines, responding to outages and building a supportive team.
3:16ENJP on Machine Learning and Trading at Jane StreetJP · Jane StreetA Hong Kong equities trader describes his changing workday, the growth of research infrastructure, and the distinctive challenges of machine learning in finance.
2:46ENMatt on Machine Learning and Trading at Jane StreetMatt · Jane StreetA Hong Kong equities trader describes the challenges of financial data, the firm’s ML roles and its collaborative culture.
14:36ENProgramming 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:28ENOCaml 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.
3:11ENAlok on Quantitative Research at Jane StreetAlok Puranik · Jane StreetA researcher describes projects, useful mathematical background and how candidates can prepare for interviews.
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 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: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 StackRichard Eisenberg · Jane StreetA 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 LocalityRichard Eisenberg · Jane StreetA look at local and global mode inference, module signatures, mode crossing for integers, and conversions between function types.
15:17ENOCaml 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.
12:52ENOCaml Local Variables, Return Values and RegionsRichard Eisenberg · Jane StreetA 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 OCamlRichard Eisenberg · Jane StreetA demonstration of how Jane Street's experimental local mode restricts escaping values and makes function interfaces easier to reason about.
2:20ENSean on Hospitality and Office Life at Jane StreetSean · Jane StreetA member of Jane Street's London hospitality team describes fresh food, teamwork and the office events that bring colleagues together.
もっと見る84 件中 24 件を表示









