Bookmarks

This is a collection of resources, presented as a set of lists of (almost always) web-accessible references, with one list for each topic area.

Currently it consists of 578 web pages, 64 repositories, 140 papers, and 159 books in 89 topics. Of these, 101 have the highest rating, 25 are considered classics, 45 are considered very interesting, while 76 are yet to be rated.

Some of these lists are more curated than others. I'm currently trying to use the following system of ratings:

Ratings don't usually apply to Wikipedia articles, as the quality of those can drift over time.

Combining as it does factual information (the title of a work, where it can be accessed, who its authors are, when it was created) and opinion (ratings, commentary), this repository is also an experiment in combining multiple licensing strategies under the REUSE paradigm; the factual information is in the public domain (CC-1.0) while the commentary is CC-BY-ND-4.0, with the rating being freely usable for any purpose - which includes computing results which will appear in the public domain, which is exactly what our automation here will be doing with them.

Handiest

Mathematical operators and symbols in Unicode - Wikipedia

List of logic symbols - Wikipedia

TODO

• Match wayback machine links, show "(wayback)" on them
• Collect entries, read or compute "topics", distribute to all listed topics
• Schemas for Feedmark files
• Link see-also with anchor to heading of dest page
• Questions
• Collect CC-licensed content into local, combined document
• Rename repo to "Resources" or something