| 1. | | Building fast interpreters in rust (2019) (cloudflare.com) |
|
2 points by jessup on Sept 14, 2020 | past
|
|
| 2. | | John Conway’s contributions to mathforum.org (1993-2004) (mathforum.org) |
|
2 points by jessup on April 11, 2020 | past
|
|
| 3. | | John Conway – The Free Will Lectures (2009) [video] (youtube.com) |
|
379 points by jessup on April 11, 2020 | past | 60 comments
|
|
| 4. | | Harris versus Buzzard (2019) (galoisrepresentations.wordpress.com) |
|
1 point by jessup on June 19, 2019 | past
|
|
| 5. | | Clang and FSF's Strategy (2014) (gcc.gnu.org) |
|
2 points by jessup on May 7, 2019 | past | 1 comment
|
|
| 6. | | Metacat: a computer model of analogy-making and perception (2016) (slc.edu) |
|
28 points by jessup on March 29, 2019 | past | 4 comments
|
|
| 7. | | Intuitions about Cohomology (ncatlab.org) |
|
2 points by jessup on March 20, 2019 | past
|
|
| 8. | | Optical Computing: A 60-Year Adventure (2010) (hindawi.com) |
|
24 points by jessup on March 7, 2019 | past | 4 comments
|
|
| 9. | | Ask HN: When will a technology like Lean Prover overtake LaTeX? |
|
2 points by jessup on Feb 8, 2019 | past
|
|
| 10. | | Math joke (Richard P. Stanley) (imgur.com) |
|
2 points by jessup on Dec 27, 2018 | past
|
|
| 11. | | Functional Pearl: Enumerating the Rationals [pdf] (ox.ac.uk) |
|
63 points by jessup on Nov 23, 2018 | past | 6 comments
|
|
| 12. | | Functional Pearl: Enumerating the Rationals [pdf] (ox.ac.uk) |
|
1 point by jessup on May 31, 2018 | past
|
|
| 13. | | Taming the Web (2001) (technologyreview.com) |
|
18 points by jessup on May 19, 2018 | past | 4 comments
|
|
| 14. | | The Case Against Computers in K-13 Math Education (1996) (washington.edu) |
|
35 points by jessup on May 5, 2018 | past | 27 comments
|
|
| 15. | | The Kruskal Count Card Trick (uml.edu) |
|
201 points by jessup on May 4, 2018 | past | 41 comments
|
|
| 16. | | A lambda calculus for quantum computation (brown.edu) |
|
114 points by jessup on March 31, 2018 | past | 10 comments
|
|
| 17. | | This Week's Finds in Mathematical Physics (Week 240) (2006) (ucr.edu) |
|
1 point by jessup on March 17, 2018 | past
|
|
| 18. | | A self-contained, brief and complete formulation of Voevodsky's Univalence Axiom (bham.ac.uk) |
|
57 points by jessup on March 1, 2018 | past | 15 comments
|
|
| 19. | | To Understand Rising Inequality, Consider Janitors (nytimes.com) |
|
390 points by jessup on Sept 3, 2017 | past | 672 comments
|
|
| 20. | | Sideways addition (groups.google.com) |
|
1 point by jessup on Nov 15, 2016 | past
|
|
| 21. | | Taming the Web (2001) (technologyreview.com) |
|
2 points by jessup on Nov 10, 2016 | past
|
|
| 22. | | Welcome to the CMU Artificial Intelligence Repository (1994) (cmu.edu) |
|
44 points by jessup on Oct 25, 2016 | past | 2 comments
|
|
| 23. | | John Conway's contributions on mathforum.org (1993-2004) (mathforum.org) |
|
46 points by jessup on Nov 27, 2015 | past
|
|
| 24. | | Sortes Vergilianae (wikipedia.org) |
|
8 points by jessup on Nov 27, 2015 | past | 3 comments
|
|
| 25. | | Misunderstanding the Church-Turing Thesis (stanford.edu) |
|
2 points by jessup on Nov 17, 2015 | past | 2 comments
|
|
| 26. | | John Conway's contributions on mathforum.org (1993-2004) (mathforum.org) |
|
1 point by jessup on Nov 17, 2015 | past
|
|
| 27. | | Marvin Minsky's Homepage (media.mit.edu) |
|
69 points by jessup on Aug 16, 2015 | past | 51 comments
|
|
| 28. | | Marvin Minsky's Home Page (media.mit.edu) |
|
2 points by jessup on Aug 16, 2015 | past
|
|
| 29. | | Grothendieck’s Activism and What It Says About the World (utexas.edu) |
|
2 points by jessup on Dec 5, 2014 | past
|
|
| 30. | | Teach Yourself Logic: A Study Guide (logicmatters.net) |
|
1 point by jessup on Nov 9, 2014 | past
|
|
|
|
More |
