💾 Archived View for gemlog.blue › users › jiaming › 1610813344.gmi captured on 2022-04-28 at 20:03:42. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2021-12-04)
-=-=-=-=-=-=-
16/01/2021 (things i learned)
- Found the books for constructive analysis!
- intuitionistic philosophy is so pleasant to read
- proved 2 affine geometry codewars lean problems!
- solved mandelbrot sequence question from RAACA.djvu in Lean!
- synthetic geometry on lean is cooool
- the public keeps moving, everyone's just a small person
- nuclear powered football field sized tensegrity ball?
- new subject where everything is unfamiliar hard to start
but keep searching, and you'll soon piece everything together