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…
The article summarizes the first afternoon of BugBash'26, featuring talks from engineers at OpenAI, Jane Street, TigerBeetle, and Adaptive. A key theme from Ben Eggers of OpenAI was that while LLMs ha…
In the first morning of BugBash'26, Peter Alvaro, a computer science professor at UC Santa Cruz, reviewed his 20 years of work on robust distributed systems, describing his various "attacks" on the pr…
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 …