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... [
{
"id": 46379392,
"title": "Ask HN: Is formal verification of practical use in real world projects?",
"points": 4,
"comments": 1,
"time": 1766611449,
"user": "akkad33",
"type": "story"
},
{
"id": 46379373,
"title": "Show HN: Equira – Track Stocks, Crypto, Gold and Real Estate in One Dashboard",
"url": "https://apps.apple.com/us/app/equira-portfolio-manager/id6751342549",
"domain": "apps.apple.com",
"points": 2,
"comments": 0,
"time": 1766611310,
"user": "Equira",
"type": "story"
},
{
"id": 46379368,
"title": "LLM-API-Key-Proxy: Universal LLM Gateway: One API, Every LLM",
"url": "https://github.com/Mirrowel/LLM-API-Key-Proxy",
"domain": "github.com",
"points": 1,
"comments": 0,
"time": 1766611294,
"user": "simonpure",
"type": "story"
},
{
"id": 46379346,
"title": "How Money Is Born Out of Public Spending and Dies by Taxes (2023)",
"url": "https://www.scottsantens.com/how-money-is-born-out-of-public-spending-and-dies-by-taxes-mmt/",
"domain": "scottsantens.com",
"points": 1,
"comments": 3,
"time": 1766611177,
"user": "qnleigh",
"type": "story"
},
{
"id": 46379325,
"title": "2025: The Year of Front-Loaded Vesting Schedules",
"url": "https://www.levels.fyi/blog/front-loaded-vesting.html",
"domain": "levels.fyi",
"points": 2,
"comments": 1,
"time": 1766611073,
"user": "zuhayeer",
"type": "story"
},
{
"id": 46379323,
"title": "The Case Against LLMs as Rerankers",
"url": "https://blog.voyageai.com/2025/10/22/the-case-against-llms-as-rerankers/",
"domain": "blog.voyageai.com",
"points": 2,
"comments": 0,
"time": 1766611042,
"user": "fzliu",
"type": "story"
},
{
"id": 46379301,
"title": "GraphicsMagick FAQ",
"url": "http://www.graphicsmagick.org/FAQ.html",
"domain": "graphicsmagick.org",
"points": 2,
"comments": 0,
"time": 1766610915,
"user": "exvi",
"type": "story"
},
{
"id": 46379291,
"title": "Obsidian and Claude Code PKM Starter Kit",
"url": "https://github.com/ballred/obsidian-claude-pkm",
"domain": "github.com",
"points": 1,
"comments": 0,
"time": 1766610851,
"user": "michael-sumner",
"type": "story"
},
{
"id": 46379287,
"title": "Advent of Slop: A Guest Post by Claude",
"url": "https://lucumr.pocoo.org/2025/12/23/advent-of-slop/",
"domain": "lucumr.pocoo.org",
"points": 2,
"comments": 0,
"time": 1766610845,
"user": "singingwolfboy",
"type": "story"
},
{
"id": 46379278,
"title": "GraphicsMagick Image Processing System",
"url": "http://www.graphicsmagick.org/",
"domain": "graphicsmagick.org",
"points": 2,
"comments": 0,
"time": 1766610811,
"user": "exvi",
"type": "story"
},
{
"id": 46379268,
"title": "How to Make an Economy-Class Airplane Seat a Little Less Miserable",
"url": "https://www.wsj.com/lifestyle/travel/how-to-make-your-economy-class-plane-seat-better-9cc7905f",
"domain": "wsj.com",
"points": 1,
"comments": 2,
"time": 1766610760,
"user": "bookofjoe",
"type": "story"
},
{
"id": 46379211,
"title": "Amatuer codebreaker may have solved Zodiac killer identity",
"url": "https://www.sfchronicle.com/bayarea/article/black-dahlia-zodiac-killings-new-theory-21259726.php",
"domain": "sfchronicle.com",
"points": 2,
"comments": 3,
"time": 1766610377,
"user": "larrydag",
"type": "story"
},
{
"id": 46379198,
"title": "Twitter (now X) added an \"Edit Image\" feature to edit any image posted with AI",
"url": "https://twitter.com/reijaku_/status/2003698978198818847",
"domain": "twitter.com",
"points": 4,
"comments": 1,
"time": 1766610283,
"user": "raincole",
"type": "story"
},
{
"id": 46379194,
"title": "Porting Photoshop 1.0 source to the web using GPT-5.2-Codex-Max and Codex CLI",
"url": "https://photoslop-1.com/port",
"domain": "photoslop-1.com",
"points": 2,
"comments": 2,
"time": 1766610248,
"user": "furyofantares",
"type": "story"
},
{
"id": 46379183,
"title": "Nvidia buying AI chip startup Groq for about $20B in cash",
"url": "https://www.cnbc.com/2025/12/24/nvidia-buying-ai-chip-startup-groq-for-about-20-billion-biggest-deal.html",
"domain": "cnbc.com",
"points": 396,
"comments": 238,
"time": 1766610135,
"user": "nickrubin",
"type": "story"
},
{
"id": 46379167,
"title": "Ain't your parents' Game Boy: New gaming handhelds are powerful, pricey",
"url": "https://www.cbc.ca/news/entertainment/gaming-handhelds-2025-roundup-9.7026240",
"domain": "cbc.ca",
"points": 2,
"comments": 0,
"time": 1766609981,
"user": "01-_-",
"type": "story"
},
{
"id": 46379156,
"title": "U.S. FCC bans foreign-made drones from DJI, others",
"url": "https://www.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",
"domain": "tomshardware.com",
"points": 2,
"comments": 1,
"time": 1766609906,
"user": "Stratoscope",
"type": "story"
},
{
"id": 46379154,
"title": "Show HN: Native iOS version of The Brutalist Report to clean up reading news",
"url": "https://apps.apple.com/us/app/brutalist-report/id6756546583",
"domain": "apps.apple.com",
"points": 6,
"comments": 0,
"time": 1766609893,
"user": "cylo",
"type": "story"
},
{
"id": 46379145,
"title": "Show HN: Lamp Carousel – DIY Kinetic Sculpture Powered by Lamp Heat",
"url": "https://evan.widloski.com/posts/spinners/",
"domain": "evan.widloski.com",
"points": 2,
"comments": 0,
"time": 1766609813,
"user": "Evidlo",
"type": "story"
},
{
"id": 46379142,
"title": "Ask HN: As AI rises, what can people create if they want to stay out?",
"points": 2,
"comments": 1,
"time": 1766609786,
"user": "01-_-",
"type": "story"
},
{
"id": 46379136,
"title": "Movie marketing used to be fun. Now it's just inescapable",
"url": "https://www.vulture.com/article/movie-marketing-used-to-be-fun-now-its-just-inescapable.html",
"domain": "vulture.com",
"points": 3,
"comments": 0,
"time": 1766609776,
"user": "ColonelDax",
"type": "story"
},
{
"id": 46379129,
"title": "Build Your Own 100TB NAS in 2025: Complete TrueNAS Storage Guide",
"url": "https://techlife.blog/posts/build-your-own-100tb-nas-2025-complete-truenas-storage-guide/",
"domain": "techlife.blog",
"points": 19,
"comments": 13,
"time": 1766609732,
"user": "tsenturk",
"type": "story"
},
{
"id": 46379124,
"title": "Edgeshark: Docker networks visualization and inspection tool",
"url": "https://edgeshark.siemens.io/#/",
"domain": "edgeshark.siemens.io",
"points": 1,
"comments": 0,
"time": 1766609703,
"user": "thunderbong",
"type": "story"
},
{
"id": 46379116,
"title": "Paul Graham Ate Breakfast",
"url": "https://web.archive.org/web/20251224205355/https://old.reddit.com/r/reddit.com/comments/4jxe/paul_graham_ate_breakfast/",
"domain": "web.archive.org",
"points": 1,
"comments": 0,
"time": 1766609630,
"user": "benatkin",
"type": "story"
},
{
"id": 46379111,
"title": "AI tools are overdelivering: results from our large-scale AI productivity survey",
"url": "https://www.lennysnewsletter.com/p/ai-tools-are-overdelivering-results",
"domain": "lennysnewsletter.com",
"points": 3,
"comments": 2,
"time": 1766609578,
"user": "janandonly",
"type": "story"
},
{
"id": 46379109,
"title": "Show HN: AI that writes 5 specific e-com description types",
"url": "https://scriptor.studio/",
"domain": "scriptor.studio",
"points": 1,
"comments": 0,
"time": 1766609558,
"user": "Zaif_20",
"type": "story"
},
{
"id": 46379098,
"title": "US Coast Guard lacks forces to seize Venezuela-linked tanker for now",
"url": "https://www.reuters.com/world/americas/us-eyes-additional-coast-guard-assets-seize-fleeing-tanker-sources-say-2025-12-24/",
"domain": "reuters.com",
"points": 3,
"comments": 0,
"time": 1766609472,
"user": "JumpCrisscross",
"type": "story"
},
{
"id": 46379076,
"title": "Spaced repetition for efficient learning (2019)",
"url": "https://gwern.net/spaced-repetition",
"domain": "gwern.net",
"points": 99,
"comments": 41,
"time": 1766609333,
"user": "tsenturk",
"type": "story"
},
{
"id": 46379063,
"title": "How to Tune a Lamp Stack on Debian for Maximum Performance",
"url": "https://j11g.com/2025/12/24/how-to-tune-a-lamp-stack-on-debian-for-maximum-performance/",
"domain": "j11g.com",
"points": 2,
"comments": 0,
"time": 1766609143,
"user": "speckx",
"type": "story"
},
{
"id": 46379054,
"title": "Show HN: WebPtoPNG – I built a WebP to PNG tool, everything runs in the browser",
"url": "https://webptopng.cc/",
"domain": "webptopng.cc",
"points": 8,
"comments": 3,
"time": 1766609096,
"user": "akseli_ukkonen",
"type": "story"
}
]