stacks-project VS excalidraw

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.)

Stacks is not 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 https://github.com/stacks/stacks-project/graphs/contributors ).

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.

Personally, I love the Stacks Project webpage (https://stacks.math.columbia.edu/); they way it is laid out, the font, the seamless integration of LaTeX in the test (https://stacks.math.columbia.edu/tag/0A2U) has made me rethink mathematical text for the web.

For algebraic geometry, there is the Stacks project online, which builds up all mathematics needed to understand algebraic stacks, from foundations. This time, foundations truly mean its basic axioms. Everything is proven except maybe with a few exceptions in the introduction, and everything has links. As such, it is a monstrously large project (the pdf-version is around 7500 pages iirc). This one is I think among my suggestions closest to what you had in mind. The only thing is that it again only focuses on one area of math.

Some famous collaborative books: * https://github.com/HoTT/book * https://github.com/OpenLogicProject/OpenLogic * https://github.com/stacks/stacks-project * http://math.uchicago.edu/~amathew/cr.html

There is not really one good reference for algebraic geometry (even the EGA, SGA, FGA series, and that's assuming you can even plough through them all), but the Stacks Project (https://stacks.math.columbia.edu/) is at least very good for CAG.

The Stacks Project is a massive project covering algebraic geometry. The nLab is a wiki that covers a staggering amount of material from its own, rather specific, point of view.

Well, I talked to a friend who knows a lot of AG. He recommended "learning some things in topology like model categories" and discouraged learning about infinity categories without other stuff. Also, if you're interested in stacks, try the Stacks Project?

ExcaliDraw - https://excalidraw.com/

ExcaliDraw

However, Notion and Obsidian can only help you write documentation. Well, how about some visuals? Let's talk about Excalidraw.

Fun fact: I used GA in Excalidraw, and it's still powering some of the interactions! https://github.com/excalidraw/excalidraw/blob/master/package...

I was happy to find out recently that there is a way to make Mermaid diagrams WYSIWYG / drag and drop editable that the open source https://excalidraw.com has and did I mention it's open source!? With a LLM, you can go full loop back to Mermaid again after a few rounds of manual editing. "What a time to be alive!"

I'm working on a personal project and found myself looking for an alternative to Postman/Insomnia this morning. This made me realize i've been using the same tools for so long for work (mobile development, finance) that this project may be a good time to try out some new things.

Here are a few tools that i've been using lately that I really enjoy:

https://pocketbase.io/ - A dead-simple self-hosted firebase/supabase-like "backend in a box" using golang and sqlite. So far i've been really impressed. I've gone the route of extending the base offering with more go code and am really enjoying the experience.

https://excalidraw.com/ - An open source whiteboarding tool. Slick to use and after learning some keybinds I've gotten pretty fast at throwing together diagrams to explain things to people on my team. The killer piece though is that the filetype is just json, so I can source control my diagrams. Even better, their "export to png" function has a box to embed the json data _into_ the png, allowing me to slap the diagram in places that only accept images (think confluence) and still be able to change the diagram later if needed. 10/10.

https://docs.gitlab.com/ee/ci/ - Gitlab's CI/CD toolset is really impressive, and I've gotten really intimate with it's deeper features over the past year. I'd be curious though to hear from someone who's familiar with it vs it's competitors.

Sketch easy and go back to work...

https://excalidraw.com/