Comment Comment by gwern The Neukirchen link would be a much better HN submission than OP. parent gwern 2 years ago