TODO
- finish vlog + edit?
- college research stuff
6.6
- authored some flows content
- finished summer schedule for college stuff
- finished survivor bias draft
6.5
- created tetrar
6.4
- solved two deques: https://atcoder.jp/contests/arc221/submissions/76395730
- finished teacher rec form
- got claude to solve an actual akari puzzle in lean!