#thielemachine — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #thielemachine, 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 -
The Thiele Machine – Coq-Verified Computational Model Beyond Turing
https://github.com/sethirus/The-Thiele-Machine
#HackerNews #ThieleMachine #CoqVerification #ComputationalModels #BeyondTuring #HackerNews