Multiway Turing Machines (2021 pre-ai)
marysminefnuf
21 points
3 comments
July 26, 2026
Related Discussions
Found 5 related stories in 427.4ms across 14,941 title embeddings via pgvector HNSW
- Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem mean_mistreater · 182 pts · March 28, 2026 · 56% similar
- 10-202: Introduction to Modern AI (CMU) vismit2000 · 241 pts · March 01, 2026 · 53% similar
- Working With AI: A concrete example comma_at · 125 pts · June 29, 2026 · 52% similar
- Interaction Models smhx · 167 pts · May 11, 2026 · 52% similar
- Show HN: Statewright – Visual state machines that make AI agents reliable azurewraith · 90 pts · May 12, 2026 · 52% similar
Discussion Highlights (2 comments)
marysminefnuf
Mathematical Connection between braids and computation
unprovable
"Like Turing before me, I have reinvented the nondeterministic computing machine..." -- Wolfram, probably...