💾 Archived View for gemlog.blue › users › jiaming › 1607022460.gmi captured on 2021-12-04 at 18:04:22. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
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