| 1. | | Bitter Lessoned in Automated Theorem Proving (johnloeber.com) |
| 1 point by gmays 3 days ago | past | discuss |
|
| 2. | | Bitter Lessoned in Automated Theorem Proving (johnloeber.com) |
| 1 point by loeber 6 days ago | past | discuss |
|
| 3. | | Open-Source Software in the Age of AI (johnloeber.com) |
| 1 point by pabs3 6 months ago | past |
|
| 4. | | Bring Back Idiomatic Design (2023) (johnloeber.com) |
| 694 points by phil294 6 months ago | past | 369 comments |
|
| 5. | | Open-Source Software in the Age of AI (johnloeber.com) |
| 3 points by serviette 8 months ago | past | 1 comment |
|
| 6. | | Adventures in Deleting Tweets (johnloeber.com) |
| 83 points by loeber on June 2, 2018 | past | 23 comments |
|
| 7. | | Fragmentation in Cryptocurrencies (johnloeber.com) |
| 5 points by loeber on Jan 29, 2018 | past |
|
| 8. | | Implicit Currencies: Commerce Without Dollars (johnloeber.com) |
| 2 points by loeber on Nov 25, 2017 | past |
|
| 9. | | Apple and Consumer Choice (johnloeber.com) |
| 35 points by loeber on Oct 1, 2017 | past | 23 comments |
|
| 10. | | Notes on John D. Rockefeller (johnloeber.com) |
| 82 points by johnloeber on Jan 28, 2017 | past | 50 comments |
|
| 11. | | K-Means Clustering on Handwritten Digits (johnloeber.com) |
| 7 points by johnloeber on March 8, 2016 | past |
|
| 12. | | Two Cultures (2016) (johnloeber.com) |
| 5 points by johnloeber on Feb 24, 2016 | past | 4 comments |
|
| 13. | | Optimizing for the Wrong Variable (johnloeber.com) |
| 1 point by johnloeber on Dec 25, 2015 | past |
|
| 14. | | Show HN: Single-Player Set, written in Elm (johnloeber.com) |
| 1 point by johnloeber on March 17, 2015 | past |
|
| 15. | | Uber Will Not Achieve a Monopoly [pdf] (johnloeber.com) |
| 7 points by johnloeber on Nov 5, 2014 | past | 2 comments |
|
| 16. | | Analyzing Wikipedia's Television Episode Summaries for Sociological Conclusions (johnloeber.com) |
| 1 point by johnloeber on Nov 5, 2014 | past |
|
