A conference recap covering Day 2 of BugBash'26, featuring talks on structural engineering reliability as a metaphor for software safety, Gary Marcus's skeptical take on LLMs and AGI timelines, Frank McSherry's philosophy on building confidence in distributed streaming systems via abstraction and virtual time, lightning talks on FoundationDB simulation, fuzzing, and CUDA reverse engineering, Gabriela Moreira's Quint as a friendlier TLA+ alternative for spec-driven development, and Steve Klabnik's philosophical keynote on correctness, formal methods, and the existential disruption AI brings to software engineering.
Table of contents
Why do so few buildings fall down?Gary Marcus fireside chatBuilding confidence in an always-in-motion distributed streaming systemLightning TalksLightning TalksBehaviors as the backbone of software correctnessSteel, Rust, and TruthSort: