💾 Archived View for gemlog.blue › users › jiaming › 1607022460.gmi captured on 2023-12-28 at 18:44:46. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2022-04-16)
-=-=-=-=-=-=-
03/12/2020 (things i learned)
- watched alot of Resident evil 6 indonesian gameplay
- Finally read through mathlib's computability
- getting an idea on how to carve my formalization path
- supertuxkart worked!!! Hosting on my rasoberry pi
- weird bug where certain tracks terminates the server...
- Learned ><> lang! Did evens, factorials and primes.
- esolangs are a rich culture