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

• 6ba651c41b Reorganize types of logic and formal systems.

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

jrpotter pushed to main at r/notebook

• 8530fbf45b Additional notes on assignment and textual substitution.

2024-07-20 18:33:10 +00:00

jrpotter pushed to main at r/notebook

• 2ab913f70e Prep for general textual substitution and assignment.

2024-07-20 15:42:06 +00:00

jrpotter pushed to main at r/nixos-configuration

• a47f17adf5 Bump notebook/quartz version.

2024-07-19 11:34:03 +00:00

jrpotter pushed to main at r/notebook

• 992dff94f4 Bump quartz version.

2024-07-19 11:32:08 +00:00

jrpotter pushed to main at r/nixos-configuration

• 0a5e9228a6 Update notebook/portfolio.
• d07816309d mullvad and vscode.
• Compare 2 commits »

2024-07-19 11:21:35 +00:00

jrpotter pushed to main at r/notebook

• a02bda1eed Fix up flashcards.
• 0c34a108cb Reorganize ARS and logic notes.
• 9acf6ca60e Beta-equality and dialetheism.
• af53475ee2 Notes on quotient sets, function kernels, and fibers.
• 77138cec45 Permissivism, raising money, condition codes.
• Compare 17 commits »

2024-07-19 11:19:57 +00:00

jrpotter pushed to main at r/notebook

• 6b13487ca4 Fix contraction flashcard.

2024-06-22 22:33:56 +00:00

jrpotter pushed to main at r/notebook

• b9b680585e beta-normal forms and ARSs.

2024-06-22 14:51:04 +00:00

jrpotter pushed to main at r/notebook

• 50ec869da9 Hashing, relations, VCs.
• f19695685c Daily notes.
• Compare 2 commits »

2024-06-22 01:30:06 +00:00

jrpotter pushed to main at r/notebook

• 7fc95d6533 Update quartz.

2024-06-15 18:25:35 +00:00

jrpotter pushed to main at r/notebook

• a73c219b53 Notes on alpha-conversion and beta-reduction.

2024-06-15 18:20:31 +00:00

jrpotter pushed to main at r/notebook

• 6c9e34e192 Expand notes on function categories.

2024-06-15 15:38:53 +00:00

jrpotter pushed to main at r/notebook

• 996f6c62da Notes on n-ary relations.

2024-06-14 01:48:00 +00:00

jrpotter pushed to main at r/notebook

• 420c0d3ab9 Fixup flashcards.

2024-06-13 12:35:21 +00:00

jrpotter pushed to main at r/notebook

• 9045439d0b Initial notes on open/closed addressing.

2024-06-12 13:35:25 +00:00

jrpotter pushed to main at r/notebook

• 7664346b62 Fixup flashcards. Cartesian products.

2024-06-11 11:20:26 +00:00

jrpotter pushed to main at r/notebook

• 044b58e0c6 Condition code registers.

2024-06-09 13:58:49 +00:00

jrpotter pushed to main at r/notebook

• cfa95d2390 Notes on ordered pairs.

2024-06-06 13:14:25 +00:00

jrpotter pushed to main at r/notebook

• 9c39cc2b49 Notes on equality and formal systems.

2024-06-03 13:56:02 +00:00