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)