💾 Archived View for gemlog.blue › users › jiaming › 1626718342.gmi captured on 2023-12-28 at 18:42:28. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2021-12-04)
-=-=-=-=-=-=-
- TRX: A Formally Verified Parser Interpreter in COQ
I think parsing's gotta be my number obstacle to overcome
- HOLY SHIT single file torrents on lib gen works!!!
- restofworld.org has super good articles
- u can curl bit.ly shortenend urls
- i DO have nodejs & npm on my laptop
- libgen torrents books by the thousands?? :o
- monash fun & boring no satisfaction whatsoever
- lemmy's hompage ISNT ARCHIVED
- https://github.com/nipil/transmission-torrent-statistics
ooh