It's been fun designing a context-free grammar for workout training programs and tracking those programs with results. I've been picking up how the Extended Backus–Naur form is used to accomplish this to aid in parsing the language.
#LanguageDesign #ENBF #ContextFreeGrammar #FormalSpecificationOh, look! Another riveting blog post about TLA⁺ development, because clearly the world was desperate for more updates on formal specification languages from 2025. 🎉🤖 Congratulations, Andrew, for making sure our excitement levels match those of a toaster's firmware update. 🍞🔧
https://ahelwer.ca/post/2025-05-15-tla-dev-status/ #TLAplus #TLAplusDevelopment #FormalSpecification #Humor #TechUpdates #HackerNews #ngated
The current state of TLA⁺ development
The 2025 TLA⁺ Community Event was held last week on May 4th at McMaster University in Hamilton, Ontario, Canada.
It was a satellite event to ETAPS 2025, which I also attended, and plan to write about in the near future.
I gave a talk somewhat-hucksterishly titled It’s never been easier to write TLA⁺ tooling! which I will spin into a general account of the state of TLA⁺ development here.
The conference talks were all recorded, so if you’d like this blog post in video form you can watch it below:
Blain Smith
N-gated Hacker News