Results
165 articlesSort
57:57EN
Jane Street· May 8, 2019Sebastian Funk on a Fast, Safe and Maintainable Packet ProcessorSebastian Funk · Jane StreetA single-core market-data case study shows how latency targets, allocation control and generated code can coexist with high-level abstractions.
1:08:44ENJane Street· Mar 8, 2019Nathan 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:13ENJane Street· Feb 11, 2019Lindsey 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:03:45ENJane Street· Dec 7, 2018Jane Street and the OCaml CompilerYaron Minsky · Jane StreetRon Minsky traces an accidental language adoption into a long-term commitment to compiler engineering and a shared open-source ecosystem.
1:20:09EN
Lex Fridman· Nov 29, 2018Podcast · 2 speakersStack Overflow Was Never Designed for BeginnersGuest Jeff Atwood · Host Lex FridmanOn Stack Overflow’s tenth birthday, Jeff Atwood talks with Lex Fridman about puzzles, leadership, Discourse, and why a software team’s health is how fast it can change one word.
1:26:44ENLex Fridman· Nov 22, 2018Podcast · 2 speakersHe raised Python like a child, then set it freeGuest Guido van Rossum · Host Lex FridmanIn a 2018 conversation with Lex Fridman, Guido van Rossum traces Python from electronics kits and Conway's Game of Life to the Thursday morning he resigned as benevolent dictator for life.
1:06:51ENJane Street· Oct 24, 2018Marius Eriksen: Reflow for Incremental Cloud Data ProcessingMarius Eriksen · GRAILA functional language and runtime turn data workflows into typed programs, reuse prior results and provision cloud resources on demand.
1:14:23ENJane Street· Aug 24, 2018Cristina Rosu: Building Dynamic OCaml Web Apps with Incr_domCristina Rosu · Jane StreetA practical introduction to the Elm architecture, virtual DOM and incremental computation, followed by a live counter-app demonstration.
1:02:34ENJane Street· May 10, 2018Andy Ray on Designing and Running OCaml on FPGAsAndy Ray · Jane StreetHardCaml turns OCaml into a hardware design language. Andy Ray explains FPGA fundamentals, simulation and verification, then demonstrates an OCaml software stack running on a soft CPU.
1:14:37ENJane Street· Apr 5, 2018Adding an Effect System to OCamlLeo White · Jane StreetA prototype brings algebraic effects into OCaml’s type system and explores how to track exceptions, I/O and locally mutable state.
1:08:43ENJane Street· Mar 19, 2018Ron 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:18ENJane Street· Feb 28, 2018Shriram 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.
1:06:49ENJane Street· Jan 30, 2018Bryan Cantrill on Finding the Butterfly Behind a Performance HurricaneBryan Cantrill · JoyentSmall defects can produce vast performance failures across layers of abstraction. Bryan Cantrill explains how to investigate them with questions, instrumentation and visualization.
56:12ENJane Street· Jan 16, 2018Echoes of Fourier: From Sound Waves to Fast ConvolutionChristopher HardinA practical introduction to Fourier transforms, convolution, and the mathematics of placing a recording in real or imagined acoustic spaces.
56:06ENJane Street· Dec 4, 2017How Jane Street Reviews Code with IronIan Henry · Jane StreetJane Street's internal review tool tracks what each reviewer has actually read, keeps feedback in the code, and enforces review obligations before release.
1:13:25ENJane Street· Nov 27, 2017Nate Foster: Verifying Programmable Network Data PlanesNate Foster, Yaron Minsky · Cornell UniversityHow p4v applies program verification to packet-processing code, and why its conclusions depend on control-plane assumptions.
52:51ENJane Street· Jun 20, 2017Caveat 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.
59:14ENJane Street· Mar 15, 2017Arjun Guha on Verifying System ConfigurationsArjun Guha · UMass AmherstPuppet manifests can be declarative yet nondeterministic or non-idempotent. A verification tool models resource interactions to find those problems.
38:17ENJane Street· Mar 13, 2017How to Build a Reliable Exchange with Deterministic ReplayBrian Nigito · Jane StreetA matching engine, multicast and state-machine replication can turn a high-throughput exchange into a recoverable system. This talk explains the design and its tradeoffs.
25:44ENJane Street· Mar 9, 2017Why Functional Programming Matters at Jane StreetSebastian Funk · Jane StreetA Jane Street developer revisits John Hughes’s classic argument and explains why expressive static types rank highest for trading systems.
28:31ENJane Street· Mar 9, 2017Incremental: Self-Adjusting Computations in OCamlSebastian Funk · Jane StreetSebastian explains Jane Street’s dynamic dependency graph library and the algorithms behind efficient updates.
1:09:24ENJane Street· Apr 5, 2016Yaron Minsky on Effective ML: Writing OCaml for Code ReadersYaron Minsky · Jane StreetPractical lessons from Jane Street on using types, interfaces and abstraction to keep a large OCaml codebase understandable and correct.
1:06:39ENJane Street· Mar 31, 2016Why 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.
23:58ENJane Street· Mar 31, 2016Effective ML: Errors, Abstraction and Managing ComplexityYaron Minsky · Jane StreetA Jane Street engineer discusses explicit failure, boilerplate, type-system restraint and the practical role of side effects.Load moreShowing 24 of 165