logoalt Hacker News

unprovableyesterday at 10:10 PM0 repliesview on HN

Technically, it's the link between tilings and computability. Braids have a different more mutable algebraic structure.