Latest episode
Software Verification in the Age of Coding Agents
The most damaging software bugs hide in edge cases no one thought to check, and AI-generated code is only widening those blind spots. This episode explores how Antithesis uses deterministic simulation testing, running software through thousands of unexpected paths to surface the rare, catastrophic failures normal testing would miss.
Topics
Browse conversations by engineering domain.
- AI
- AI Agents
- Analytics
- APIs
- Architecture
- Blockchain
- Browsers
- Careers
- Cloud
- Data Engineering
- Databases
- Dev Tools
- DevOps
- Distributed Systems
- Fintech
- Frontend
- Game Dev
- General
- Hardware
- JavaScript
- Kubernetes
- Languages
- Leadership
- ML
- Mobile
- Networking
- Observability
- Open Source
- Privacy
- Reliability
- Robotics
- Science
- Security
- Startups
- Tech Industry
- Testing
Articles
Updates, stories, and announcements from the SED team
About us
Independent.
Technical. Trusted.
Since 2015, Software Engineering Daily has been the home of in-depth technical conversations with the world's best engineers and builders.
Learn more about us
Independent
- 100% Independent
- 0 Paywalled episodes