Pool (First visit) Links selected for a second chance at the front page ⚙ Manual: Spaces 24 114 17d type.today/en/journal/spaces 631Prediction: AI will make formal verification go mainstream 2 10 17d kleppmann.commartin./2025/12/08/ai-formal-verification.html 632Why the Sanitizer API is just `setHTML()` 60 136 17d frederikbraun.de/why-sethtml.html 633Show HN: I built a system for active note-taking in regular meetings like 1-1s 133 177 17d withdocket.com 634Catagolue 61 2 17d hatsya.comcatagolue./home 635The highest quality codebase 393 641 17d gricha.dev/blog/the-highest-quality-codebase 636Pig Video Arcades Critique Life in the Pen (1997) 3 10 17d wired.com/1997/06/pig-video-arcades-critique-life-in-the-pen 637Git's `todo` branch: a versioned todo list in an orphan meta branch 3 6 17d github.com/git/git/tree/todo 638Show HN: WhatHappened – HN summaries, heatmaps, and contrarian picks 36 66 17d whathappened.tech 639A 400-Year-Old Ring That Unfolds to Track the Movements of the Heavens 4 4 17d openculture.com/2025/11/a-400-year-old-ring-that-unfolds-to-track-movements-of-the-heavens.html 640Jepsen: NATS 2.12.1 165 432 17d jepsen.io/analyses/nats-2.12.1 641Deprecations via warnings don't work for Python libraries 89 63 17d sethmlarson.dev/deprecations-via-warnings-dont-work-for-python-libraries 642Twins reared apart do not exist 102 62 17d davidbessis.substack.com/p/twins-reared-apart-do-not-exist 643We collected 10k hours of neuro-language data in our basement 60 117 17d condu.it/thought/10k-hours 644Indexing 100M vectors in 20 minutes on PostgreSQL with 12GB RAM 25 92 17d vectorchord.aiblog./how-we-made-100m-vector-indexing-in-20-minutes-possible-on-postgresql 645Weather radars used to count flying insects in the skies over the US 9 15 17d swissinfo.ch/eng/various/weather-radar-to-count-flying-insects/90603742 646Obscuring P2P Nodes with Dandelion 6 83 17d johndcook.com/blog/2025/12/08/dandelion 647Training Ising Machines with Equilibrium Propagation 0 3 17d nature.com/articles/s41467-024-46879-4 648How we built context management for tab completion 3 7 17d getpochi.comdocs./developer-updates/context-management-in-your-editor 649Strong earthquake hits northern Japan, tsunami warning issued 160 349 17d nhk.or.jp./nhkworld/en/news/20251209_02 650Dhtml Lemmings (2004) 16 65 17d elizium.nu/scripts/lemmings/index.php 651Python Workers redux: fast cold starts, packages, and a uv-first workflow 79 143 17d cloudflare.comblog./python-workers-advancements 652 More... [
{
"id": 46199530,
"title": "Manual: Spaces",
"url": "https://type.today/en/journal/spaces",
"domain": "type.today",
"points": 114,
"comments": 24,
"time": 1765238862,
"user": "doener"
},
{
"id": 46198874,
"title": "Prediction: AI will make formal verification go mainstream",
"url": "https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html",
"domain": "kleppmann.com",
"points": 10,
"comments": 2,
"time": 1765234866,
"user": "raphlinus"
},
{
"id": 46198606,
"title": "Why the Sanitizer API is just `setHTML()`",
"url": "https://frederikbraun.de/why-sethtml.html",
"domain": "frederikbraun.de",
"points": 136,
"comments": 60,
"time": 1765233448,
"user": "birdculture"
},
{
"id": 46198430,
"title": "Show HN: I built a system for active note-taking in regular meetings like 1-1s",
"url": "https://withdocket.com",
"domain": "withdocket.com",
"points": 177,
"comments": 133,
"time": 1765232486,
"user": "davnicwil"
},
{
"id": 46198333,
"title": "Catagolue",
"url": "https://catagolue.hatsya.com/home",
"domain": "hatsya.com",
"points": 2,
"comments": 61,
"time": 1765231862,
"user": "HeliumHydride"
},
{
"id": 46197930,
"title": "The highest quality codebase",
"url": "https://gricha.dev/blog/the-highest-quality-codebase",
"domain": "gricha.dev",
"points": 641,
"comments": 393,
"time": 1765229589,
"user": "Gricha"
},
{
"id": 46197871,
"title": "Pig Video Arcades Critique Life in the Pen (1997)",
"url": "https://www.wired.com/1997/06/pig-video-arcades-critique-life-in-the-pen/",
"domain": "wired.com",
"points": 10,
"comments": 3,
"time": 1765229240,
"user": "naryJane"
},
{
"id": 46197820,
"title": "Git's `todo` branch: a versioned todo list in an orphan meta branch",
"url": "https://github.com/git/git/tree/todo",
"domain": "github.com/git",
"points": 6,
"comments": 3,
"time": 1765228956,
"user": "betamint"
},
{
"id": 46196796,
"title": "Show HN: WhatHappened – HN summaries, heatmaps, and contrarian picks",
"url": "https://www.whathappened.tech/",
"domain": "whathappened.tech",
"points": 66,
"comments": 36,
"time": 1765223708,
"user": "marsw42"
},
{
"id": 46196433,
"title": "A 400-Year-Old Ring That Unfolds to Track the Movements of the Heavens",
"url": "https://www.openculture.com/2025/11/a-400-year-old-ring-that-unfolds-to-track-movements-of-the-heavens.html",
"domain": "openculture.com",
"points": 4,
"comments": 4,
"time": 1765221586,
"user": "PaulHoule"
},
{
"id": 46196105,
"title": "Jepsen: NATS 2.12.1",
"url": "https://jepsen.io/analyses/nats-2.12.1",
"domain": "jepsen.io",
"points": 432,
"comments": 165,
"time": 1765219863,
"user": "aphyr"
},
{
"id": 46195679,
"title": "Deprecations via warnings don't work for Python libraries",
"url": "https://sethmlarson.dev/deprecations-via-warnings-dont-work-for-python-libraries",
"domain": "sethmlarson.dev",
"points": 63,
"comments": 89,
"time": 1765217639,
"user": "scolby33"
},
{
"id": 46195226,
"title": "Twins reared apart do not exist",
"url": "https://davidbessis.substack.com/p/twins-reared-apart-do-not-exist",
"domain": "davidbessis.substack.com",
"points": 62,
"comments": 102,
"time": 1765215597,
"user": "tptacek"
},
{
"id": 46195109,
"title": "We collected 10k hours of neuro-language data in our basement",
"url": "https://condu.it/thought/10k-hours",
"domain": "condu.it",
"points": 117,
"comments": 60,
"time": 1765215193,
"user": "nee1r"
},
{
"id": 46195068,
"title": "Indexing 100M vectors in 20 minutes on PostgreSQL with 12GB RAM",
"url": "https://blog.vectorchord.ai/how-we-made-100m-vector-indexing-in-20-minutes-possible-on-postgresql",
"domain": "vectorchord.ai",
"points": 92,
"comments": 25,
"time": 1765215015,
"user": "gaocegege"
},
{
"id": 46194991,
"title": "Weather radars used to count flying insects in the skies over the US",
"url": "https://www.swissinfo.ch/eng/various/weather-radar-to-count-flying-insects/90603742",
"domain": "swissinfo.ch",
"points": 15,
"comments": 9,
"time": 1765214701,
"user": "giuliomagnifico"
},
{
"id": 46194245,
"title": "Obscuring P2P Nodes with Dandelion",
"url": "https://www.johndcook.com/blog/2025/12/08/dandelion/",
"domain": "johndcook.com",
"points": 83,
"comments": 6,
"time": 1765211249,
"user": "ColinWright"
},
{
"id": 46193699,
"title": "Training Ising Machines with Equilibrium Propagation",
"url": "https://www.nature.com/articles/s41467-024-46879-4",
"domain": "nature.com",
"points": 3,
"comments": 0,
"time": 1765209094,
"user": "tesserato"
},
{
"id": 46192924,
"title": "How we built context management for tab completion",
"url": "https://docs.getpochi.com/developer-updates/context-management-in-your-editor/",
"domain": "getpochi.com",
"points": 7,
"comments": 3,
"time": 1765205869,
"user": "wsxiaoys"
},
{
"id": 46192846,
"title": "Strong earthquake hits northern Japan, tsunami warning issued",
"url": "https://www3.nhk.or.jp/nhkworld/en/news/20251209_02/",
"domain": "nhk.or.jp",
"points": 349,
"comments": 160,
"time": 1765205448,
"user": "lattis"
},
{
"id": 46192845,
"title": "Dhtml Lemmings (2004)",
"url": "https://www.elizium.nu/scripts/lemmings/index.php",
"domain": "elizium.nu",
"points": 65,
"comments": 16,
"time": 1765205447,
"user": "tetris11"
},
{
"id": 46192748,
"title": "Python Workers redux: fast cold starts, packages, and a uv-first workflow",
"url": "https://blog.cloudflare.com/python-workers-advancements/",
"domain": "cloudflare.com",
"points": 143,
"comments": 79,
"time": 1765204921,
"user": "dom96"
}
]