- 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