John Conway’s contributions to mathforum.org (1993-2004)mathforum.org2 points·by jessup·6 yıl önce·0 comments
John Conway – The Free Will Lectures (2009) [video]youtube.com379 points·by jessup·6 yıl önce·60 comments
Harris versus Buzzard (2019)galoisrepresentations.wordpress.com1 points·by jessup·7 yıl önce·0 comments
Metacat: a computer model of analogy-making and perception (2016)science.slc.edu28 points·by jessup·7 yıl önce·4 comments
Ask HN: When will a technology like Lean Prover overtake LaTeX?2 points·by jessup·7 yıl önce·0 comments