Posts

Comments

Comment by hoghoghoghoghog on What's up with Arbital? · 2017-03-29T22:55:58.523Z · LW · GW

Is there a description anywhere of the history of Arbital development?

Specifically I once heard a 4th-hand description of Arbital as "the Stacks Project, but for everything." It seemed to me at the time that a good step would be to 'simply' extend the Stacks project until it encompasses all of math[*]. I'd like to know which of Arbital's difficulties would still apply there.