Become a sponsor to Devon Thiele
The Thiele Machine is not another framework or incremental optimization — it’s a new computational model that subsumes Turing by introducing native auditability, sight-priced execution, and proof-carrying computation. This is the foundation for auditable AI, provable software, and a world where algorithms cannot lie. I’ve already built the open-source artifacts: Coq proofs, executable demos, and a CI pipeline that anyone can verify. Now the next step is hardware prototypes and scaling this into real CPUs. If you believe in being the patron who ushers in the post-Turing era of computing, this is the chance to have your name tied to the next century of technology. One person can make this inevitable — and remembered. Will it be you?
Featured work
-
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.
Verilog 10