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-25 05:40:16 +00:00
6d130cdc3b Arrays with constant time indexing and slicing
thatonelutenist pushed to trunk at Idris/advent 2025-01-23 06:13:18 +00:00
49525e43a1 Year 2015 Day 11 Part 2
d84f361577 Note on subscribing to rss
1ee2d1b1e9 General revisions, improve README
9e9d13c45d Add references heading to day 11
b0882a899e Link to AoC problem in day module
Compare 6 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-23 06:06:31 +00:00
dd0565fd12 Note on subscribing to rss
thatonelutenist pushed to trunk at Idris/advent 2025-01-23 05:57:36 +00:00
c47f522c50 General revisions, improve README
7e05cc1e8b Add references heading to day 11
f7afecb550 Link to AoC problem in day module
8162210b21 Remove defective Grid module for now
76fcb6c34b Revise Runner
Compare 8 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-23 03:23:27 +00:00
13b05ceb86 Year 2015 Day 10 Part 2
thatonelutenist pushed to trunk at Idris/advent 2025-01-22 02:37:21 +00:00
2fb0a075a7 Year 2015 Day 10 Part 2
thatonelutenist pushed to trunk at Idris/advent 2025-01-20 07:06:25 +00:00
825c9f0446 Year 2015 Day 10 Part 2
thatonelutenist pushed to trunk at Idris/advent 2025-01-20 07:04:54 +00:00
56411b2518 Year 2015 Day 10 Part 2
thatonelutenist pushed to trunk at Idris/advent 2025-01-20 07:00:21 +00:00
71c29bbea4 Year 2015 Day 10 Part 1
0f6d2c1869 Add lazy list methods to util
12305cc232 Add repeatN to Util
fe4a20ade6 Add Util.Digits modules
Compare 4 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-20 05:02:03 +00:00
bfe2b577c1 Add Util.Digits modules
cf3a81fa62 Year 2015 Day 9 Part 2
Compare 2 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-20 04:54:38 +00:00
82268350cb Add Util.Digits modules
bef05278c2 Typo fix
Compare 2 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-19 23:53:28 +00:00
ed3d8a86ca Year 2015 Day 9 Part 2
c46d3d911b Year 2015 Day 9 Part 1
8cd56f32ab Add rotations to Util
d343cc37a3 Add List.contains to util
Compare 4 commits »
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 »