💾 Archived View for gemlog.blue › users › jiaming › 1612115124.gmi captured on 2022-07-16 at 17:32:33. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2022-04-22)
-=-=-=-=-=-=-
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