stacks-project
autocomplete
stacks-project | autocomplete | |
---|---|---|
15 | 164 | |
804 | 24,274 | |
4.7% | 0.1% | |
9.1 | 9.6 | |
4 days ago | 8 days ago | |
TeX | TypeScript | |
GNU General Public License v3.0 or later | MIT License |
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
autocomplete
-
Fig Is Sunsetting
Having contributed to the Fig autocomplete specs, I find this sad. The Amazon product Fig was built into basically works as replacement, which is good. Still, the core value of this product are the open-source autocomplete specs: https://github.com/withfig/autocomplete. What's going to happen to that? It looks like they are still using it in the Amazon product. It should definitely be possible for an open-source re-implementation of the Fig UI to use those specs. There is a lot of knowledge encoded in there!
-
Top Free Utility Mac Apps You Aren’t Using
8. Fig
-
Ask HN: Alternatives to fig.io as it has signups disabled?
Fig is awesome but with signups blocked[1] for 2+mo already it's also as good as dead ¯\_(ツ)_/¯
* [1]: https://github.com/withfig/autocomplete/issues/2068
-
Show HN: Inshellisense – IDE style shell autocomplete
https://github.com/withfig/autocomplete is it this?
- Fig
-
Show HN: Whiz – A copilot for your command line
How is this different than https://fig.io/?
-
Boost DX, Enhance UX, and Skyrocket Profits! Dive into a sub-50ms world with Edge Feature Flags 🚀
AWS CloudWatch Evidently The worst. No comment. AWS seems to perpetually lack a good DX for developers. It appears that they don't recognize or continually undervalue the importance of roles other than engineers, such as Product Managers or Designers. Very disappointing. However, AWS has recently acquired Fig, so looks like they're now pursuing an acquisition strategy instead. Let's see how it turns it out, and let's hope they don't ruin Fig, since it's such an useful tool.
-
Ask HN: What are some well-designed websites?
slightly tangential, but where do people get awesome landing pages like linear(https://fig.io/. has similar landing page) etc. Do they build them in-house or buy templates somewhere? Many of the recently launched YC companies have awesome landing pages. eg. https://automorphic.ai/,
-
Fig Has Joined AWS
I love this product, have contributed several times to it, and I'm a little torn. One thing I am thinking about now, is that the completion specs are MIT-licensed, and it should be possible to use them to re-implement a basic open-source version of the autocompletion product... https://github.com/withfig/autocomplete
What are some alternatives?
tectonic - A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
ohmyzsh - 🙃 A delightful community-driven (with 2,300+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
numerical-linear-algebra - Free online textbook of Jupyter notebooks for fast.ai Computational Linear Algebra course
fzf-tab - Replace zsh's default completion selection menu with fzf!
book - A textbook on informal homotopy type theory
Warp - Warp is a modern, Rust-based terminal with AI built in so you and your team can build great software, faster.
OpenLogic - An open-source, customizable intermediate logic textbook
starship - ☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!
maths_book - Planning for an entire maths LaTeX book
hyperterm - A terminal built on web technologies
microMathematics - microMathematics Plus - Extended visual calculator
zsh-autocomplete - 🤖 Real-time type-ahead completion for Zsh. Asynchronous find-as-you-type autocompletion.