undefined | Better HN

0 pointsekidd7mo ago0 comments

> Common patterns: Modeling mutual exclusion, consensus algorithms, message passing, etc. Practical examples: From simple counters to complex distributed systems

I don't know how you composed this response. But it reads more like a laundry list of TLA+-related buzzwords than a response based on any kind of actual experience with TLA+.

TLA+ is a weird and obscure niche, easily obscure enough to give most models very serious headaches.

0 comments

skottenborg7mo ago

I immediately thought this sounded like an LLM reply.

RUnconcerned7mo ago

It reads like they asked the AI how it could help and just pasted whatever it said

rvz7mo ago

exactly.

I stopped reading mid-sentence after seeing a cacophony of buzzwords shoved into that AI generated reply.

Very disappointed.

alexflashdrive7mo ago

Well, I don't have any idea what's TLA+ is so I just asked the agent and that's it's response yep

uncircle7mo ago

There it is. Like their "AI" companions, the people using them are unable to conceive not knowing something, so they might as well invent anything that sounds plausible, unable to even learn a new concept.

Donning-Kruger as a service. I guess that's what defines the 'serious developers' from the rest of us.

1 more reply

j / k navigate · click thread line to collapse