3 ms·

Handbook of Rationality (2021)

31 points by Anon84 3y ago

justin66 3y ago
There's a free pdf download, which is nice. 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.
Luc 3y ago
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.
- dunham 3y ago
  Fortunately I am not tempted by that particular bale of hay, but I do have 316 pdf files on my desktop. (Mostly about type theory.)
  - shadowfox 3y ago
    That seems like a very interesting collection :) Do you have any recommendations for unusual or particularly interesting ones?
    - dunham 3y ago
      (I didn't notice the reply until now.) 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.
haltist 3y ago
Someone should train an LLM on handbooks of rationality to see what happens.
- joeamroo 3y ago
  me and a couple of friends are doing so but for logical fallacies :)
  - haltist 3y ago
    Another fun project would be conspiracy theory books and articles.
thefascistleft 3y ago
[dead]
batguano 3y ago
So disappointed that there wasn't at least a chapter on irrationality. That's the fun part! :-D

31 points by Anon84 3y ago

There's a free pdf download, which is nice. 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.

Luc 3y ago

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.

dunham 3y ago
Fortunately I am not tempted by that particular bale of hay, but I do have 316 pdf files on my desktop. (Mostly about type theory.)
- shadowfox 3y ago
  That seems like a very interesting collection :) Do you have any recommendations for unusual or particularly interesting ones?
  - dunham 3y ago
    (I didn't notice the reply until now.) 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.

haltist 3y ago

Someone should train an LLM on handbooks of rationality to see what happens.

joeamroo 3y ago
me and a couple of friends are doing so but for logical fallacies :)
- haltist 3y ago
  Another fun project would be conspiracy theory books and articles.

thefascistleft 3y ago

[dead]

batguano 3y ago

So disappointed that there wasn't at least a chapter on irrationality. That's the fun part! :-D