Murat
Ok, finally getting sometime to put my butt down to write about day 2 of BugBash.Why do so few buildings fall down?Brian Potter, Senior Infrastructure Fellow @ Institute for Progress, Author of Construction Physics newsletter.Buildings rarely collapse. The rate of major structural failing is ...
Murat
These are my notes from the afternoon sessions of BugBash'26. We had a 75 minute lunch break. Nice lunch, but there were no vegetarian entries, which made Peter Alvaro hangry. I don't blame him, I would be too. Informal methodsBen Eggers, Member of Technical Staff @ OpenAIThis was a fun and also...
Murat
Continuing with notes from the BugBash talks. Yes, all of this goodness, including Will Wilson's keynote was before lunch the first day.Where all the ladders startPeter Alvaro, Associate Professor of Computer Science @ UC Santa CruzIn this talk, Peter reflects back on his 20 years of distributing...
Murat
This paper presents SysMoBench, a benchmark designed to evaluate generative AI's ability to formally model complex concurrent and distributed systems. Although the paper is published on January 2026, the AI landscape moves so fast that the models evaluated (like Claude-Sonnet-4 and GPT-5) already...
Murat
In the age of LLMs, syntax is no longer the bottleneck for writing, reading, or learning TLA+. People are even getting value by generating TLA+ models and counterexamples directly from Google Docs descriptions of the algorithms. The accidental complexity of TLA+ (its syntax and tooling) is going...