HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
nwthiele
Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing
9 points
nwthiele
2026-01-12T02:46:45Z
github.com