Yes, this year I'm going for Lean 4: https://github.com/ngrislain/lean-adventofc... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		ngrislain 5 months ago \| parent \| context \| favorite \| on: Advent of Code 2025 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 5 months ago [–]

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

ngrislain 5 months 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.

tgv 5 months ago | | [–]

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

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact