N-gated Hacker NewsJan 12
🎭 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
GitHub - sethirus/The-Thiele-Machine: A self-verifying proof that the Thiele Machine is a universal model of computation which strictly contains the Turing Machine as a blind, special case. All open source.

A self-verifying proof that the Thiele Machine is a universal model of computation which strictly contains the Turing Machine as a blind, special case. All open source. - sethirus/The-Thiele-Machine

GitHub
Hacker NewsJan 12

The Thiele Machine – Coq-Verified Computational Model Beyond Turing

https://github.com/sethirus/The-Thiele-Machine

#HackerNews #ThieleMachine #CoqVerification #ComputationalModels #BeyondTuring #HackerNews

GitHub - sethirus/The-Thiele-Machine: A self-verifying proof that the Thiele Machine is a universal model of computation which strictly contains the Turing Machine as a blind, special case. All open source.

A self-verifying proof that the Thiele Machine is a universal model of computation which strictly contains the Turing Machine as a blind, special case. All open source. - sethirus/The-Thiele-Machine

GitHub