20/01/2021 (things i learned)
- Lean 3's features make a lot of sense
- Referring to mathlib for structuring my project is super helpful
- Textbook maths really isn't made to be formalised
- I wonder if Interval Arithmetic will be any better
- FSF members are really friendly and helpful (asked about Signal)
- m*nash finally replied! Officially switching to ECSE
- Tried out GNU Jami, I really dig it but it definitely is not for the
  general public :( No stickers and doesn't auto-sync between devices
  It's concept is super cool, really for an computationally independent
  society. Super easy to use given how secure and private actually
- Decentralized protocols are not extensible quickly enough...