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

• a1447e824c Two's-complement addition and consolidate `shifts.md`.

2024-02-26 16:23:14 +00:00

jrpotter pushed to main at r/notebook

• eb3cc5743a Fixup flashcards.

2024-02-25 13:51:01 +00:00

jrpotter pushed to main at r/nixos-configuration

• c073ebf763 Drop snippets except UTF-8.

2024-02-24 23:10:17 +00:00

jrpotter pushed to main at r/notebook

• 794e9a63ed Begin notes on unsigned arithmetic.

2024-02-24 18:35:11 +00:00

jrpotter pushed to main at r/notebook

• 439e5f09e1 Add 101weiqi notes for today.

2024-02-24 16:19:05 +00:00

jrpotter pushed to main at r/notebook

• 4e4fce24f7 Add some bit shifting notes back.

2024-02-24 14:43:29 +00:00

jrpotter pushed to main at r/nixos-configuration

• f573cc7ada Update `lean.nvim`.

2024-02-24 14:15:46 +00:00

jrpotter pushed to main at r/notebook

• 2663b97c55 Add merge sort and more notes on floors/ceilings.

2024-02-24 02:43:41 +00:00

jrpotter pushed to main at r/notebook

• c1a19058ef Combinatorics matrix on counting strategies.

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

jrpotter pushed to main at r/notebook

• 15001806d0 Extension and truncation of integer-encoded binary.

2024-02-23 15:40:25 +00:00

jrpotter pushed to main at r/notebook

• 92e691e937 Update from "c" to "c17".

2024-02-23 14:40:48 +00:00

jrpotter pushed to main at r/nixos-configuration

• 471dafd656 chore: bump `notebook` to `a42ccc8`.

2024-02-22 21:26:19 +00:00

jrpotter pushed to main at r/notebook

• a42ccc880a More integer encoding notes.

2024-02-22 21:21:22 +00:00

jrpotter pushed to main at r/notebook

• 2538533aee Move notes on integer encoding.

2024-02-21 20:34:11 +00:00

jrpotter pushed to main at r/notebook

• d93f0d3cb6 Add more notes on two's-complement.

2024-02-21 20:00:35 +00:00

jrpotter pushed to main at r/notebook

• 2678c94882 Move hexadecimal to radices page.

2024-02-21 17:51:58 +00:00

jrpotter pushed to main at r/notebook

• 886fb34762 Encoding and inclusion/exclusion principle.

2024-02-20 23:50:39 +00:00

jrpotter pushed to main at r/notebook

• 8d6978c429 More combination-related notes and PIE.

2024-02-20 14:13:12 +00:00

jrpotter pushed to main at r/notebook

• 27adc88529 More notes on combinations/binomial coefficients.

2024-02-19 23:17:07 +00:00

jrpotter pushed to main at r/notebook

• 4fe3a60534 Notes on permutations and combinations.

2024-02-19 19:13:21 +00:00