#catstaxes — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #catstaxes, aggregated by home.social.
-
Can #LLMs model real-world systems in TLA+? 🤔 Oh sure, because who wouldn't want a linguistically confused #AI applying #logic it doesn't truly comprehend to complex systems modeling? 🙄 Next up: teaching your cat to do your taxes! 🐱💼
https://www.sigops.org/2026/can-llms-model-real-world-systems-in-tla/ #TLA+ #complexsystems #catstaxes #HackerNews #ngated