It's slower than it has a right to be, since it builds a custom file and watermarks each page prior to download. If you're not logged in (I'm not sure why one would be) it watermarks each page as "guest" and with today's date, which seems a little pointless.
My problem is that there are too many interesting looking books about rational decision making, so like the donkey between the bales of hay I read none of them.
I like Conor McBride's writing style. But a lot of the files are stuff I want to look at someday but don't have time to read or need more background before reading. I need to sort them out in Zotero, they aren't curated.
One thing that I did discover is that PhD theses are a great resource. They tend to have more exposition of background information - perhaps because they're intended for a wider audience. Papers often assume you've been working in the field for a while and will assume you're already familiar with notation, terms, and results from the field.
I'm reading through Jesper Cockx' thesis, because I'm interested in how pattern matching is translated to eliminators, and Sebastian Ulrich's thesis, because I want to know how Lean4 works. My current goal is to learn how dependent typed languages are implemented and write a self-hosted dependent typed language, but I have little spare time and keep getting side-tracked.
10 comments
[ 2.8 ms ] story [ 39.8 ms ] threadIt's slower than it has a right to be, since it builds a custom file and watermarks each page prior to download. If you're not logged in (I'm not sure why one would be) it watermarks each page as "guest" and with today's date, which seems a little pointless.
I like Conor McBride's writing style. But a lot of the files are stuff I want to look at someday but don't have time to read or need more background before reading. I need to sort them out in Zotero, they aren't curated.
One thing that I did discover is that PhD theses are a great resource. They tend to have more exposition of background information - perhaps because they're intended for a wider audience. Papers often assume you've been working in the field for a while and will assume you're already familiar with notation, terms, and results from the field.
I'm reading through Jesper Cockx' thesis, because I'm interested in how pattern matching is translated to eliminators, and Sebastian Ulrich's thesis, because I want to know how Lean4 works. My current goal is to learn how dependent typed languages are implemented and write a self-hosted dependent typed language, but I have little spare time and keep getting side-tracked.