jrpotter pushed to main at r/notebook
- 809414ede4 More floating-point notes.
jrpotter pushed to main at r/nixos-configuration
- 7c5e105c11 chore: bump `notebook` to `444418d`.
jrpotter pushed to main at r/notebook
- 444418d78e IEEE floating-point notes.
- db1d3dd14e Week of notes.
- Compare 2 commits »
jrpotter pushed to main at r/notebook
- cdb916c2b4 More integer encoding, git objects, floor/ceiling.
jrpotter pushed to main at r/nixos-configuration
- e4c0f082ac chore: bump `notebook` to `1651c9d`.
jrpotter pushed to main at r/notebook
- 1651c9d6c3 Add notes on next lexicographic ordering.
jrpotter pushed to main at r/notebook
- ec45aad8c3 Updates on how we generate permutations.
jrpotter pushed to main at r/nixos-configuration
- ba96401be7 Fix fixwinheight by specifying height explicitly.
jrpotter pushed to main at r/notebook
- 32bd0e51ce Arithmetic and geometric sequences.
jrpotter pushed to main at r/notebook
- 6d44e6389b Two's-complement multiplication.
jrpotter pushed to main at r/nixos-configuration
- a5401bb9a8 Convert single quote to double quotes.
- e909a2c826 Update ' to " and remove phobos.
- 6f15bd3695 Let dap toggle terminal/repl.
- f9beed8b30 wezterm: disable missing glyphs warning.
- Compare 4 commits »
jrpotter pushed to main at r/notebook
- 5cc975f146 Little o- and omega-notation.
jrpotter pushed to main at r/notebook
- aff3dbf43d Notes on triangular and square numbers.
jrpotter pushed to main at r/notebook
- 3cc9d74d05 Create new sequences directory.
jrpotter pushed to main at r/notebook
- a08a0bbee9 Add combinatoric punnett squares.