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...