18 ms·

Yes, this year I'm going for Lean 4: https://github.com/ngrislain/lean-adventofcode-2025 https://github.com/ngrislain/lean-adventofcode-2025 It's a great langu

Yes, this year I'm going for Lean 4: https://github.com/ngrislain/lean-adventofcode-2025 https://github.com/ngrislain/lean-adventofcode-2025 It's a great language. It's dependent-types / theorem-proving-oriented type-system combined with AI assistants makes it the language of the future IMO.

rootnod3 10mo ago
Isn't the whole point of AoC to NOT use AI? Even says so in the FAQ
- tgv 10mo ago
  Like with the leader board. People do it to score points, not to learn. Hence, cheating.
- ngrislain 10mo ago
  Yes, I'm doing it without AI to learn the language, nonetheless I do think that Lean 4 + AI is a super-powerful combination.