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