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

• 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

jrpotter pushed to main at r/portfolio

• a0b45733bc Use check_origin for prod domains.

2024-05-18 18:17:05 +00:00

jrpotter pushed to main at r/portfolio

• 0411360113 Migrate to simple Phoenix application.

2024-05-18 17:54:38 +00:00

jrpotter pushed to main at r/notebook

• a81dcdf176 LCRS trees and set theory classes.

2024-05-17 18:33:16 +00:00

jrpotter pushed to main at r/nixos-configuration

• 5dfa4aaf96 reconn: Lower hide time to 8 minutes.

2024-05-17 17:44:40 +00:00

jrpotter pushed to main at r/notebook

• 037ea0f767 Propositional and predicate logic notes.

2024-05-17 16:46:04 +00:00