31/01/2021 (things i learnt)
- dev.to is interesting, not for me
- codeberg.org THIS IS THE ONE
- leftpadding is a very good formal verification example
- Xiaomi can't disable wifi for specific apps?
- hm i should study NNG web framework.. feasible to minimize & translate?
- maybe learn electron? Ugh, wish i could contribute to stuff (riot.im)
- whatsapp no BM???
- monomorphic vs polymorphic functions
- philosophy kids in US can learn topology :O
- libreoffice can export table of text to docx wonderfully