LESSWRONG
LW

1627
hoghoghoghoghog
7010
Message
Dialogue
Subscribe

Posts

Sorted by New

Wikitag Contributions

Comments

Sorted by
Newest
No posts to display.
No wikitag contributions to display.
What's up with Arbital?
hoghoghoghoghog9y70

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.

Reply