💾 Archived View for gemlog.blue › users › jiaming › 1611330347.gmi captured on 2021-12-04 at 18:04:22. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
22/01/2021 (things i learned)
- I've been skipping step 5 and 6 for proper handwashing...
- RAACA (real analysis: a constructive approach) is much better
suited for me than Constructive Analysis. Cleared up some
confusion regarding intuitionistic logic for me. i.e. regarding
Platonic agendas... and decidability.
- time capsules and other messages to the future are intriguing
- tried out Fennel yesterday (a lisp version of Lua) it's cool
- apparently i speak really loud when im excited loll