Multiway Turing Machines (2021 pre-ai)
15 points - today at 8:49 PM
Sourceunprovable
today at 10:09 PM
"Like Turing before me, I have reinvented the nondeterministic computing machine..." -- Wolfram, probably...
marysminefnuf
today at 8:50 PM
Mathematical Connection between braids and computation
unprovable
today at 10:10 PM
Technically, it's the link between tilings and computability. Braids have a different more mutable algebraic structure.