TigerBeetle detailed its protocol-aware deterministic simulation testing (DST) approach, which asserts invariants at the level of each individual replica rather than only at the database level, as sho…
Addy Osmani, a 14-year Google veteran who led Chrome DevTools and Core Web Vitals, discusses his transition to AI engineering in the latest Pragmatic Engineer podcast, revealing that he built a web br…
A 1979 paper's arguments against formal verification remain relevant but are being challenged by AI-driven coding, according to a 2026 analysis. The original paper claimed program verification would f…
Antithesis, a company that uses AI agents to find software bugs, reproduced a 15-year-old SQLite Write-Ahead Logging (WAL) bug in 15 minutes using its tool, after SQLite released version 3.51.3 to fix…
Charity Majors, CTO and cofounder of Honeycomb, said in a podcast episode that skepticism about AI in software development is no longer rational in 2026, comparing AI's industry impact to that of clou…
Ryan Greenblatt, a researcher at the Alignment Research Center, argues that human-level AI could rapidly evolve into superintelligent systems by 2032, with his median estimate for automating AI R&D se…
Formal methods consultant Hillel Wayne argues that software engineering earns the title of 'real engineering' due to its rigor, while noting that version control is uniquely sophisticated in software …
Software engineer Geoffrey Huntley argues that the profession has changed more in the last six months than in the last 30 years, with software authoring commoditized but verification lagging behind. H…
Antithesis software engineer Carl Sverre uses exe, a VM platform, as a sandbox for agentic AI software tests, citing its per-user pricing model ($25/user/month for up to 50 VMs), root access, and non-…
Dex Horthy, CEO and cofounder of HumanLayer, coined the term 'context engineering' and shared lessons from building AI agents, including that shipping unread code leads to disaster within months after…
Navdeep Singh, known as NeetCode, discussed his journey from Amazon and Google to building NeetCode.io, a coding interview preparation platform, on The Pragmatic Engineer podcast. He argued that LeetC…
Robert Erez, a principal engineer at Octopus Deploy, discussed CI/CD best practices on The Pragmatic Engineer podcast, advocating for rolling forward instead of rolling back, warning that GitOps is no…
Kelsey Hightower, a self-taught technician who rose to become a Google Distinguished Engineer, discusses his unconventional career path, the rise of Kubernetes, and his philosophy that technology shou…
At the BugBash'26 keynote, Antithesis CEO Will Wilson argued that the rise of AI has unexpectedly made software correctness a mainstream priority, as AI-generated code is fundamentally unreliable and …