aoc-2023/Day14.lean, branch main Advent of Code 2023 - I'm still learning Lean4, so please don't judge. https://git.grois.info/aoc-2023/atom/Day14.lean?h=main 2024-12-17T18:47:14Z Lean 4.14 2024-12-17T18:47:14Z Andreas Grois andi@grois.info 2024-12-17T18:47:14Z urn:sha1:19d4b4e41a967c0c8b3329cd1c4a0617178c5a94 Change all imports from Lean to Std to reduce binary size. 2024-11-29T22:08:15Z Andreas Grois andi@grois.info 2024-11-29T22:08:15Z urn:sha1:611c369de1874950682501d4454cce3e73c4d6cd Reduces binary size by more than a factor of 10... https://github.com/leanprover/lean4/issues/5274 Minor optimization of day 14 part 2. 2024-11-29T21:31:49Z Andreas Grois andi@grois.info 2024-11-29T21:31:49Z urn:sha1:368c506bc365162cd22f4001ab729ee3df110b79 The previous code kept using the Part2Memory even after a cycle had been found. While this didn't break anything, it's a waste of CPU time. Day14 Part 2 2024-11-29T21:23:40Z Andreas Grois andi@grois.info 2024-11-29T21:23:40Z urn:sha1:793bc1538543bbfb48704bab071c6719c6da4aa6 Day 14, Part 1. 2024-11-28T20:53:47Z Andreas Grois andi@grois.info 2024-11-28T20:53:47Z urn:sha1:4848d2516919ab7e5652b20e2b33e7cc39a9d4d9