This is my first AOC, and the math days have been my favorite so far. It’s always interesting seeing to see who goes for a general linear algebra solution vs a middle school solution for part one lol. But yeah, I also used z3 for my part 2 solution.
I definitely want to get better at linalg, so that's why I spent so much time on it today, especially in part 2. It's pretty rough trying to learn it on the fly in puzzle format though. I want to find another way to get better acquainted with it this year.
I'm super impressed and humbled that you were able to produce a video for every single day of AOC.
This is my first AOC, and the math days have been my favorite so far. It’s always interesting seeing to see who goes for a general linear algebra solution vs a middle school solution for part one lol. But yeah, I also used z3 for my part 2 solution.
I definitely want to get better at linalg, so that's why I spent so much time on it today, especially in part 2. It's pretty rough trying to learn it on the fly in puzzle format though. I want to find another way to get better acquainted with it this year.
@@chrisbiscardi ruclips.net/video/kjBOesZCoqc/видео.html This playlist is the answer.
What is your VsCode theme please
Night owl