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

• f8de1e15a8 Macros and the recursion theorem.

2024-09-28 03:03:05 +00:00

jrpotter pushed to main at r/notebook

• b72a654a34 Jumps, conditional moves, and conditional transfer.

2024-09-26 13:33:08 +00:00

jrpotter pushed to main at r/notebook

• dd5769b630 Inductive sets, `enum` types, and BFS.

2024-09-22 22:31:05 +00:00

jrpotter pushed to main at r/notebook

• 2bf0ac9adb Notes on transitive sets.

2024-09-20 02:04:28 +00:00

jrpotter pushed to main at r/notebook

• 052b141e62 Daily notes.

2024-09-20 00:59:44 +00:00

jrpotter pushed to main at r/notebook

• 1e7eeb5604 Peano systems.

2024-09-15 22:23:21 +00:00

jrpotter pushed to main at r/notebook

• 619b39e32c Flashcard fixups.

2024-09-12 12:41:03 +00:00

jrpotter pushed to main at r/notebook

• b66cc885db Flashcard fixups.

2024-09-06 01:33:36 +00:00

jrpotter pushed to main at r/notebook

• c8d21b8aa6 C conversions.

2024-09-06 01:27:37 +00:00

jrpotter pushed to main at r/notebook

• 020f33db8a Standard graph representations, absolute value, triangle inequality.

2024-08-25 19:37:58 +00:00

jrpotter pushed to main at r/notebook

• 40e4b2207f Fixup flashcards.

2024-08-25 15:14:51 +00:00

jrpotter pushed to main at r/nixos-configuration

• 975c01e546 bump: `notebook` to `a0c7a4e`

2024-08-25 01:08:53 +00:00

jrpotter pushed to main at r/notebook

• a0c7a4e2a8 Better classify types according to ISO C11.

2024-08-25 00:48:49 +00:00

jrpotter pushed to main at r/notebook

• a351363254 Notes on supremums and infimums.

2024-08-24 19:48:09 +00:00

jrpotter pushed to main at r/notebook

• fb7cfabbd4 Update flashcards.

2024-08-24 15:28:06 +00:00

jrpotter pushed to main at r/notebook

• f08d90bed4 Archimedean property and natural numbers.

2024-08-24 08:08:04 +00:00

jrpotter pushed to main at r/notebook

• a35309911d LUBs and x86 registers.

2024-08-20 02:04:33 +00:00

jrpotter pushed to main at r/notebook

• 906ef40bc6 Fixup flagged flashcards.

2024-08-19 21:33:00 +00:00

jrpotter pushed to main at r/notebook

• 19f7f4f9aa More path/walk/trail notes.

2024-08-19 13:45:18 +00:00

jrpotter pushed to main at r/notebook

• c31e0c11c6 Distinguish walks, trails, and paths.

2024-08-18 15:05:01 +00:00