Canales actualizados recientemente

Elige uno para ver solo ese canalVer todos los canales →

Resultados

44 artículos
Ordenar
7 diapositivas1:20:57EN
Jane Street· 23 dic 2025Matt 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.SemiconductorsSoftware engineeringBenchmarks
9 diapositivas52:05EN
Jane Street· 24 oct 2025Corwin 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.Programming LanguagesCybersecuritySoftware engineering
10 diapositivas47:08EN
Jane Street· 3 abr 2025Chris 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.Programming LanguagesSoftware engineering
5 diapositivas12:43EN
Jane Street· 20 dic 2024How OCaml Represents Values in MemoryA practical tour of immediate integers, heap blocks, runtime tags and variant constructors, illustrated with OCaml's Obj module.Software engineeringProgramming Languages
8 diapositivas27:16EN
Jane Street· 15 nov 2024Tudor 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.Software engineeringObservabilidad y fiabilidadInfraestructura y despliegue
3 diapositivas9:25EN
Jane Street· 1 oct 2024Richard Eisenberg: Using OCaml’s Coercion OperatorRichard Eisenberg · Jane StreetA practical tour of subtyping, polymorphic variants and private type abbreviations, with no runtime conversion cost.Programming LanguagesSoftware engineering
4 diapositivas8:06EN
Jane Street· 7 ago 2024How 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.Programming LanguagesSoftware engineering
5 diapositivas14:36EN
Jane Street· 24 jun 2024Programming 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.Software engineeringProgramming Languages
5 diapositivas11:28EN
Jane Street· 13 jun 2024OCaml 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.Programming LanguagesSoftware engineering
4 diapositivas9:14EN
Jane Street· 29 may 2024OCaml 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.Programming LanguagesSoftware engineering
7 diapositivas15:59EN
Jane Street· 7 may 2024Tail 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.Programming LanguagesSoftware engineeringDeveloper productivity
3:30EN
Jane Street· 13 mar 2024Richard 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.Programming LanguagesSoftware engineering
3 diapositivas11:07EN
Jane Street· 29 feb 2024How OCaml Locals Use a Separate StackRichard Eisenberg · Jane StreetA list example shows how region-scoped local values can avoid repeated garbage-collected allocations.Programming LanguagesSoftware engineering
5 diapositivas23:25EN
Jane Street· 20 feb 2024Richard 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.Programming LanguagesSoftware engineering
3 diapositivas22:27EN
Jane Street· 7 feb 2024How OCaml Infers LocalityRichard Eisenberg · Jane StreetA look at local and global mode inference, module signatures, mode crossing for integers, and conversions between function types.Programming LanguagesSoftware engineering
5 diapositivas15:17EN
Jane Street· 31 ene 2024OCaml 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.Programming LanguagesSoftware engineering
7 diapositivas12:52EN
Jane Street· 23 ene 2024OCaml 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.Programming LanguagesSoftware engineering
4 diapositivas8:52EN
Jane Street· 5 ene 2024Introducing 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.Programming LanguagesSoftware engineering
2:21EN
Jane Street· 30 jun 2023Varun on Software Engineering at Jane StreetVarun · Jane StreetA London-based developer describes useful technical foundations, OCaml training and team matching at Jane Street.Software engineeringCareersCompany Culture
5:49EN
Jane Street· 23 may 2023Ian on Software Engineering at Jane StreetIan · Jane StreetA London desk developer explains code review, OCaml training, intern projects and the feedback that comes from sitting near users.Software engineeringCode review & verificationDeveloper productivity+1
3:48EN
Jane Street· 10 may 2023Val on Software Engineering and Collaboration at Jane StreetVal · Jane StreetA London developer explains how colleagues teach new hires, review production code, and work across teams.Software engineeringCompany CultureCareers+1
3:30EN
Jane Street· 15 mar 2023Brittany on Software Engineering and Internships at Jane StreetBrittany · Jane StreetAn equities desk engineer explains how interns learn finance and OCaml, contribute meaningful projects and collaborate with traders.Software engineeringCareersOnboarding+1
3:09EN
Jane Street· 15 mar 2023Minjie on Cybersecurity Engineering at Jane StreetMinjie · Jane StreetA Hong Kong software engineer describes learning OCaml, working on an internal permissions system and collaborating across teams on security alerts.CybersecuritySoftware engineeringCompany Culture
4 diapositivas58:03EN
Jane Street· 18 feb 2020Matt Might on an Algorithm for Precision MedicineMatt Might · University of Alabama at BirminghamA computer scientist describes how genetic data, experimental models and logic programming can help clinicians investigate difficult cases.Computational BiologyAI in healthcareSoftware engineering
Cargar másMostrando 24 de 44