💾 Archived View for gemlog.blue › users › jiaming › 1612210564.gmi captured on 2023-12-28 at 18:44:16. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2021-12-04)
-=-=-=-=-=-=-
01/02/2021 (things i learned)
- rmb to mentally prepare for loss...
- rough plan of "The Politics of Mathematics"
- Constructive Analysis has wonderful proofs <3 that i can understand!
- Computability is so nuanced, SO MANY ways of thinking about it...
I wonder how it can be done constructively and meaningfully
- AGPL just means provide source code for servers!
- Ishango bone is too vague...
- sage takes sooo long to start up...
- so hard to focus on the most important politics when actually socialising..
- time to buy more belalang!!!
Places~~:
small office like area leading to (old friend's house near 1U)'s upstairs
while reading FSF forum & Ishango Bone & lean-GPT(top tier info in discord)