If you haven't seen any of his posts before, gwern is a treasure. He delves so, so deeply into topics that he finds interesting. A modern Library of Alexandria.