[ngrislain]

Yes, this year I'm going for Lean 4: 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]

Isn't the whole point of AoC to NOT use AI? Even says so in the FAQ

[ngrislain]

Yes, I'm doing it without AI to learn the language, nonetheless I do think that Lean 4 + AI is a super-powerful combination.

[tgv]

Like with the leader board. People do it to score points, not to learn. Hence, cheating.