💾 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

View Raw

More Information

⬅️ 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