18 pointsby marysminefnuf4 hours ago2 comments
  • unprovable3 hours ago
    "Like Turing before me, I have reinvented the nondeterministic computing machine..." -- Wolfram, probably...
  • marysminefnuf4 hours ago
    Mathematical Connection between braids and computation
    • unprovable3 hours ago
      Technically, it's the link between tilings and computability. Braids have a different more mutable algebraic structure.