Newest Stories (First visit) HN /newest Ask HN: Is formal verification of practical use in real world projects? 1 4 5h 151Show HN: Equira – Track Stocks, Crypto, Gold and Real Estate in One Dashboard 0 2 5h apps.apple.com/us/app/equira-portfolio-manager/id6751342549 152LLM-API-Key-Proxy: Universal LLM Gateway: One API, Every LLM 0 1 5h github.com/Mirrowel/LLM-API-Key-Proxy 153How Money Is Born Out of Public Spending and Dies by Taxes (2023) 3 1 5h scottsantens.com/how-money-is-born-out-of-public-spending-and-dies-by-taxes-mmt 1542025: The Year of Front-Loaded Vesting Schedules 1 2 6h levels.fyi/blog/front-loaded-vesting.html 155The Case Against LLMs as Rerankers 0 2 6h blog.voyageai.com/2025/10/22/the-case-against-llms-as-rerankers 156GraphicsMagick FAQ 0 2 6h graphicsmagick.orghttp://www./FAQ.html 157Obsidian and Claude Code PKM Starter Kit 0 1 6h github.com/ballred/obsidian-claude-pkm 158Advent of Slop: A Guest Post by Claude 0 2 6h lucumr.pocoo.org/2025/12/23/advent-of-slop 159GraphicsMagick Image Processing System 0 2 6h graphicsmagick.orghttp://www. 160How to Make an Economy-Class Airplane Seat a Little Less Miserable 2 1 6h wsj.com/lifestyle/travel/how-to-make-your-economy-class-plane-seat-better-9cc7905f 161Amatuer codebreaker may have solved Zodiac killer identity 3 2 6h sfchronicle.com/bayarea/article/black-dahlia-zodiac-killings-new-theory-21259726.php 162Twitter (now X) added an "Edit Image" feature to edit any image posted with AI 1 4 6h twitter.com/reijaku_/status/2003698978198818847 163Porting Photoshop 1.0 source to the web using GPT-5.2-Codex-Max and Codex CLI 2 2 6h photoslop-1.com/port 164Nvidia buying AI chip startup Groq for about $20B in cash 238 396 6h cnbc.com/2025/12/24/nvidia-buying-ai-chip-startup-groq-for-about-20-billion-biggest-deal.html 165Ain't your parents' Game Boy: New gaming handhelds are powerful, pricey 0 2 6h cbc.ca/news/entertainment/gaming-handhelds-2025-roundup-9.7026240 166U.S. FCC bans foreign-made drones from DJI, others 1 2 6h tomshardware.com/tech-industry/u-s-fcc-bans-foreign-made-drones-from-dji-others-dji-to-be-heavily-affected-by-the-announcement-with-many-american-drone-pilots-up-in-arms-due-to-lack-of-viable-alternatives 167Show HN: Native iOS version of The Brutalist Report to clean up reading news 0 6 6h apps.apple.com/us/app/brutalist-report/id6756546583 168Show HN: Lamp Carousel – DIY Kinetic Sculpture Powered by Lamp Heat 0 2 6h evan.widloski.com/posts/spinners 169Ask HN: As AI rises, what can people create if they want to stay out? 1 2 6h 170Movie marketing used to be fun. Now it's just inescapable 0 3 6h vulture.com/article/movie-marketing-used-to-be-fun-now-its-just-inescapable.html 171Build Your Own 100TB NAS in 2025: Complete TrueNAS Storage Guide 13 19 6h techlife.blog/posts/build-your-own-100tb-nas-2025-complete-truenas-storage-guide 172Edgeshark: Docker networks visualization and inspection tool 0 1 6h edgeshark.siemens.io/# 173Paul Graham Ate Breakfast 0 1 6h web.archive.org/web/20251224205355/https://old.reddit.com/r/reddit.com/comments/4jxe/paul_graham_ate_breakfast 174AI tools are overdelivering: results from our large-scale AI productivity survey 2 3 6h lennysnewsletter.com/p/ai-tools-are-overdelivering-results 175Show HN: AI that writes 5 specific e-com description types 0 1 6h scriptor.studio 176US Coast Guard lacks forces to seize Venezuela-linked tanker for now 0 3 6h reuters.com/world/americas/us-eyes-additional-coast-guard-assets-seize-fleeing-tanker-sources-say-2025-12-24 177Spaced repetition for efficient learning (2019) 41 99 6h gwern.net/spaced-repetition 178How to Tune a Lamp Stack on Debian for Maximum Performance 0 2 6h j11g.com/2025/12/24/how-to-tune-a-lamp-stack-on-debian-for-maximum-performance 179Show HN: WebPtoPNG – I built a WebP to PNG tool, everything runs in the browser 3 8 6h webptopng.cc 180 More...