Very nice approach, I was thinking about how to do it, but couldn’t figure it out in the end, and just did memoization manually.
I’ll revisit my code later and I’ll try to use your approach.
Very nice approach, I was thinking about how to do it, but couldn’t figure it out in the end, and just did memoization manually.
I’ll revisit my code later and I’ll try to use your approach.
Hello Bluesky! (and bye-bye Twitter).
I just wrote a blog post about a bump in the road along the way to teaching a computer a proof of Fermat's Last Theorem.
xenaproject.wordpress.com/2024/12/11/f...
Looks great. I’m also taking this AoC to learn #Lean4
Here are my solutions: github.com/mfornet/adve...