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/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

jrpotter pushed to main at r/nixos-configuration

• 150c10e6b1 reconn: Update curses.

2024-05-16 19:10:01 +00:00

jrpotter pushed to main at r/notebook

• 5eb338be7e Predicate transformers, set axioms, `leaq`.

2024-05-15 13:59:34 +00:00

jrpotter pushed to main at r/nixos-configuration

• 91c2270cea reconn: Add favicon.

2024-05-14 16:37:55 +00:00

jrpotter pushed to main at r/notebook

• b865693d9d Notes on graphs and git remotes.

2024-05-13 18:12:29 +00:00

jrpotter pushed to main at r/notebook

• 5250490019 Notes on graphs and git remotes.

2024-05-13 18:12:06 +00:00

jrpotter pushed to main at r/nixos-configuration

• e4c345e16d Bump reconn version.

2024-05-13 14:54:04 +00:00

jrpotter pushed to main at r/notebook

• c574e3363d Graphs and daily notes.

2024-05-13 12:38:09 +00:00

jrpotter pushed to main at r/notebook

• 48a4f9127f Intrusive containers and graph isomorphisms.

2024-05-12 18:30:48 +00:00

jrpotter pushed to main at r/notebook

• 5f8017ba3d Basic ADTs.

2024-05-12 15:19:34 +00:00

jrpotter pushed to main at r/nixos-configuration

• 0ed7bd6e27 reconn: Cosmetic changes.

2024-05-09 21:54:13 +00:00

jrpotter pushed to main at r/notebook

• a9d0925080 Copenhagen notes.

2024-05-09 20:29:24 +00:00

jrpotter pushed to main at r/notebook

• 464512dc38 ADTs, data structures, and additional notes on MOV instructions.

2024-05-02 19:23:32 +00:00

jrpotter pushed to main at r/notebook

• fc098cdaf2 Induction and heaps.

2024-05-02 13:24:10 +00:00

jrpotter pushed to main at r/notebook

• 1ab9be2fd4 Add program assertions.

2024-04-29 20:47:47 +00:00

jrpotter pushed to main at r/notebook

• 09d6c5c1b8 Finished notes on heapsort.

2024-04-29 17:13:09 +00:00