John McCarthy's Home Pagewww-formal.stanford.edu2 points·vshlos··0 commentsOpen articleSaveView on HN