stacks-project
govuk-puppet
stacks-project | govuk-puppet | |
---|---|---|
15 | 405 | |
804 | 125 | |
4.7% | - | |
9.1 | 9.3 | |
4 days ago | 3 months ago | |
TeX | Puppet | |
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
govuk-puppet
-
Ask HN: Examples of best practice modern website design?
For usability and accessibility check out https://www.gov.uk/
-
Help with my income tax calculations, should salary sacrifices be considered as part of the taxable income or not?
Look up adjusted net income on www.gov.uk
-
Should I report suspicious behaviour in my street?
Start by checking the registration plate on www.gov.uk to see if the car is MOTd and insured. If they are then I would probably not think too much more about it. If the car is not MOTd or insured then it probably suggests that they're up to no good and as a good citizen, it is your duty to dig further. Maybe try walking past the car and see if you can see what they're doing in the boot and maybe just start up a general conversation with them by asking if they have a light or if there is a shop nearby??
-
Do I need a Transit Visa?
The visa checker on www.gov.uk is the authority here: if that says you don't need a transit visa then you don't need one.
-
Expats - what did you do about your savings accounts when you moved here?
From the www.gov.uk website:
-
I think HR asked me to commit minor VAT fraud
The supplier advised -If it is for my own personal use, it is eligible for VAT relief because it is being used as part of a system that includes a PC customised for my needs "Assistive technology involves the pre-installation of specialist software which is specifically required by the disabled individual. Where such a purchase is made, the complete system will be defined as designed solely for use by that disabled person, and will be eligible for the relief."Reliefs from VAT for disabled and older people (VAT Notice 701/7) - GOV.UK (www.gov.uk) -If it is for work related tasks- then VAT may need to be paid, but supply of equipment for employment related tasks should be dealt with by my employer. -But this may lead to ownership issues. If the Trust buys the program do, they own all material produced with the program?
-
Ask HN: What are some well-designed websites?
I'll throw https://www.gov.uk/ into the ring here. Heard it's one of the best designed websites for disabled accessibility.
-
Boox Tab Ultra C impressions after a full day of use
Work. I've tried to integrate e-reader devices into my workflow before and failed. I'm too used to OSX, and find other environments frustrating for work. I use a MacBook Pro in combination with a Mira e-ink monitor (I work on the design of GOV.UK).
-
Does this mean my DBS has been done?
Your DBS certificate for application ******** has been issued by the DBS. If you need any further advice or information go to www.gov.uk/. dbs
-
Would they send this if I was denied? There is no decision attached and the two day wait will kill me 😅
Refer at Visa decision waiting times: applications outside the UK - GOV.UK (www.gov.uk) to know visa processing timelines. VFS Global will notify you when the passport is ready for collection.
What are some alternatives?
tectonic - A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
coronavirus-dashboard - Dashboard for tracking Coronavirus (COVID-19) across the UK
numerical-linear-algebra - Free online textbook of Jupyter notebooks for fast.ai Computational Linear Algebra course
Tailwind CSS - A utility-first CSS framework for rapid UI development.
book - A textbook on informal homotopy type theory
uMatrix - uMatrix: Point and click matrix to filter net requests according to source, destination and type
OpenLogic - An open-source, customizable intermediate logic textbook
uswds - The U.S. Web Design System helps the federal government build fast, accessible, mobile-friendly websites.
maths_book - Planning for an entire maths LaTeX book
frontend - The Guardian DotCom.
microMathematics - microMathematics Plus - Extended visual calculator
info-frontend - Serves /info pages to display user needs and performance data about a page on GOV.UK