Urbit for Mathematicians | Dark Hacker News