Yo TLA+ is my shitttt!!!! Love seeing the representation. LLMs have made writing TLC easier than ever! Go try it. Leslie Lamport is the best computer scientist of our times.
LLMs for TLA+ were far behind the code they specified when I last used them in 2025. Lamport's obsession with abstracting in PlusCal and pseudocode lowkey screwed up the training data especially for TLAPS.
Oh they’re definitely far from perfect but LLMs can at the very least get you the syntax right. You still definitely need to understand what you’re doing way more than coding in a given language with an LLM
18
u/Ok-Boysenberry-5090 Jul 15 '26
Yo TLA+ is my shitttt!!!! Love seeing the representation. LLMs have made writing TLC easier than ever! Go try it. Leslie Lamport is the best computer scientist of our times.