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 764 web pages, 92 repositories, 193 papers, and 238 books in 112 topics. Of these, 122 have the highest rating, 42 are considered classics, 108 are considered very interesting, while 67 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 Graphics
- 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
- Operational Semantics
- 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
- Research
- 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/
- Rate two works on Logic and re-arrange some other things. Chris Pressey 2 years ago
- Add PostgreSQL topic, and 11 web pages therein. Chris Pressey 2 years ago
- Add two lecture noteses on Coq. Chris Pressey 2 years ago
- Add 3 papers and 2 web pages, Requirements and Model Checking. Chris Pressey 2 years ago
- Get the archived version of this page, with images, online again. Chris Pressey 2 years ago
- Rate a Compiler Construction web page. Chris Pressey 2 years ago
- Rate a paper on Partial Evaluation. Chris Pressey 2 years ago
- Add commentary on Maslov's book. Chris Pressey 2 years ago
- Add gloss for "Logic as Algebra". Chris Pressey 2 years ago
- Add a VIC-20 book of type-in games listings. Chris Pressey 2 years ago
- Add glosses for two Parsing papers. Chris Pressey 2 years ago
- Add four web pages. Chris Pressey 2 years ago
- Add three more web pages. Chris Pressey 2 years ago
- Add a paper on Lisp (actually Fexprs). Chris Pressey 2 years ago
- Add three webpages and a paper. Chris Pressey 2 years ago
- Add two web pages. Chris Pressey 2 years ago
- Add Electronics and Electronics Projects links from Chrysoberyl. Chris Pressey 2 years ago
- Add 7 web pages. Chris Pressey 2 years ago
- Add 4-Dimensional Space topic, and two web pages in it. Chris Pressey 2 years ago
- Add three web pages. Chris Pressey 2 years ago
- Add 4 webpages. Chris Pressey 2 years ago
- Add a few web pages. Make a few adjustments to ratings. Chris Pressey 2 years ago
- Add a Programming Language webpage, and a BASIC book. Chris Pressey 2 years ago
- Add Astronomy topic, 2 pages in it, crossover with Physics. Chris Pressey 2 years ago
- Add Character Sets topic, with 9 web pages, 1 is very interesting. Chris Pressey 2 years ago
- Add four web pages, on various topics. Chris Pressey 2 years ago
- Gloss and rate a book on Compiler Construction. Chris Pressey 2 years ago
- Refactor to use formatters. Chris Pressey 2 years ago
- Refactor, formatting books consistently. Chris Pressey 2 years ago
- Refactor. Start establishing functions to format kinds of links. Chris Pressey 2 years ago