Software Engineering Daily

Software testing is widely understood as essential to building reliable systems, and it’s one of the hardest things to get right. A fundamental issue is that tests are good at confirming the behavior a team expects, but the most damaging failures tend to hide in the edge cases no one thought to check during development. Those blind spots are only growing as AI produces more code that no human has closely reviewed.

Antithesis is a software verification company built around an approach called deterministic simulation testing. The platform runs a customer’s software in a fully controlled environment, exploring thousands of different paths through it at runtime. Crucially, the paths aren’t pre-specified and they’re not merely the expected cases. In this way, it can surface rare, damaging bugs that normal testing would never catch.

Carl Sverre is on the Red Team at Antithesis and he also leads much of the company’s AI strategy. In this episode, Carl joins Sean Falconer to discuss the Antithesis approach to software verification, why reliability tooling has been chronically underinvested, what makes stateful and distributed systems so hard to test, how deterministic simulation testing works under the hood, and much more.

Full Disclosure: This episode is sponsored by Antithesis

Sponsorship inquiries:
sponsor@softwareengineeringdaily.com

The post Software Verification in the Age of Coding Agents appeared first on Software Engineering Daily.

SED News is a monthly podcast from Software Engineering Daily where hosts Gregor Vand and Sean Falconer break down the biggest stories shaping software engineering, Silicon Valley, and the broader tech industry.

In this episode, Gregor and Sean cover a wave of new product drops, including Jev from TypeSafe AI, a model that returns scored, type-safe structured responses for machine-to-machine tasks like routing and classification rather than human-style chat. They also dig into Meta‘s Muse, a personal AI assistant with a companion keychain device, and the upcoming IPO of Nscale, a former crypto-mining outfit turned “neocloud” inference provider whose filing leans heavily on a single unnamed customer.

The main topic examines the tension around AI risk, frontier lab slowdowns, and the conspiracy theories they’ve spawned. Gregor and Sean unpack Dario Amodei’s essay on pacing AI development, the awkward timing of major model launches days later, and whether calls to slow down are genuine safety concerns or a way for incumbents to protect their market position, weighing it all against the long history of how society has absorbed transformative technologies.

As always, the episode wraps up with a few standout Hacker News threads, including a labor-of-love effort to restore the original cut of a classic film, and a vibe-coded local AWS testing harness that raised a few eyebrows in the comments.

Sponsorship inquiries:
sponsor@softwareengineeringdaily.com

The post SED News: Jev, Meta’s Muse, and the AI Slowdown Paradox appeared first on Software Engineering Daily.

The popular story of Steve Jobs is that he co-founded Apple, was pushed out, wandered through a failed venture called NeXT, then returned to save the company and usher in the iPod and iPhone. That version is memorable, widely repeated, and, in an important sense, wrong. His years at NeXT are usually treated as a footnote, when they were among the most consequential of his life and career.

Geoffrey Cain is the author of Steve Jobs in Exile, which draws on previously unpublished material and new interviews to illuminate the NeXT years. The book argues that NeXT was not a failure but the hidden turning point. Its operating system, NeXTSTEP, became the foundation of Mac OS X and, later, the iPhone, and its fingerprints are still visible in Apple’s code today.

Dan’l Lewin was an early Apple employee who led the initial launch of the Macintosh into higher education. In 1985, he left the company alongside Steve Jobs to co-found NeXT, where he served as VP of Marketing and Sales. Over more than 30 years in Silicon Valley, he went on to hold senior roles at Sony and Microsoft, and later served as President and CEO of the Computer History Museum.

In this episode, Geoffrey and Dan’l join Matt Merrill to discuss the story behind NeXT, the 1980s computing landscape that shaped it, the technical bets like Objective-C and dynamic binding that gave Apple a long head start, why the university market mattered so much, and how the company ended up shaping the devices in our pockets.

Sponsorship inquiries:
sponsor@softwareengineeringdaily.com

The post Steve Jobs in Exile appeared first on Software Engineering Daily.

In the world of software security, there was historically a comfortable lag between the moment a vulnerability became public and the moment attackers could exploit it. This lag was often measured in months, but AI models can now read a vulnerability report and generate a working exploit almost instantly. They can scan the entire internet for exposed secrets at a scale no human team could match, and surface complex flaws that traditional tools missed for years. However, the same capabilities are just as available to defenders, and there is a case to be made that defenders hold the stronger hand.

Alon Schindel is the VP of AI and Threat Research at Wiz, which is a cloud security platform acquired by Google in 2026. In this episode, Alon joins Gregor Vand to discuss how AI has compressed the time from disclosure to exploit, the prospects for defenders to stay ahead, how Wiz approaches scanning and remediation, the growing strain on open source maintainers, and more.

Sponsorship inquiries:
sponsor@softwareengineeringdaily.com

The post Security in the Age of Instant Exploits appeared first on Software Engineering Daily.

Automated browser testing is a foundational technology that many web developers rely on. Modern tooling lets a single test drive Chrome, Firefox, and Safari the same way, a triumph of software engineering built on years of standardization work. That standardization emerged from the interplay between open source projects, browser vendors, and standards bodies like the W3C.

David Burns is a longtime Selenium and WebDriver contributor, a veteran of Mozilla, and is currently the Head of Developer Advocacy and Open Source at BrowserStack. In this episode, David joins Josh Goldberg to discuss how open source projects, browser vendors, and standards bodies fit together, a practical philosophy of testing built around one solid test per critical path, and the risks that AI and vibe coding introduce to web development.

Sponsorship inquiries:
sponsor@softwareengineeringdaily.com

The post The State of Browser Testing appeared first on Software Engineering Daily.