💾 Archived View for gemlog.blue › users › jiaming › 1620509792.gmi captured on 2022-07-16 at 17:29:56. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2021-12-04)
-=-=-=-=-=-=-
08/05/2021 (things i learned)
- Mandela 2021 is amazing
- fuck israel
- dbp definition of aktivisme bad
- intro to how native numerical libraries are made
is unexpectedly comprehensible
- metamath verifier in lean4 :o my heroo
- bad dreams long lines old friends