💾 Archived View for gemlog.blue › users › jiaming › 1606755461.gmi captured on 2022-04-28 at 20:04:37. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2021-12-04)

-=-=-=-=-=-=-

30/11/2020 (things i learned)

- Set up metamath practice for the soon coming speedrun

- Thought a lot about quines (slow progress trying to understand mm0)

- explored mm0 almost every inch but no easy lead into

- free software should be in classrooms NOW, renamed to generic things

like "browser" or "word processor"