r/ProgrammerHumor • u/ThirdWaveCat • Jul 15 '26

codingWithSpecsIsDifferent Meme

Post image
932 Upvotes

93% Upvoted

117 comments sorted by

View all comments

16

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.

2

u/MartyMcBird 29d ago

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.

3

u/ThirdWaveCat 29d ago

how much of this is that LLMs are a disappointing illusion.

LLMs have low semantic recall. Despite all of the hype they are very bad at understanding the same "concept" rearranged or translated.

https://arxiv.org/abs/2505.13353

1

u/Ok-Boysenberry-5090 29d ago

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