| 1. | | From Zero to QED: An informal introduction to formality with Lean 4 (sdiehl.github.io) |
| 145 points by rwosync 37 days ago | 21 comments |
|
| 2. | | Ishkur's Guide to Electronic Music (ishkur.com) |
| 359 points by sajberpank 3 months ago | 97 comments |
|
| 3. | | Dead Reckoning (damninteresting.com) |
| 190 points by repost_bot 8 months ago | 62 comments |
|
| 4. | | Accountability Sinks (250bpm.substack.com) |
| 623 points by msustrik 8 months ago | 392 comments |
|
| 5. | | The unbearable slowness of being: Why do we live at 10 bits/s? (cell.com) |
| 296 points by sebg on Dec 18, 2024 | 309 comments |
|
| 6. | | I give you feedback on your blog post draft but you don't send it to me (2021) (pdf.zone) |
| 226 points by Tomte on Sept 12, 2024 | 95 comments |
|
| 7. | | The Rate of Return on Everything, 1870–2015 (2019) (oup.com) |
| 190 points by lazyjeff on June 11, 2024 | 148 comments |
|
| 8. | | Lessons learned from 6 months of operating a tiny news archive (hiandrewquinn.github.io) |
| 124 points by hiAndrewQuinn on June 1, 2024 | 37 comments |
|
| 9. | | Project Astra (theverge.com) |
| 104 points by cs702 on May 14, 2024 | 42 comments |
|
| 10. | | Steve Albini has died (pitchfork.com) |
| 505 points by coloneltcb on May 8, 2024 | 177 comments |
|
| 11. | | The man who killed Google Search? (wheresyoured.at) |
| 1884 points by elorant on April 23, 2024 | 878 comments |
|
| 12. | | Man built a bunker under Hampstead Heath and lived in it for two years (theguardian.com) |
| 343 points by oska on March 5, 2020 | 140 comments |
|
| 13. | | Visiting Scarfolk, the most spectacular dystopia of the 1970s (2016) (collectorsweekly.com) |
| 311 points by conanxin on March 23, 2024 | 90 comments |
|
| 14. | | Find bilingual baby names (mixedname.com) |
| 314 points by higgins on Nov 11, 2023 | 179 comments |
|
| 15. | | Show HN: LLaVaVision: An AI "Be My Eyes"-like web app with a llama.cpp backend (github.com/lxe) |
| 154 points by lxe on Nov 6, 2023 | 19 comments |
|
| 16. | | The odd appeal of absurdly long YouTube videos (theverge.com) |
| 139 points by belter on May 28, 2023 | 164 comments |
|
| 17. | | The Sell ∀ ∃ as ∃ ∀ Scam (win-vector.com) |
| 207 points by jmount on April 22, 2023 | 141 comments |
|
| 18. | | Ask HN: Those who quit their jobs to travel the world, how did it go? |
| 416 points by cercatrova on March 10, 2021 | 450 comments |
|
| 19. | | Identity Theft, Credit Reports, and You (kalzumeus.com) |
| 1088 points by darwhy on Sept 9, 2017 | 276 comments |
|
| 20. | | Protecting your capital during a war (fritz.substack.com) |
| 43 points by jules-jules on Feb 8, 2021 | 50 comments |
|
| 21. | | Hacking Your Keyboard with Karabiner (kau.sh) |
| 87 points by behnamoh on Feb 12, 2023 | 43 comments |
|
| 22. | | AI found a bug in my code (joel.tools) |
| 308 points by crummy on Nov 16, 2022 | 217 comments |
|
| 23. | | Switzerland moves ahead with underground autonomous cargo delivery (ieee.org) |
| 280 points by sohkamyung on July 8, 2022 | 81 comments |
|
| 24. | | Ikea Vindriktning Air Quality Sensor Review and Accuracy (airgradient.com) |
| 495 points by ahaucnx on Dec 6, 2021 | 163 comments |
|
| 25. | | Ask HN: Favorite Blogs by Individuals? |
| 819 points by zffr on May 27, 2021 | 271 comments |
|
| 26. | | A newly discovered body part changes our understanding of the brain (2016) (hms.harvard.edu) |
| 188 points by berkeleyjunk on Dec 15, 2020 | 100 comments |
|
| 27. | | I should have loved biology (jsomers.net) |
| 800 points by jsomers on Nov 18, 2020 | 298 comments |
|
| 28. | | Is Stupidity Expanding? Some Hypotheses (greaterwrong.com) |
| 322 points by onemind on Oct 15, 2020 | 295 comments |
|
| 29. | | Makani source code released (github.com/google) |
| 449 points by johmathe on Sept 12, 2020 | 123 comments |
|
| 30. | | Ask HN: Films that made you see the world differently? |
| 196 points by pizza on Aug 8, 2020 | 327 comments |
|
|
| More |
