Related:<p><i>The Stacks Project, a new model for organizing and visualizing mathematics</i> - <a href="https://news.ycombinator.com/item?id=30222302">https://news.ycombinator.com/item?id=30222302</a> - Feb 2022 (24 comments)<p><i>Stacks project hits 5000 pages</i> - <a href="https://news.ycombinator.com/item?id=11054837">https://news.ycombinator.com/item?id=11054837</a> - Feb 2016 (1 comment)
The Stacks project is meant to be a comprehensive Bourbaki-style textbook, not an encyclopedic survey, so the Wikipedia comparison is a miss. (The WP has a textbook level of detail on some topics, with proofs and examples, but these are few and far between and come from enthusiastic editors going above and beyond the WP's declared goals.)<p>Stacks is <i>not</i> finished, however -- still a lot of "Proof. Omitted.". From what I understand, the goal is to fill them all in (otherwise there would be references to the literature in their stead), but ultimately it is still mostly a one-person project (see <a href="https://github.com/stacks/stacks-project/graphs/contributors">https://github.com/stacks/stacks-project/graphs/contributors</a> ).<p>I once filled in one of those missing proofs, only to see Johan replace it by a much better one that I would never have thought of. And this was (for him) a technical lemma, not one of the crown jewels of the project. His dedication to the project is truly incomparable to anything except Bourbaki and Serre. And the usefulness of the work extends far beyond algebraic stacks, just like Bourbaki is much more than a textbook on Lie algebras.
Μy favorite example of mathematical typesetting on the web. I sent them some emails asking for directions to mimic their design for my personal webpage, but did not get any replies. My crude attempt at web mathematics in that style is here: <a href="https://ykonstant1.github.io/power-draft.html" rel="nofollow">https://ykonstant1.github.io/power-draft.html</a><p>But I would love if they made a tutorial or blog post describing in simple terms how to get a design like that going; many many professors could incorporate that and make mathematical resources much easier to access for students. I always have an online Class Diary for my classes, and my students would love to have rendered equations directly in the webpage.
> And it’s de Jong’s exacting standards that also set the Stacks Project apart from other crowdsourced publications on the web. “Johan gets very mad when I call it Stackopedia,” said Kedlaya. “He reads every line that goes in.”<p>> The one-editor model allows the Stacks Project to maintain one voice and a high level of quality control. But unlike the peer-reviewed literature that it attempts to corral into one place, the Stacks Project is designed to evolve. Long after de Jong is gone, this accumulation of knowledge will continue to grow.<p>Is there any path to this scaling beyond one contributor? It sounds like after de Jong stops contributing it will just become frozen.
Does anyone know if there's something similar for plain old geometry? I need some proofs beyond basic ones (for ex, I need to know how to find out intersection points of 2 rotated ellipses on Cartesian space).
The title says “A wikipedia of algebraic geometry” but the site is organized more like a book not like Wikipedia. Do we know what publishing platform he is using?
“As we build theory we adhere to the following basic rules: […] (5) every statement explicitly states all of its assumptions…”<p>This is great, but is it possible?