I attended the TLA+ Community Event at Hamilton, Ontario on Sunday. Several talks pushed the boundaries of formal methods in the real world...| muratbuffalo.blogspot.com
Joint work with Will Schultz.| Metadata
Here are my notes from the 2025 TLA+ Community Event. See also my colleague Murat Demirbas’s notes (he was one of the event’s organizers). The talks were all recorded, and the videos, slides, and abstracts are posted. Some years there are TLA+ “conferences” co-located with industry conferences, and some years there are “community events” co-located with academic conferences. This year was a community event, the first TLA+ community event in North America. There were about 20 parti...| A. Jesse Jiryu Davis
Should the temporal logic of actions also do performance modeling?| emptysqua.re
April 2025 Monthly Development UpdateThis is the TLA⁺ Foundation monthly development update (subscribe via RSS). Here we summarize the past month of development for the benefit of Foundation patrons and interested members of the community. We will also highlight a good bug or small feature for prospective new contributors to look at! If your TLA⁺ contribution was missed, worry not - we publish monthly, so it’s easy to hop on the next train; open an issue here.| TLA+ Foundation
Introduction| tree-sitter.github.io
Braid Theory| lamport.azurewebsites.net
