stacks-project
lila
stacks-project | lila | |
---|---|---|
15 | 795 | |
804 | 14,606 | |
4.7% | 0.9% | |
9.1 | 10.0 | |
4 days ago | 5 days ago | |
TeX | Scala | |
GNU General Public License v3.0 or later | GNU Affero General Public License v3.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
stacks-project
- The Clowder Project: an online resource for category theory and mathematics
-
Wikipedia of Algebraic Geometry Will Forever Be Incomplete. (2022)
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.
- I don't always use LaTeX, but when I do, I compile to HTML (2013)
-
Ask HN: What are some well-designed websites?
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.
-
Tree linking all math concepts together?
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.
-
LaTeX for books?
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
-
What are the subfields of algebraic geometry?
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.
-
Comprehensive math education
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.
-
I finished Hartshorne… now what?
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?
- The Stacks project: open-source textbook and reference on algebraic geometry
lila
-
How to make a Lichess bot in Python
Once you’re finished, we’re going to set up a lichess bot account. Head over to https://lichess.org/ and create a new account.
-
Lessons from Open-Source Game Projects
Lichess - Online Chess Server. Scala, TypeScript
-
Avoid blundering: 80% of a winning strategy
> the player who committed more blunders lost 86% of the time
In some sense this is almost tautological. While finding an exact definition for a chess blunder isn't straightforward, here is one example from the Lichess UI:
https://github.com/lichess-org/lila/blob/b527746b179cdde6438...
Basically, if you make a move which decreases your winning probability more than 14% over the best move, that's a blunder. But winning probability is a nonlinear function of stockfish centipawns. A drop in 100 centipawns when you're up 15 points isn't a blunder. When the game was equal, it is.
Point is, by the time you know it's a blunder you already know something about the outcome of that move, that it swung the winning probability by more than 14%. So the analysis is kind of just measuring some function of winning probability and saying that it is highly correlated with winning probability.
- How I hacked chess.com with a rookie exploit
-
So bad at chess that it’s genuinely upsetting at this point, I need some hope
If you want to improve make it your goal to play the best chess you can, not increase an arbitrary number. Watch YouTube series like John Bartholomew's "Climb the Rating Ladder" for some general insight into what you might be doing wrong. Read Irving Chernev's "Logical Chess: Move By Move" to see the thinking process of high level players. Do lots of puzzles (I like lichess.org for puzzles). And always analyze your games. When you analyze make it your goal to find at least two things you could have improved.
-
Humans vs. Stockfish’s eval function
The easiest way to play against Stockfish is perhaps on https://lichess.org/, but it's not the only chess engine that evaluates positions with a neural network.
-
Venruki’s take on the current issues with PvP
Lichess.com
- Death wants to take you, but you can challenge it to a game (virtual or not) to stay. what do you play?
- Ask HN: What fuel for my data furnace?
-
The DGPT season opener will be sponsored by chess.com!
if you actually like chess, try lichess.org, the free and open-source, no ads ever, premium alternative
What are some alternatives?
tectonic - A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
listudy - Listudy - chess training server
numerical-linear-algebra - Free online textbook of Jupyter notebooks for fast.ai Computational Linear Algebra course
Anki-Chess-2.0 - An interactive chess template for anki.
book - A textbook on informal homotopy type theory
Mindustry - The automation tower defense RTS
OpenLogic - An open-source, customizable intermediate logic textbook
katrain - Improve your Baduk skills by training with KataGo!
maths_book - Planning for an entire maths LaTeX book
monkeytype - The most customizable typing website with a minimalistic design and a ton of features. Test yourself in various modes, track your progress and improve your speed.
microMathematics - microMathematics Plus - Extended visual calculator
logseq - A local-first, non-linear, outliner notebook for organizing and sharing your personal knowledge base. Use it to organize your todo list, to write your journals, or to record your unique life.