Getting closer to the event (less than 1 week now!) so figured I would ask this question
Ive been mostly just doing some problems from other years to get used to solving things in rust
I'm currently reading Functional Programming in Lean, hoping to learn enough about the language that I can mange to implement at least the first few riddles in Lean4.
I've set myself the goal that I'll prove to the compiler that all code I write terminates, instead of just throwing Lean's
partialkeyword on functions where the compiler can't prove this automatically...I wanted to do some AoC 2016 riddles as a warmup, but I realized that I'm not good enough in Lean yet to do that, and decided to rather solve the exercises given in the aforementioned book.
I'm optimistic that I'll manage to finish the book still this month, but it's getting tight. I'm now at the beginning of chapter 8 out of 10, but the last 3 chapters deal with those aspects of Lean that are completely unfamiliar to me...
I've done mine in Python in the past, but now everything I do is in JavaScript, so that's what I'll be using this year
Since you already know js, consider trying typescript. If you want learn/train more than just algorithm / problem solving.
