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