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