Building software that survives contact with reality, with Will Wilson

Building software that survives contact with reality, with Will Wilson

Patrick McKenzie (patio11) is joined by Will Wilson, CEO of Antithesis, to discuss the evolution of software testing from traditional approaches to cutting-edge deterministic simulation. Will explains how his team built technology that creates "time machines" for distributed systems, enabling developers to find and debug complex failures that would be nearly impossible to reproduce in traditional testing environments. They explore how this approach scales from finding novel bugs in Super Mario Brothers to ensuring the reliability of critical financial and infrastructure systems, and discuss the implications for a future where AI writes increasingly more code.

Full transcript available here: www.complexsystemspodcast.com/software-testing-with-will-wilson/

Sponsor: Framer is a design and publishing platform that collapses the toolchain between wireframes and production-ready websites. Design, iterate, and publish in one workspace. Start free at framer.com/design with code COMPLEXSYSTEMS for a free month of Framer Pro.

Recommended in this episode:

––

Timestamps:
(00:00) Intro
(01:23) Database scaling and the CAP theorem
(08:13) Abstraction layers and hardware reality
(15:28) The problem with traditional testing
(19:43) Sponsor: Framer
(23:16) The fuzzing revolution
(30:35) Deterministic simulation testing
(42:36) Real-world testing strategies
(47:22) Introducing Antithesis
(59:23) The CrowdStrike example
(01:01:15) Finding bugs in Mario
(01:07:37) Property-based vs conventional testing
(01:09:51) The future of AI-assisted development
(01:14:51) Wrap

Det här avsnittet är hämtat från ett öppet RSS-flöde och publiceras inte av Podme. Det kan innehålla reklam.

Avsnitt(94)

Forty ways to pay for coffee in Japan

Forty ways to pay for coffee in Japan

Patrick McKenzie (patio11) reads his 2021 essay "Payments in Japan," tracing how Japanese consumers navigate a landscape with dozens of competing payment methods at once: credit cards, electronic mone...

25 Juni 35min

The factory behind your home loan

The factory behind your home loan

Patrick McKenzie reads from his 2022 Bits About Money essay on mortgages, making the case that a mortgage is best understood as a manufactured product, not a simple loan between a bank and a customer....

18 Juni 26min

How brokerage transfers actually work

How brokerage transfers actually work

Patrick McKenzie reads from his 2024 Bits About Money essay on ACATS, the Automated Customer Account Transfer Service that governs how Americans move investment accounts between brokerages, then updat...

4 Juni 43min

Wrong numbers and why they survive, with Aaron Brown

Wrong numbers and why they survive, with Aaron Brown

Patrick McKenzie (patio11) is joined by Aaron Brown, author of Wrong Number, to examine why institutions that produce bad statistics face so few consequences for doing so. They trace the pattern from ...

14 Maj 55min

Defendant, Censor, Politico, Spy

Defendant, Censor, Politico, Spy

The improbable but true story of how non-profits operating a private intelligence agency to combat terrorism decided to interfere with campaign infrastructure in a U.S. election.This piece includes or...

8 Maj 1h 5min

How the SPLC became financial infrastructure

How the SPLC became financial infrastructure

Patrick McKenzie reads from his latest Bits About Money essay, walking through why bank fraud charges are a prosecutor's favorite tool, how the Bank Secrecy Act's surveillance regime is designed to fo...

1 Maj 51min

The honey badger of payments

The honey badger of payments

Patrick McKenzie (patio11) reads his classic Bits about Money essay on how checks shaped the entire American payments infrastructure, from the origins of ACH to why a standard US bank account is, tech...

23 Apr 29min

Cash received is not revenue earned

Cash received is not revenue earned

Patrick McKenzie (patio11) reads his classic Bits about Money essay explaining why revenue recognition in software is more complicated than most engineers, founders, and financial reporters think. The...

16 Apr 33min

Populärt inom Business & ekonomi

badfluence
framgangspodden
varvet
rss-borsens-finest
avanzapodden
uppgang-och-fall
svd-tech-brief
rss-svart-marknad
bathina-en-podcast
lastbilspodden
rss-dagen-med-di
fill-or-kill
24fragor
rss-inga-dumma-fragor-om-pengar
borsmorgon
dynastin
rss-den-nya-ekonomin
rikatillsammans-om-privatekonomi-rikedom-i-livet
rss-kort-lang-analyspodden-fran-di
borslunch-2