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