Home / 2025
2025 Archive
3541.
ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com)
326 points by barthelomew 3 months ago | 173 comments
3542.
Deliberate Internet Shutdowns (schneier.com)
326 points by WaitWaitWha 1 month ago | 170 comments
3543.
Writing is thinking (nature.com)
326 points by __rito__ 6 months ago | 128 comments
3544.
“Boobs check” – Technique to verify if sites behind CDN are hosted in Iran (twitter.com)
326 points by defly 1 month ago | 121 comments
3545.
Show HN: Stagehand – an open source browser automation framework powered by AI (github.com)
326 points by hackgician on Jan 8, 2025 | 86 comments
3546.
GarminDB (github.com)
326 points by haltcatchfire 11 months ago | 72 comments
3547.
Dog Walk: Blender Studio's official game project (blenderstudio.itch.io)
326 points by doener 6 months ago | 55 comments
3548.
Reports of widespread power cuts in Spain and Portugal (bbc.com)
326 points by ksec 8 months ago | 23 comments
3549.
Why does the U.S. always run a trade deficit? (libertystreeteconomics.newyorkfed.org)
325 points by jnord 8 months ago | 778 comments
3550.
Modern cars are spying on you. Here's what you can do about it (apnews.com)
325 points by MilnerRoute 1 month ago | 353 comments
3551.
Metacognitive laziness: Effects of generative AI on learning motivation (bera-journals.onlinelibrary.wiley.com)
325 points by freddier on Jan 21, 2025 | 300 comments
3552.
Major rule about cooking meat turns out to be wrong (seriouseats.com)
325 points by voxadam 5 months ago | 250 comments
3553.
Canyon.mid (canyonmid.com)
325 points by LorenDB 7 months ago | 211 comments
3554.
Poison, Poison Everywhere (loeber.substack.com)
325 points by dividendpayee 2 months ago | 208 comments
3555.
The Beauty of Having a Pi-Hole (2024) (den.dev)
325 points by mpweiher 8 months ago | 205 comments
3556.
India's repair culture gives new life to dead laptops (theverge.com)
325 points by hilux 9 months ago | 194 comments
3557.
Perfume reviews (gwern.net)
325 points by surprisetalk 6 months ago | 183 comments
3558.
Don’t let an LLM make decisions or execute business logic (sgnt.ai)
325 points by petesergeant 9 months ago | 169 comments
3559.
Python can run Mojo now (koaning.io)
325 points by cantdutchthis 7 months ago | 164 comments
3560.
Reproducing Hacker News writing style fingerprinting (antirez.com)
325 points by grep_it 9 months ago | 155 comments
3561.
Framework Laptop 13 gets ARM processor with 12 cores via upgrade kit (notebookcheck.net)
325 points by woodrowbarlow 1 month ago | 153 comments
3562.
Build and Host AI-Powered Apps with Claude – No Deployment Needed (anthropic.com)
325 points by davidbarker 6 months ago | 143 comments
3563.
10 years bootstrapped: €6.5M revenue with a team of 13 (datocms.com)
325 points by steffoz 1 month ago | 129 comments
3564.
Sidekick: Local-first native macOS LLM app (github.com)
325 points by volemo 10 months ago | 92 comments
3565.
The 12-bit rainbow palette (iamkate.com)
325 points by rguiscard 8 months ago | 81 comments
3566.
Show HN: Jq-Like Tool for Markdown (github.com)
325 points by yshavit 10 months ago | 75 comments
3567.
Leaking Passwords and more on macOS (wts.dev)
325 points by nmgycombinator 10 months ago | 62 comments
3568.
3D modeling with paper (arvinpoddar.com)
325 points by joshuawootonn 4 months ago | 47 comments
3569.
Datalog in Rust (github.com)
325 points by brson 7 months ago | 42 comments
3570.
How does gradient descent work? (centralflows.github.io)
325 points by jxmorris12 3 months ago | 24 comments