It's now the winter holidays and I have about 2 weeks off. I have a few things I want to do:
- Get a score of <=75 on the Kaggle tree packing contest (without copying some public notebook)
- Prove termination of this function in a reasonable way (or learn enough to be convinced that more convoluted methods are the only way you can do it)
- Translate a program I wrote at work from Python to Rust
If I can do these three things I'll be very happy.