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)