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

jrpotter pushed to main at r/notebook

• b800dc2ab8 Additional heap/heapsort flashcards.

2024-04-29 15:11:18 +00:00

jrpotter pushed to main at r/notebook

• d04bd101ad Heaps and science of programming notes.

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

jrpotter pushed to main at r/nixos-configuration

• 67f41c292d Chore: bump versions.

2024-04-28 13:37:36 +00:00

jrpotter pushed to main at r/portfolio

• 88457c1f03 Update hide-and-seek image.

2024-04-28 13:34:53 +00:00

jrpotter pushed to main at r/notebook

• 9ee37c8b7d Refine notes on complete/perfect trees.

2024-04-26 00:01:18 +00:00