💾 Archived View for gemlog.blue › users › jiaming › 1620509792.gmi captured on 2024-03-21 at 18:38:30. Gemini links have been rewritten to link to archived content

View Raw

More Information

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