Hacker GitHub

← All repos

sethirus/The-Thiele-Machine

View on GitHub ↗ ★ 11 Rocq Prover

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.

4 mentions on Hacker News by 2 people: 2 stories, 2 comments · first 2025-08-21 · latest 2026-01-20

Mentions per year 4 mentions · busiest year 2026 (3)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 9
    Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing
    story by nwthiele · 2026-01-12 · 4 comments
  2. ▲ 2
    The Thiele Machine: A Formal Proof of a New Computational Model
    story by ThieleMachine · 2025-08-21 · 2 comments