Hacker News new | ask | show | jobs
by ngrislain 199 days ago
Advent of Code 2025 in Lean...