5 points by not_knuth 931 days ago | 9 comments