jessup

Recent Submissions

1. 1. ▲ Building fast interpreters in rust (2019) (blog.cloudflare.com) 2 points · 5 years ago · 0 comments
2. 2. ▲ John Conway’s contributions to mathforum.org (1993-2004) (mathforum.org) 2 points · 5 years ago · 0 comments
3. 3. ▲ John Conway – The Free Will Lectures (2009) [video] (youtube.com) 379 points · 5 years ago · 60 comments
4. 4. ▲ Harris versus Buzzard (2019) (galoisrepresentations.wordpress.com) 1 point · 6 years ago · 0 comments
5. 5. ▲ Clang and FSF's Strategy (2014) (gcc.gnu.org) 2 points · 6 years ago · 1 comment
6. 6. ▲ Metacat: a computer model of analogy-making and perception (2016) (science.slc.edu) 28 points · 6 years ago · 4 comments
7. 7. ▲ Intuitions about Cohomology (ncatlab.org) 2 points · 6 years ago · 0 comments
8. 8. ▲ Optical Computing: A 60-Year Adventure (2010) (hindawi.com) 24 points · 6 years ago · 4 comments
9. 9. ▲ Ask HN: When will a technology like Lean Prover overtake LaTeX? 2 points · 6 years ago · 0 comments
10. 10. ▲ Math joke (Richard P. Stanley) (imgur.com) 2 points · 7 years ago · 0 comments