Commit History
@master
git clone https://git.catseye.tc/The-Glosscubator/
-
Add more PLDI bookmarks.
Chris Pressey
1 year, 1 month ago
-
Add some bookmarks about PLDI.
Chris Pressey
1 year, 1 month ago
-
More specification and relational programming bookmarks.
Chris Pressey
1 year, 1 month ago
-
Add some bookmarks about Type Theory.
Chris Pressey
1 year, 1 month ago
-
Curate the Macros bookmarks a little bit.
Chris Pressey
1 year, 1 month ago
-
Add some bookmarks about macros.
Chris Pressey
1 year, 1 month ago
-
Format links.
Chris Pressey
1 year, 1 month ago
-
Place this distribution under the CC0 license.
Chris Pressey
1 year, 1 month ago
-
Add some more Lambda Calculus bookmarks.
Chris Pressey
1 year, 1 month ago
-
Add some bookmarks about F* and refinement.
Chris Pressey
1 year, 1 month ago
-
Add some bookmarks about Complexity Theory. Tidy up Logic.
Chris Pressey
1 year, 1 month ago
-
Add some bookmarks about Logic and some about Specification.
Chris Pressey
1 year, 1 month ago
-
Adjust some bookmarks.
Chris Pressey
1 year, 1 month ago
-
Add some bookmarks about Theorem Proving and Model Checking.
Chris Pressey
1 year, 1 month ago
-
Add some bookmarks about Agile development topics.
Chris Pressey
1 year, 1 month ago
-
Add bookmarks about Games, curate GameDev bookmarks.
Chris Pressey
1 year, 1 month ago
-
Add some very uncurated bookmarks about Mathematics.
Chris Pressey
1 year, 1 month ago
-
Add more Electronics bookmarks, shuffle around some others.
Chris Pressey
1 year, 1 month ago
-
Spiff up Physics bookmarks.
Chris Pressey
1 year, 1 month ago
-
Add more Physics bookmarks.
Chris Pressey
1 year, 1 month ago
-
Add one Prolog link.
Chris Pressey
1 year, 1 month ago
-
Add some bookmarks about Formal Language Theory.
Chris Pressey
1 year, 1 month ago
-
Add bookmarks on relational programming (of which miniKanren is.)
Chris Pressey
1 year, 1 month ago
-
Add some miniKanren bookmarks.
Chris Pressey
1 year, 1 month ago
-
Add some bookmarks about Haskell.
Chris Pressey
1 year, 1 month ago
-
Add some Literature bookmarks.
Chris Pressey
1 year, 1 month ago
-
Add some bookmarks on GameDev.
Chris Pressey
1 year, 1 month ago
-
Add some bookmarks on Genetic Programming.
Chris Pressey
1 year, 1 month ago
-
Add some bookmarks about Electronics.
Chris Pressey
1 year, 1 month ago
-
Add some bookmarks about Physics and AI.
Chris Pressey
1 year, 1 month ago