Results
14 articlesSort
34:11EN
GOTO Conferences· Oct 23, 2026Anatoliy Bilenko and Alberto Carretero: Making Database Protocols Reliable with Formal Methods and AIAnatoliy Bilenko, Alberto Carretero · CanonicalCanonical’s database engineers connect executable specifications, model-based tests, failure exploration, and reconstructed execution histories—and explain why none of these techniques proves a real system correct on its own.
1:08:22ENMark Doss on Production Engineering for High-Stakes TradingMark Doss · Jane StreetWhy every order matters, how event-based monitoring detects unexpected failures, and what a realistic incident reveals about trading operations.
1:48:21ENWill Wilson on Deterministic Simulation and the Hard Problems of Software TestingYaron Minsky, Will Wilson · Jane StreetThe Antithesis co-founder explains how replayable simulations explore complex software, why properties matter and where testing meets its limits.
1:22:49ENBryan Cantrill: Why Software and Hardware Must Be Designed TogetherBryan Cantrill · Oxide Computer CompanyFrom a stubborn CPU reset to disappearing drives, Oxide’s cofounder makes the case for designing and debugging computing systems across the hardware–software boundary.
58:47ENDaniel Pontecorvo on Cooling Trading Infrastructure and WorkspacesYaron Minsky, Daniel Pontecorvo · Jane StreetFrom dense GPU racks to movable desks, Jane Street’s physical engineering team designs around heat, power, failure and human comfort.
1:27:41ENRon Minsky on the Saga of Multicore OCaml at Jane StreetRon Minsky · Jane StreetA production migration exposed garbage-collector regressions, led to a new pacing design, and illustrated the difficulty of turning research into reliable infrastructure.
53:51ENLiora Friedberg on Solving Puzzles in ProductionYaron Minsky, Liora Friedberg · Jane StreetProduction engineering combines live incident response with software, process improvements and a culture that helps people learn from mistakes. Liora Friedberg and Ron Minsky explore the work at Jane Street.
55:34ENAndrew Hunter on Performance Engineering for Low-Latency SystemsRon Minsky, Andrew Hunter · Jane StreetWhy small optimizations pay at hyperscale, why trading latency is harder to measure, and how profiling, tracing, language design and hardware fit together.
38:13EN
No Priors: AI, Machine Learning, Tech, & Startups· Aug 31, 2023Podcast · 2 speakersChatGPT Runs on His Framework. He Still Doesn't Want You Training a ModelHost Sarah Guo, Elad GilVercel founder Guillermo Rauch tells No Priors why frontend is the last mile of AI, why first-generation AI frameworks will be rewritten, and why bots are already stealing your tokens.
43:45ENNo Priors: AI, Machine Learning, Tech, & Startups· Aug 3, 2023Podcast · 2 speakersEight Years of No Growth, Then OpenAI and NVIDIA Became His CustomersHost Sarah Guo, Elad GilWeights & Biases CEO Lukas Biewald tells No Priors how a labeling company with no chasm to cross funded the ML developer tools that trained most of the large language models.
44:19ENNo Priors: AI, Machine Learning, Tech, & Startups· Jun 15, 2023Podcast · 2 speakersAI Will Write Ten Times More Code. Someone Still Has to Keep It Running.Host Sarah Guo, Elad GilDatadog co-founder Olivier Pomel on why faster generation moves value from writing software to understanding, securing, and operating it.
1:00:28ENElla Ehrlich on Modernizing a Critical Trading SystemRon Minsky, Ella Ehrlich · Jane StreetJane Street’s Gord team rebuilt parts of a legacy data pipeline while preserving availability, and Ehrlich describes the recruiting programs she helped develop.
1:12:09ENDoug Patti on State Machine Replication at Jane StreetRon Minsky, Doug Patti · Jane StreetHow Concord and Aria use ordered logs and deterministic state machines to build recoverable trading services.
44:34ENChris Perl on Keeping Network Clocks in SyncRon Minsky, Chris Perl · Jane StreetHow NTP, PTP and hardware timestamps work together to keep Jane Street’s clocks within a measurable error bound.