jrpotter

0 Followers · 0 Following

• Joined on 2023-12-23

Repositories Projects Packages Public Activity Watched Repositories

Loading Heatmap…

jrpotter pushed to main at r/notebook

• d5bb63618f C lvalues/rvalues, objects, and values.

2024-08-13 01:05:30 +00:00

jrpotter pushed to main at r/notebook

• 9101fa8a7a More SET instruction flashcards.

2024-08-12 12:45:11 +00:00

jrpotter pushed to main at r/notebook

• b4327a288c Notes on B-tree insertions.

2024-08-10 20:32:08 +00:00

jrpotter pushed to main at r/notebook

• 23635c0326 Addition B-tree flashcards.

2024-08-10 11:28:08 +00:00

jrpotter pushed to main at r/notebook

• 3f1b3ec054 B-trees, binary trees, and trichotomy.

2024-08-09 23:16:13 +00:00

jrpotter pushed to main at r/notebook

• 618e016c1a Reorganizing C declarations file.

2024-08-04 15:55:34 +00:00

jrpotter created branch c-declarations in r/notebook

2024-08-04 14:12:57 +00:00

jrpotter pushed to c-declarations at r/notebook

• 78c17509bf Reorganizing C declarations file.

2024-08-04 14:12:57 +00:00

jrpotter pushed to main at r/notebook

• 2c099dff15 Notes on binary search trees.

2024-08-03 19:31:42 +00:00

jrpotter pushed to main at r/notebook

• 0136ab29cf Flashcard fixups.

2024-08-03 08:02:30 +00:00

jrpotter pushed to main at r/nixos-configuration

• 49bd904b2f bump: notebook to 4dc9e0f.

2024-07-30 12:44:51 +00:00

jrpotter pushed to main at r/notebook

• 4dc9e0fab1 Alternative commands, BSTs, RDF.

2024-07-30 12:25:35 +00:00

jrpotter pushed to main at r/notebook

• d0da1e0453 More flashcards on URIs.

2024-07-29 00:31:34 +00:00

jrpotter pushed to main at r/notebook

• 6e80a5ce70 Merge obsidian-to-anki-plugin data.
• f9d4aba1d7 Notes on RDF and URIs.
• Compare 2 commits »

2024-07-28 23:51:20 +00:00

jrpotter pushed to main at r/notebook

• 1d0872a032 Fixup flashcards.

2024-07-28 23:28:22 +00:00

jrpotter pushed to main at r/notebook

• 77fb7cfa0f Formal systems and hashing.

2024-07-27 13:02:38 +00:00

jrpotter pushed to main at r/notebook

• 0eeb72b9ec Notes on proof methods.

2024-07-24 12:31:21 +00:00

jrpotter pushed to main at r/notebook

• 5dc598393e More natural deduction and term sheet overview.

2024-07-22 16:58:59 +00:00

jrpotter pushed to main at r/notebook

• b498097731 Introductory notes on natural deduction.

2024-07-22 14:25:02 +00:00

jrpotter pushed to main at r/notebook

• b9504d7857 Nest abstract rewriting systems under formal systems.

2024-07-21 12:54:16 +00:00