#universalmodels — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #universalmodels, aggregated by home.social.
-
🎭 Ah, the Thiele Machine: where Turing Machines go to feel inadequate. Because who wouldn't want a self-aggrandizing, Coq-verified model that claims to trump Turing's brilliance? 🤓 Just what the world needs—another 'universal' model to ignore! 🚀
https://github.com/sethirus/The-Thiele-Machine #ThieleMachine #TuringMachines #CoqVerified #UniversalModels #TechHumor #Innovation #HackerNews #ngated