💾 Archived View for gemlog.blue › users › jiaming › 1611165026.gmi captured on 2022-04-28 at 20:03:35. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2021-12-04)
-=-=-=-=-=-=-
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...