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

• 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

jrpotter pushed to main at r/notebook

• 216ca47217 Bridge ideas on substition.

2024-05-30 02:40:41 +00:00

jrpotter pushed to main at r/notebook

• 016d498862 Fixup lambda calculus flashcards.

2024-05-29 12:31:00 +00:00

jrpotter pushed to main at r/notebook

• 32b180c83d Predicate transformer commands and git merge conflicts.

2024-05-27 20:01:52 +00:00

jrpotter pushed to main at r/notebook

• 47519891a4 More algebra of set identities and truth table analogs.

2024-05-27 09:58:21 +00:00

jrpotter pushed to main at r/notebook

• e87168b297 Additional lambda calculus notes.

2024-05-26 23:06:47 +00:00

jrpotter pushed to main at r/notebook

• 6b26e89d3c Move lambda calculus notes.

2024-05-24 09:40:07 +00:00

jrpotter pushed to main at r/notebook

• 8fda87c218 Initial notes on lambda-calculus.

2024-05-23 20:03:08 +00:00

jrpotter pushed to main at r/notebook

• adb805b61f Fixup flashcards.

2024-05-23 18:46:43 +00:00

jrpotter pushed to main at r/notebook

• 8f161f4f52 Algebra of sets and git flashcards.

2024-05-22 17:07:43 +00:00

jrpotter pushed to main at r/notebook

• b4e6daa052 Additional x86-64 instructions.

2024-05-22 14:34:47 +00:00

jrpotter pushed to main at r/notebook

• 2c08d82101 Unions/intersections and distributivity of disjunction.

2024-05-21 18:40:29 +00:00

jrpotter pushed to main at r/notebook

• d2755cd89a TODOs on notes.

2024-05-21 15:06:43 +00:00

jrpotter pushed to main at r/notebook

• 06e0550b38 Shifts and law of monotonicity.

2024-05-20 19:52:58 +00:00

jrpotter pushed to main at r/notebook

• 16ffe8d4ef Notes on hashing and unary/binary x86 ops.

2024-05-19 21:07:52 +00:00

jrpotter pushed to main at r/nixos-configuration

• e3aed7ec05 Bump reconn and portfolio.
• fa3999a2a8 Migrate portfolio to Phoenix server.
• Compare 2 commits »

2024-05-18 18:44:39 +00:00