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...