Commit History
@master
git clone https://git.catseye.tc/The-Glosscubator/
-
Rate two more papers (in Model Checking).
Chris Pressey
11 months ago
-
Rate a Coq paper, and add commentary.
Chris Pressey
11 months ago
-
Add book chapter and extract ratings from Modal Logic papers.
Chris Pressey
11 months ago
-
Extract more ratings, add more commentary.
Chris Pressey
11 months ago
-
Begin the project of obtaining ratings from a commentary file.
Chris Pressey
11 months ago
-
Rate a few Apple II books.
Chris Pressey
11 months ago
-
Remove duplicated link and fix counts.
Chris Pressey
11 months ago
-
Merge branch 'master' of https://codeberg.org/cpressey/Bookmarks
Chris Pressey
11 months ago
-
Add a recent model-checking paper.
Chris Pressey
11 months ago
-
Rate more resources.
Chris Pressey
1 year, 3 days ago
-
More ratings.
Chris Pressey
1 year, 3 days ago
-
Add Chaos Theory as a topic, and a lovely old lesson on it.
Chris Pressey
1 year, 3 days ago
-
Update some ratings.
Chris Pressey
1 year, 3 days ago
-
Add two more papers.
Chris Pressey
1 year, 3 days ago
-
Add two papers (nominally in Philosophy)
Chris Pressey
1 year, 3 days ago
-
Add two papers.
Chris Pressey
1 year, 4 days ago
-
Add a book, a repository, and reconsider some ratings.
Chris Pressey
1 year, 4 days ago
-
Add two papers on the Rho Calculus (Term Rewriting).
Chris Pressey
1 year, 4 days ago
-
Add two more Apple II books and a 6502 Repository.
Chris Pressey
1 year, 5 days ago
-
More Apple II resources.
Chris Pressey
1 year, 5 days ago
-
Add Apple II category.
Chris Pressey
1 year, 5 days ago
-
Rate some resources.
Chris Pressey
1 year, 5 days ago
-
Rate a few of these resources.
Chris Pressey
1 year, 7 days ago
-
Add Scheme and x86 topics.
Chris Pressey
1 year, 7 days ago
-
Add 5 web pages and 2 repositories.
Chris Pressey
1 year, 7 days ago
-
Add an assortment of resources.
Chris Pressey
1 year, 7 days ago
-
Add Python category, and a couple of Unification repositories.
Chris Pressey
1 year, 7 days ago
-
Make future-topics greppable
Chris Pressey
1 year, 7 days ago
-
Add Term Rewriting topic, and a book, and a paper.
Chris Pressey
1 year, 7 days ago
-
Move the ratings-based lists.
Chris Pressey
1 year, 8 days ago