|
| The best articles from math.andrej.com, according to Hacker News. |
|
| Change the ?site URL parameter to try it on any other website. Or click the domain shown after each post title. |
|
| 2007 | | Seemingly impossible functional programs (math.andrej.com) |
| 359 points across 3 posts | 3 years ago with 45 comments |
|
| 2006 | | Sometimes all functions are continuous (math.andrej.com) |
| 60 points | 4 years ago with 43 comments |
|
| 2012 | | How to implement dependent type theory I (math.andrej.com) |
| 57 points | 1 year ago with 7 comments |
|
| 2008 | | Representations of Uncomputable and Uncountable Sets (math.andrej.com) |
| 45 points | 3 years ago with 9 comments |
|
| 2010 | | Proof of negation and proof by contradiction (math.andrej.com) |
| 40 points | 7 years ago with 37 comments |
|
|
