Comment by ngrislain

Comment by ngrislain 2 days ago

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 2 days ago

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

Reply View 2 replies

ngrislain a day 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.

Reply View | 0 replies
tgv 2 days ago

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

Reply View | 0 replies