Tree @f6626a6 (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
- 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
- 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 547 web pages, 23 repositories, 130 papers, and 148 books in 82 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
@f6626a6012a8dd048890227682313a3b9c0cb79e
git clone https://git.catseye.tc/The-Glosscubator/
- Add a dozen or so repositories. It's growing. Chris Pressey 1 year, 3 months ago
- Move some links to be repositories. Chris Pressey 1 year, 3 months ago
- Update counts. Chris Pressey 1 year, 3 months ago
- Merge branch 'master' of https://codeberg.org/cpressey/Bookmarks Chris Pressey 1 year, 3 months ago
- Checkpoint, and add a paper. Chris Pressey 1 year, 3 months ago
- Check the consistency of the topics field on every entry. Chris Pressey 1 year, 3 months ago
- Support Repositories documents. Chris Pressey 1 year, 3 months ago
- Add Public Domain category. Chris Pressey 1 year, 3 months ago
- Yet more papers, collected from papers I'd like to [re]read. Chris Pressey 1 year, 3 months ago
- Add Parsing category, and a number of papers. Chris Pressey 1 year, 3 months ago