January:

• a dozen or so hours on post about terminal values, backward induction, and freedom/autonomy.
• Half of book Software Foundations Volume 2: Programming Language Foundations
• the Monad Challenges https://mightybyte.github.io/monad-challenges/
• transcripts for EA Philly Infodemics event
• applying to universities
• AI Safety Camp 5
• Oxford In-depth Fellowship

February

• second half of book Software Foundations volume 2
• electromagnetism study for uni
• AI Safety Camp 5 (code)