|
| The best articles from homepages.inf.ed.ac.uk, 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. |
|
| 2000 | | Proofs are Programs – 19th Century Logic and 21st Century Computing (homepages.inf.ed.ac.uk) |
| 152 points | 7 years ago with 77 comments |
|
| 1993 | | A Taste of Linear Logic (homepages.inf.ed.ac.uk) |
| 146 points | 5 years ago with 62 comments |
|
| 1965 | | The Next 700 Programming Languages (homepages.inf.ed.ac.uk) |
| 83 points | 6 years ago with 20 comments |
|
| 1995 | | Monads for functional programming (homepages.inf.ed.ac.uk) |
| 69 points | 5 years ago with 49 comments |
|
| 2013 | | Spreadsheet Programming with User Defined Types and Functions (homepages.inf.ed.ac.uk) |
| 59 points | 7 years ago with 16 comments |
|
| 2003 | | Expressive Power of SQL (homepages.inf.ed.ac.uk) |
| 55 points | 6 years ago with 18 comments |
|
| 1977 | | A Theory of Type Polymorphism in Programming (homepages.inf.ed.ac.uk) |
| 48 points | 5 years ago with 6 comments |
|
| 1985 | | The Researcher's Bible (homepages.inf.ed.ac.uk) |
| 48 points | 9 years ago with 6 comments |
|
|
