@rohanpaul_ai Repo (Apache 2.0, falsifiers explicit, ready for real code-verification workloads):
github.com/sethirus/The-T…
Let’s stop patching symptoms and build accountability into the substrate.
DMs open. Let’s ship this.
#AISafety #CodeVerification #BeyondLLMs
GitHub - sethirus/The-Thiele-Machine: A self-verifying proof that the Thiele Machine is a universal...
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
From github.com 25





