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

2024-09-15 22:23:21 +00:00

jrpotter pushed to main at r/notebook

2024-09-12 12:41:03 +00:00

jrpotter pushed to main at r/notebook

2024-09-06 01:33:36 +00:00

jrpotter pushed to main at r/notebook

2024-09-06 01:27:37 +00:00

jrpotter pushed to main at r/notebook

  • 020f33db8a Standard graph representations, absolute value, triangle inequality.

2024-08-25 19:37:58 +00:00

jrpotter pushed to main at r/notebook

2024-08-25 15:14:51 +00:00

jrpotter pushed to main at r/nixos-configuration

2024-08-25 01:08:53 +00:00

jrpotter pushed to main at r/notebook

  • a0c7a4e2a8 Better classify types according to ISO C11.

2024-08-25 00:48:49 +00:00

jrpotter pushed to main at r/notebook

2024-08-24 19:48:09 +00:00

jrpotter pushed to main at r/notebook

2024-08-24 15:28:06 +00:00

jrpotter pushed to main at r/notebook

  • f08d90bed4 Archimedean property and natural numbers.

2024-08-24 08:08:04 +00:00

jrpotter pushed to main at r/notebook

2024-08-20 02:04:33 +00:00

jrpotter pushed to main at r/notebook

2024-08-19 21:33:00 +00:00

jrpotter pushed to main at r/notebook

2024-08-19 13:45:18 +00:00

jrpotter pushed to main at r/notebook

  • c31e0c11c6 Distinguish walks, trails, and paths.

2024-08-18 15:05:01 +00:00

jrpotter pushed to main at r/notebook

2024-08-18 00:05:24 +00:00

jrpotter pushed to main at r/notebook

2024-08-17 20:25:03 +00:00

jrpotter pushed to main at r/notebook

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

jrpotter pushed to main at r/notebook

  • acce4a0d83 Notes on C's abstract state machine and basic types.

2024-08-17 01:46:19 +00:00

jrpotter pushed to main at r/notebook

  • 3f54cbe3b9 B-trees, preorders, and partial orders.

2024-08-16 13:56:53 +00:00