| 1. | | Ask HN: Do you also marvel at the complexity of everyday objects? |
| 479 points by parpfish on March 18, 2024 | 319 comments |
|
| 2. | | He felt 'creatively dead', then harnessed the power of boredom (npr.org) |
| 139 points by mooreds on Dec 17, 2023 | 73 comments |
|
| 3. | | Getting to know the right people (2022) (drmaciver.com) |
| 253 points by SenHeng on June 14, 2023 | 116 comments |
|
| 4. | | Working quickly is more important than it seems (2015) (jsomers.net) |
| 513 points by cal85 on June 13, 2023 | 183 comments |
|
| 5. | | Window to the World (alexshakespeare.com) |
| 22 points by IgorPartola on Dec 10, 2021 | 4 comments |
|
| 6. | | Back in 1993, I was taking a number theory class (twitter.com/ericlengyel) |
| 722 points by renameme on May 3, 2021 | 214 comments |
|
| 7. | | So you want to learn type theory (purelytheoretical.com) |
| 169 points by psygnisfive on Dec 21, 2014 | 47 comments |
|
| 8. | | Ask HN: What inspires you to persevere through adversity? |
| 401 points by samblr on Jan 22, 2017 | 231 comments |
|
| 9. | | Show HN: Hindley-Milner Type Inference Algorithm in OCaml (github.com/prakhar1989) |
| 136 points by krat0sprakhar on April 27, 2016 | 28 comments |
|
| 10. | | I Turned a Routine Traffic Ticket into a Constitutional Trial (thepublicdiscourse.com) |
| 899 points by anarazel on Jan 14, 2017 | 467 comments |
|
| 11. | | The Limits of Correctness (1985) [pdf] (uwaterloo.ca) |
| 14 points by decisiveness on Oct 16, 2015 | 3 comments |
|
| 12. | | Ask HN: Books you read in 2016? |
| 414 points by rwieruch on Dec 22, 2016 | 321 comments |
|
| 13. | | Perlisisms - "Epigrams in Programming" by Alan J. Perlis (yale.edu) |
| 6 points by limist on Sept 17, 2010 | 2 comments |
|
| 14. | | How to Get Fired Using Switch Statements and Statement Expressions (robertelder.org) |
| 237 points by mirceasoaica on Oct 28, 2016 | 41 comments |
|
| 15. | | Algebraic Patterns – Monoid Morphism (philipnilsson.github.io) |
| 86 points by alipang on Sept 29, 2016 | 30 comments |
|
| 16. | | Practical Proofs: Proof Approximations for Practical Code (zerobugsandprogramfaster.net) |
| 41 points by kiyanwang on Oct 24, 2016 | 17 comments |
|
| 17. | | Thucydides Roundtable, Book IV: History Is Written by the Losers (zenpundit.com) |
| 57 points by lermontov on Nov 22, 2016 | 47 comments |
|
| 18. | | The Beauty of Bounded Gaps (2013) (slate.com) |
| 44 points by cyang08 on Nov 6, 2016 | 12 comments |
|
| 19. | | Example-Driven Development (wilfred.me.uk) |
| 157 points by jsnell on July 30, 2016 | 38 comments |
|
