Tree @master (Download .tar.gz)
The Glosscubator
See also: Chrysoberyl ∘ The Dossier ∘ The Dipple
This is a collection of resources, categorized into lists of resources, the great majority of which are accessible on the World Wide Web.
Currently it consists of 752 web pages, 85 repositories, 192 papers, and 234 books in 109 topics. Of these, 122 have the highest rating, 41 are considered classics, 104 are considered very interesting, while 72 are yet to be rated.
Topics
- 4-Dimensional Space
- 6502
- Abstract Algebra
- Agile Development
- Algebraic Logic
- Algorithms
- Apple II
- Artificial Intelligence
- Astronomy
- Attribute Grammars
- Automata Theory
- BASIC
- Bioinformatics
- Calculus of Constructions
- Category Theory
- Chaos Theory
- Character Sets
- Closure Systems
- Combinatorics
- Comics
- Commodore 64
- Compiler Construction
- Computational Complexity
- Computer Security
- Constraint Programming
- Coq
- DOM
- DOS
- Dafny
- Docker
- Electronics
- Electronics Projects
- Energy Management
- Equational Logic
- FoM
- Formal Language
- Formal Specification
- Forth
- Functional Programming
- Game Assets
- Game Design
- Game Development
- Games
- Genetic Programming
- Group Theory
- Haskell
- Image Formats
- Incompleteness
- JavaScript
- Labyrinths
- Lambda Calculus
- Linguistics
- Lisp
- Literature
- Logic
- Logic Programming
- Lua
- Macros
- Mathematics
- Matroid Theory
- Modal Logic
- Model Checking
- Monads
- Name Binding
- Nautilus
- Numerical Analysis
- Order Theory
- PLDI
- Parsing
- Partial Evaluation
- Pascal
- Philosophy
- Phraseology
- Physics
- PostgreSQL
- Probability Theory
- Programming Languages
- Prolog
- Proof Theory
- Public Domain
- Python
- Reactive Systems
- Recreational Mathematics
- Refinement Calculus
- Relational Programming
- Retrocomputing
- Scheme
- Shell Scripting
- Software Engineering
- Systems Theory
- TLA(plus)
- TRS-80
- Technologies
- Term Rewriting
- Theorem Proving
- Theory of Computation
- Topology
- Type Systems
- Type Theory
- Unification
- User Interface
- VIC-20
- Video Formats
- Web APIs
- Z80
- Zoology
- miniKanren
- npm
- x86
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.
TODO
- For commentary links on secondary entries: either don't show them, or have the link go to the proper (primary) topic's commentary page.
- Match wayback machine links, show "(wayback)" on them
- Match PDF links, show "(PDF)" on them
- Questions, as seperate from Webpages
- Collect CC-licensed content into local, combined document
Commit History
@master
git clone https://git.catseye.tc/The-Glosscubator/
- Add bookmarks, mainly Mathematics and Computability, and others. Chris Pressey 2 years ago
- Add two PLDI books. Chris Pressey 2 years ago
- Add some Computability Theory books. Chris Pressey 2 years ago
- Add some bookmarks about Computability Theory. Chris Pressey 2 years ago
- Add a Complexity Theory book, move a Bioinformatics book. Chris Pressey 2 years ago
- Add some bookmarks about Group Theory. Chris Pressey 2 years ago
- Add two Physics books, and a few other resources. Chris Pressey 2 years ago
- Add some more webpages on Mathematics topics. Chris Pressey 2 years ago
- Add some webpages and books about Formal Language Theory. Chris Pressey 2 years ago
- Add some Linguistics books, and a Logic book. Chris Pressey 2 years ago
- Add some books on Combinatorics, AI, and Genetic Programming. Chris Pressey 2 years ago
- Add a paper related to theorem proving. Chris Pressey 2 years ago
- Add a number of webpages of FoM. Chris Pressey 2 years ago
- Add webpages in several categories. Chris Pressey 2 years ago
- Functional Programming and Electronics Projects categories. Chris Pressey 2 years ago
- Convert Webpages.md files to Feedmark format. Chris Pressey 2 years ago
- Checkpoint new script we will use. Chris Pressey 2 years ago
- Build READMEs from source materials instead of rewriting READMEs. Chris Pressey 2 years ago
- Add more books on Logic, Coq, Prolog. Chris Pressey 2 years ago
- Split Lambda Calculus off from Logic. Chris Pressey 2 years ago
- Split Equational and Algebraic logic off, and add some books. Chris Pressey 2 years ago
- Fix breakage in Game Design category and update READMEs. Chris Pressey 2 years ago
- Split Game Design and Game Development, they're 2 different topics. Chris Pressey 2 years ago
- Update license headers, get back to REUSE 3.0 compliance. Chris Pressey 2 years ago
- Some books on Combinatorics, and another Probability Theory bookmark. Chris Pressey 2 years ago
- Add some specification books. Chris Pressey 2 years ago
- Add one more Coq bookmark. Chris Pressey 2 years ago
- Merge branch 'master' of https://codeberg.org/cpressey/Bookmarks Chris Pressey 2 years ago
- Split Coq off from Theorem Proving. Chris Pressey 2 years ago
- Add a Theorem Proving book. Chris Pressey 2 years ago