2 ms·
"The 2025 TLA⁺ Community Event was held last week on May 4th at McMaster University in Hamilton, Ontario, Canada. " Damn. Happened a 10 minute drive from my ho
by cmrdporcupine 1y ago
"The 2025 TLA⁺ Community Event was held last week on May 4th at McMaster University in Hamilton, Ontario, Canada. "
Damn. Happened a 10 minute drive from my house and I didn't even know about it.
TLA+ is on the infinite bucket list for me. I'm sure like many others, I know the value of learning and applying formal verification, but it feels impenetrable knowing really how to jump in.
- ahelwer 1y agoHillel Wayne wrote https://learntla.com/ https://learntla.com/ which is quite good! Leslie Lamport also has a webpage of other possible learning resources, including a video course he put together where he wears many strange hats: https://lamport.azurewebsites.net/tla/learning.html https://lamport.azurewebsites.net/tla/learning.html Personally I learned by reading the first few chapters of Specifying Systems.
- hbogert 1y ago^ this feeling, i have it too. Everytime i see TLA+ somewhere i get that shameful feeling.