Results
220 articlesSort
56:06EN
Jane 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.
1:04:56ENJane Street· Mar 31, 2016Yaron Minsky on Incremental: From Research Idea to Production LibraryYaron Minsky · Jane StreetA history of the algorithms, memory problems and performance tradeoffs behind Jane Street’s OCaml library for self-adjusting computations.
1:12:41ENJane Street· Mar 31, 2016Ron Minsky on Trading, Correctness and Jane Street’s Shift to OCamlYaron Minsky · Jane StreetA Jane Street technologist explains the market-making business and why readability, types and predictable performance shaped the firm’s choice of OCaml.
51:35ENJane Street· Mar 31, 2016Yaron Minsky on Effective ML: Interfaces, Invariants and Code ReadersYaron Minsky · Jane StreetIn the first part of a 2011 Harvard lecture, Jane Street’s Yaron Minsky shows how OCaml interfaces and types can make long-lived code easier to understand and change.
10:20EN
Lex FridmanPodcast · 2 speakersHow C++ Is Standardized: Votes, Consensus and the Move to a Three-Year Release CycleGuest Bjarne Stroustrup · Host Lex FridmanBjarne Stroustrup explains how the ISO committee works, why C++0x slipped to C++11, and how shorter cycles made C++14, C++17 and C++20 arrive on time.
1:19:25EN
Lenny's PodcastPodcastInside Mercado Libre: How 18,000 Engineers Ship 30,000 Changes a Day Without an Army of PMsHost Lenny RachitskySebastian Barrios, formerly head of product and engineering at Mercado Libre and now SVP of Engineering at Roblox, explains how a Latin American giant runs engineering and product as one team.
1:23:15ENLenny's PodcastPodcast · 2 speakersCamille Fournier on Rewrites, One-on-Ones and Building Platform TeamsGuest Camille Fournier · Host Lenny RachitskyThe author of The Manager's Path explains what annoys engineers about PMs, why rewrites are a trap, how to move into management, and what makes platform teams work.
1:32:32ENLenny's PodcastPodcast · 2 speakersDevin's Scott Wu on Building an AI Software Engineer and Turning Coders into ArchitectsGuest Scott Wu · Host Lenny RachitskyThe Cognition co-founder explains how his 15-person team uses fleets of Devins to build Devin, what the product can and can't do, and why he expects more engineers, not fewer.
40:42EN
No Priors: AI, Machine Learning, Tech, & StartupsPodcast · 2 speakersDon't Mistake a Month of Hype for the End of SoftwareHost Sarah Guo, Elad GilSarah Guo and Elad Gil separate the SaaS-apocalypse noise from the real signals: record revenue ramps, collapsing token prices, and the question of when a founder should sell.
1:16:17ENLenny's PodcastPodcast · 2 speakersFaster, But for What? Nicole Forsgren on Measuring Developer Productivity in the AI EraGuest Nicole Forsgren · Host Lenny RachitskyThe creator of DORA and SPACE explains why most productivity metrics mislead, how AI changes flow and trust, and how to build a developer experience program that proves its value.
1:16:53ENLenny's PodcastPodcast · 2 speakersEngineering Leadership After ZIRP: Strategy, Systems and AccountabilityGuest Will Larson · Host Lenny RachitskyCarta CTO Will Larson on how engineering management changed after the zero-interest-rate era, and the habits he relies on now: systems models, written strategy, shared incentives and honest values.
1:41:26EN
Cognitive Revolution "How AI Changes Everything"PodcastThe AI Scouting Report, Part 3: What AI Can Already Do, Who Will Win, and Why Nathan Labenz Wants Caution on ScalingHost Nathan LabenzNathan Labenz closes his AP-course tour of AI with capabilities, market moats, jobs, law, safety plans and a stance on what to do next.
1:03:25ENLex FridmanPodcastTheano in an Hour: Symbolic Graphs, Automatic Gradients and a Compiler That Rewrites Your MathHost Lex FridmanPascal Lamblin of MILA walks through how Theano builds, differentiates, optimizes and runs computation graphs, then trains logistic regression, a convnet and an LSTM.
10:24ENLex FridmanPodcast · 2 speakersConcepts: How C++ Finally Got Compile-Time Constraints on TemplatesGuest Bjarne Stroustrup · Host Lex FridmanBjarne Stroustrup explains what C++ concepts are, why they are real and shippable today, and why it took decades to get them right.
40:25ENLex FridmanPodcastA Language That Knows the World: Stephen Wolfram on Computable KnowledgeHost Lex FridmanIn this clip from the Lex Fridman Podcast, Stephen Wolfram explains what makes the Wolfram Language different from ordinary programming languages and how it grew into a computable knowledge base, from Wolfram Alpha to computational contracts.Load moreShowing 24 of 220