Tree @3dd3722 (Download .tar.gz)
- .reuse
- Agile Development
- Algebraic Logic
- Artificial Intelligence
- Attribute Grammars
- Automata Theory
- BASIC
- Bioinformatics
- Category Theory
- Closure Systems
- Combinatorics
- 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
- Nautilus
- npm
- Numerical Analysis
- Order Theory
- Partial Evaluation
- Pascal
- Philosophy
- Phraseology
- Physics
- PLDI
- Probability Theory
- Programming Languages
- Prolog
- Reactive Systems
- Recreational Mathematics
- Refinement Calculus
- Relational Programming
- Retrocomputing
- Rewriting Logic
- scripts
- Shell Scripting
- Software Engineering
- Specification
- Technology
- Theorem Proving
- Theory of Computation
- TODO
- Topology
- TRS-80
- Type Systems
- Type Theory
- Unification
- VIC-20
- Web APIs
- .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 555 web pages, 109 papers, and 139 books in 78 topics.
Some of these lists are more curated than others. I'm currently trying to use the following system of ratings:
3 If you read nothing else, read this.
2 It's a valuable resource.
1 I read it and didn't consider it a waste of my time.
0 I read it and I'm not sure. Consider it a curiosity.
-1 I read 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.
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
@3dd372219617f5febdd87190ebeb25b07a06450f
git clone https://git.catseye.tc/The-Glosscubator/
- Add Rewriting Logic category. Chris Pressey 1 year, 3 months ago
- Add 4 papers and 2 books Chris Pressey 1 year, 3 months ago
- Add some works of fiction (as books). Chris Pressey 1 year, 3 months ago
- Add a formal language book, and count webpages more accurately! Chris Pressey 1 year, 3 months ago
- Add two books and rate two papers. Chris Pressey 1 year, 3 months ago
- Add, like, six papers. Chris Pressey 1 year, 3 months ago
- Add another paper about Modal Logic <-> Topology. Chris Pressey 1 year, 3 months ago
- Add a number of papers and books in various topics. Chris Pressey 1 year, 3 months ago
- Show the totals in the main README of the repo. Chris Pressey 1 year, 3 months ago
- Add some Numerical Analysis resources. Chris Pressey 1 year, 3 months ago