Nathan McCarty thatonelutenist · any pronouns
0 followers · 0 following
  • Joined on 2024-12-27
Repositories
1
 Projects Packages Public activity Starred repositories
thatonelutenist pushed to trunk at Idris/advent 2025-01-17 18:50:02 +00:00
ca07f2995e Year 2015 Day 8 Part 2
thatonelutenist pushed to trunk at Idris/advent 2025-01-17 18:28:28 +00:00
9a16de8be7 Year 2015 Day 8 Part 1
thatonelutenist pushed to trunk at Idris/advent 2025-01-17 18:21:23 +00:00
454c4d2de1 Year 2015 Day 8 Part 1
8a01c46441 Add subset proofs to util
a83cef8360 Add choose utilties to util
b0e7c1aa91 Reformat markdown
Compare 4 commits »
thatonelutenist created branch wat in Idris/advent 2025-01-15 02:52:05 +00:00
thatonelutenist pushed to wat at Idris/advent 2025-01-15 02:52:05 +00:00
9721602598 wat
62510c6755 Day 8 template
a83cef8360 Add choose utilties to util
b0e7c1aa91 Reformat markdown
Compare 4 commits »
thatonelutenist pushed to trunk at Nix/System 2025-01-14 20:12:39 +00:00
9b150da119 Add minecraft
e928ecd667 More crash utilities
471766ef64 Add cpu-power gui
443cf97123 More power stuff
d1a386edf5 More hardware configuration for crash
Compare 7 commits »
thatonelutenist pushed to trunk at Nix/System 2025-01-13 19:57:57 +00:00
de8c6e1327 GC slightly less agressively
f6297461f5 Add markdown devshell
29fd118635 Reformat
ac3825e6f9 Tweaks
89082006fe Crash tweaks
Compare 6 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-11 03:48:15 +00:00
5a313c952f Year 2015 Day 7 Part 2
fc7f79a96a Year 2015 Day 7 Part 1
080b9f8c77 Include year in markdown headers
feb75002bd Readme fix
Compare 4 commits »
thatonelutenist pushed to trunk at Nix/System 2025-01-10 20:32:26 +00:00
6626767ef2 More programs for crash
thatonelutenist pushed to trunk at Idris/advent 2025-01-10 19:15:28 +00:00
472dc28c3b Year 2015 Day 6 Part 2
20dca6b098 Year 2015 Day 6 Part 1
Compare 2 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-10 00:30:18 +00:00
e2a26d9519 Overhaul logging
thatonelutenist pushed to trunk at Nix/System 2025-01-09 17:48:12 +00:00
0b933dc9a5 Auto-optimize store
8df25e2fc8 Basic desktop application configuration
faef61c066 Add syncthing
bcd0288107 Seperate out raku from idris environment
99c4179cb5 Emacs service
Compare 8 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-09 13:40:50 +00:00
fb2f643efa Make logging lazy in the string
2c012c57db Add cartProd to util
fde322e772 Add grid module
Compare 3 commits »
thatonelutenist pushed to trunk at Nix/System 2025-01-09 13:39:35 +00:00
bac7bcb3a4 wsl tweaks
73a5cb921a Installer
e7b5b241c0 Add nixos-hardware
6077a6bf8f Add openssl to idris shell
ec0c415b1b update flake
Compare 6 commits »
thatonelutenist pushed to trunk at Nix/System 2025-01-09 04:17:54 +00:00
d35d212949 Add crash ssh key
thatonelutenist pushed to trunk at Idris/advent 2025-01-07 18:06:44 +00:00
f2070b7513 Year 2015 Day 5 Part 2
thatonelutenist pushed to trunk at Idris/advent 2025-01-07 16:47:17 +00:00
6c757cfde7 Year 2015 Day 5 Part 1
9301eb303c Add isSubstr to Util
Compare 2 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-07 14:35:04 +00:00
adc6b0a4a6 Year 2015 Day 4 Part 2
c873b7282e Year 2015 Day 4 Part 1
Compare 2 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-07 14:34:15 +00:00
9917efbe5b Year 2015 Day 4 Part 2
5cbecc26f9 Year 2015 Day 4 Part 1
Compare 2 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-06 19:33:01 +00:00
fdfa15daf8 Year 2015 Day 3 Part 2
30917830df Year 2015 Day 3 Part 1
e0d09d2379 Add set length to Util
061c733688 Add basic vector functions to Util
Compare 4 commits »