22/01/2021 (things i learned)
- I've been skipping step 5 and 6 for proper handwashing...
- RAACA (real analysis: a constructive approach) is much better
  suited for me than Constructive Analysis. Cleared up some
  confusion regarding intuitionistic logic for me. i.e. regarding
  Platonic agendas... and decidability.
- time capsules and other messages to the future are intriguing
- tried out Fennel yesterday (a lisp version of Lua) it's cool
- apparently i speak really loud when im excited loll