Tree @09ccbfc (Download .tar.gz)
- .reuse
- 6502
- Agile Development
- Algebraic Logic
- Apple II
- Artificial Intelligence
- Attribute Grammars
- Automata Theory
- BASIC
- Bioinformatics
- by-rating
- Category Theory
- Chaos Theory
- Closure Systems
- Combinatorics
- commentary
- Commodore 64
- Compiler Construction
- Computational Complexity
- Constraint Programming
- Coq
- Dafny
- Docker
- DOM
- DOS
- Electronics
- Electronics Projects
- Equational Logic
- FoM
- Formal Language
- Functional Programming
- Game Design
- Game Development
- Games
- Genetic Programming
- Group Theory
- Haskell
- Image Formats
- Incompleteness
- JavaScript
- Lambda Calculus
- LICENSES
- Linguistics
- Lisp
- Literature
- Logic
- Logic Programming
- Lua
- Macros
- Mathematics
- miniKanren
- Modal Logic
- Model Checking
- Name Binding
- Nautilus
- npm
- Numerical Analysis
- Order Theory
- Parsing
- Partial Evaluation
- Pascal
- Philosophy
- Phraseology
- Physics
- PLDI
- Probability Theory
- Programming Languages
- Prolog
- Proof Theory
- Public Domain
- Python
- Reactive Systems
- Recreational Mathematics
- Refinement Calculus
- Relational Programming
- Retrocomputing
- Rewriting Logic
- Scheme
- scripts
- Shell Scripting
- Software Engineering
- Specification
- Technology
- Term Rewriting
- Theorem Proving
- Theory of Computation
- Topology
- TRS-80
- Type Systems
- Type Theory
- Unification
- User Interface
- VIC-20
- Web APIs
- x86
- .gitignore
- README.md
- requirements.txt
- TOPICS.md
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, 141 papers, and 159 books in 90 topics. Of these, 101 have the highest rating, 25 are considered classics, 46 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:
Rating | Description |
---|---|
3 | If you read nothing else, read this. |
2 | I found it very interesting and/or it's a valuable resource. |
1 | I read (or at least skimmed) it and didn't consider it a waste of my time. |
0 | I read (or at least skimmed) it and I'm not sure. Consider it a curiosity. |
-1 | I read (or at least skimmed) it and was not impressed, but kept it here anyway. |
classic | A classic work; it might be a bit heavy, but worth knowing about. |
(no rating) | I haven't read it or haven't formed an opinion on it. |
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
Commit History
@09ccbfc0bd5e09ad2d8ae6a5ded1741ed1d73c0e
git clone https://git.catseye.tc/The-Glosscubator/
- Extract ratings from Topology. Chris Pressey 1 year, 2 months ago
- Rate two more papers (in Model Checking). Chris Pressey 1 year, 2 months ago
- Rate a Coq paper, and add commentary. Chris Pressey 1 year, 2 months ago
- Add book chapter and extract ratings from Modal Logic papers. Chris Pressey 1 year, 2 months ago
- Extract more ratings, add more commentary. Chris Pressey 1 year, 2 months ago
- Begin the project of obtaining ratings from a commentary file. Chris Pressey 1 year, 2 months ago
- Rate a few Apple II books. Chris Pressey 1 year, 2 months ago
- Remove duplicated link and fix counts. Chris Pressey 1 year, 2 months ago
- Merge branch 'master' of https://codeberg.org/cpressey/Bookmarks Chris Pressey 1 year, 2 months ago
- Add a recent model-checking paper. Chris Pressey 1 year, 2 months ago