27/01/2021 (things i learned)
- importance of finance technology
- lol might spring into a route of learning
- capitalism is so so so fucked up
- church turing is an interesting axiom... Incompatible
  with classical but classical in its own way (coq)
- tap leaking bad cholorofoam smell
- chronological twitter is also addictive ahaha