The Glosscubator

See also: Chrysoberyl ∘ The Dossier ∘ The Dipple

This is a collection of resources, categorized into lists of resources, almost all of which are accessible on the World Wide Web.

Currently it consists of 615 web pages, 82 repositories, 167 papers, and 176 books in 96 topics. Of these, 107 have the highest rating, 33 are considered classics, 60 are considered very interesting, while 66 are yet to be rated.

Topics

• 6502
• Abstract Algebra
• Agile Development
• Algebraic Logic
• Algorithms
• Apple II
• Artificial Intelligence
• Attribute Grammars
• Automata Theory
• BASIC
• Bioinformatics
• Calculus of Constructions
• Category Theory
• Chaos Theory
• Closure Systems
• Combinatorics
• Commodore 64
• Compiler Construction
• Computational Complexity
• Constraint Programming
• Coq
• DOM
• DOS
• Dafny
• Docker
• Electronics
• Electronics Projects
• 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
• Lambda Calculus
• Linguistics
• Lisp
• Literature
• Logic
• Logic Programming
• Lua
• Macros
• Mathematics
• Matroid Theory
• Modal Logic
• Model Checking
• Name Binding
• Nautilus
• Numerical Analysis
• Order Theory
• PLDI
• Parsing
• Partial Evaluation
• Pascal
• Philosophy
• Phraseology
• Physics
• Probability Theory
• Programming Languages
• Prolog
• Proof Theory
• Public Domain
• Python
• Reactive Systems
• Recreational Mathematics
• Refinement Calculus
• Relational Programming
• Retrocomputing
• Scheme
• Shell Scripting
• Software Engineering
• TLA(plus)
• TRS-80
• Technology
• Term Rewriting
• Theorem Proving
• Theory of Computation
• Topology
• Type Systems
• Type Theory
• Unification
• User Interface
• VIC-20
• Web APIs
• miniKanren
• npm
• x86

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

Arrows (Unicode block) - Wikipedia

Unicode subscripts and superscripts - Wikipedia

TODO

• Match wayback machine links, show "(wayback)" on them
• Match PDF links, show "(PDF)" on them
• Collect entries, read or compute "topics", distribute to all listed topics
• Render ratings
• Functions to render books and papers consistently
• Questions
• Collect CC-licensed content into local, combined document