Recently updated channels

Pick one to see only that channelBrowse all channels →

Results

218 articles
Sort
8 slides56:12EN
Jane 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.MathematicsSoftware engineering
5 slides56: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.Code review & verificationSoftware engineeringDeveloper workflows & testing
6 slides1:13:25EN
Jane 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.Programming LanguagesSoftware engineeringCode review & verification
5 slides52:51EN
Jane 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.Software engineeringProgramming LanguagesDeveloper workflows & testing
5 slides59:14EN
Jane 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.Software engineeringCode review & verificationProgramming Languages
6 slides38:17EN
Jane 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.Software engineeringFintech
7 slides25:44EN
Jane 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.Programming LanguagesSoftware engineeringCoding Culture
8 slides28:31EN
Jane 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.Programming LanguagesSoftware engineeringDeveloper productivity
3 slides1:09:24EN
Jane 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.Programming LanguagesSoftware engineeringCode review & verification+1
3 slides1:06:39EN
Jane 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.Programming LanguagesSoftware engineeringDeveloper productivity+1
23:58EN
Jane 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.Programming LanguagesSoftware engineeringCode review & verification
2 slides1:04:56EN
Jane 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.Programming LanguagesSoftware engineeringDeveloper productivity
3 slides1:12:41EN
Jane 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.Programming LanguagesSoftware engineeringInvesting
5 slides51:35EN
Jane 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.Programming LanguagesSoftware engineeringCode review & verification
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.Open source & communityProgramming LanguagesSoftware engineering+1
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.Enterprise & strategyLeadershipCompany Building+3
1:23:15EN
Lenny'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.Product & UXProduct ManagementProduct Leadership+3
1:32:32EN
Lenny'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.Coding agentsSoftware engineeringDeveloper productivity+3
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.Enterprise & strategyAI StrategyCompany Building+3
1:16:17EN
Lenny'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.Evals & observabilityDeveloper productivityEvals+3
1:16:53EN
Lenny'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.Enterprise & strategyLeadershipDeveloper productivity+3
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.Enterprise & strategyCoding agentsAI Strategy+3
1:03:25EN
Lex 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.Models & trainingDeep LearningML fundamentals+3
10:24EN
Lex 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.Programming LanguagesSoftware engineeringCoding Culture
Load moreShowing 24 of 218