필터 결과
214개정렬
1:08:43EN
Jane Street· 2018년 3월 19일Ron 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· 2018년 2월 28일Shriram 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· 2018년 1월 30일Bryan 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· 2018년 1월 16일Echoes 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· 2017년 12월 4일How 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· 2017년 11월 27일Nate 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· 2017년 6월 20일Caveat 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· 2017년 3월 15일Arjun 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· 2017년 3월 13일How 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· 2017년 3월 9일Why 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· 2017년 3월 9일Incremental: 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· 2016년 4월 5일Yaron 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· 2016년 3월 31일Why 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· 2016년 3월 31일Effective 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· 2016년 3월 31일Yaron 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· 2016년 3월 31일Ron 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· 2016년 3월 31일Yaron 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 Fridman팟캐스트 · 2명How C++ Is Standardized: Votes, Consensus and the Move to a Three-Year Release Cycle게스트 Bjarne Stroustrup · 진행자 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 Podcast팟캐스트Inside Mercado Libre: How 18,000 Engineers Ship 30,000 Changes a Day Without an Army of PMs진행자 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 Podcast팟캐스트 · 2명Camille Fournier on Rewrites, One-on-Ones and Building Platform Teams게스트 Camille Fournier · 진행자 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 Podcast팟캐스트 · 2명Devin's Scott Wu on Building an AI Software Engineer and Turning Coders into Architects게스트 Scott Wu · 진행자 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, & Startups팟캐스트 · 2명Don't Mistake a Month of Hype for the End of Software진행자 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 Podcast팟캐스트 · 2명Faster, But for What? Nicole Forsgren on Measuring Developer Productivity in the AI Era게스트 Nicole Forsgren · 진행자 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 Podcast팟캐스트 · 2명Engineering Leadership After ZIRP: Strategy, Systems and Accountability게스트 Will Larson · 진행자 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.더 보기214개 중 24개 표시