History of
by-rating
@master
git clone https://git.catseye.tc/The-Glosscubator/
-
Add another Type Theory paper.
Chris Pressey
1 year, 2 months ago
-
Add a very interesting web page about Railway Oriented Programming.
Chris Pressey
1 year, 2 months ago
-
Add a very interesting paper on Dynamic Programming.
Chris Pressey
1 year, 2 months ago
-
Add an Order Theory paper.
Chris Pressey
1 year, 2 months ago
-
Add two books and a paper.
Chris Pressey
1 year, 2 months ago
-
Regularize all Papers, convert script to check and rebuild.
Chris Pressey
1 year, 2 months ago
-
Regularize papers up to M.
Chris Pressey
1 year, 2 months ago
-
Regularize papers up to L.
Chris Pressey
1 year, 2 months ago
-
Regularize more papers.
Chris Pressey
1 year, 2 months ago
-
Rate and short comment one paper.
Chris Pressey
1 year, 2 months ago
-
Regularize papers up to K.
Chris Pressey
1 year, 2 months ago
-
Begin regularizing the Papers to a schema.
Chris Pressey
1 year, 2 months ago
-
Finish regularizing the Book entries wrt the Book schema.
Chris Pressey
1 year, 2 months ago
-
Extract the remaining ratings.
Chris Pressey
1 year, 2 months ago
-
Extract more ratings. Remove a duplicate.
Chris Pressey
1 year, 2 months ago
-
Extract many more ratings.
Chris Pressey
1 year, 2 months ago
-
Extract ratings from Programming Languages and Logic.
Chris Pressey
1 year, 2 months ago
-
Delete the Rewriting Logic topic, merge into Term Rewriting.
Chris Pressey
1 year, 2 months ago
-
Rate two more papers (in Model Checking).
Chris Pressey
1 year, 2 months ago
-
Rate a Coq paper, and add commentary.
Chris Pressey
1 year, 2 months ago
-
Add book chapter and extract ratings from Modal Logic papers.
Chris Pressey
1 year, 2 months ago
-
Begin the project of obtaining ratings from a commentary file.
Chris Pressey
1 year, 2 months ago
-
Rate a few Apple II books.
Chris Pressey
1 year, 2 months ago
-
Remove duplicated link and fix counts.
Chris Pressey
1 year, 2 months ago
-
Merge branch 'master' of https://codeberg.org/cpressey/Bookmarks
Chris Pressey
1 year, 2 months ago
-
Add a recent model-checking paper.
Chris Pressey
1 year, 2 months ago
-
Rate more resources.
Chris Pressey
1 year, 2 months ago
-
More ratings.
Chris Pressey
1 year, 2 months ago
-
Add Chaos Theory as a topic, and a lovely old lesson on it.
Chris Pressey
1 year, 2 months ago
-
Update some ratings.
Chris Pressey
1 year, 2 months ago