sethirus/The-Thiele-Machine

A self-verifying proof that the Thiele Machine is a universal model of computation that strictly contains the Turing Machine as the degenerate case blind to its own structural axis. All open source.

9 best points · 6 comments · 2 Hacker News posts · 11 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing (9 points, 4 comments, by nwthiele, 2026-01-12)
• The Thiele Machine: A Formal Proof of a New Computational Model (2 points, 2 comments, by ThieleMachine, 2025-08-21)