Pool (First visit) Links selected for a second chance at the front page Microscopic robots that sense, think, act, and compute 2 40 11d science.org/doi/10.1126/scirobotics.adu8009 451'It was like a dream': How Australia's rarest bird of prey was found 0 5 11d watoday.com.au/national/western-australia/it-was-like-a-dream-how-australia-s-rarest-bird-of-prey-was-found-in-wa-s-north-20251210-p5nmkx.html 452Pingfs: Stores your data in ICMP ping packets (2020) 26 78 11d github.com/yarrick/pingfs 453What happens when the coding becomes the least interesting part of the work 0 4 11d obie.medium.com/what-happens-when-the-coding-becomes-the-least-interesting-part-of-the-work-ab10c213c660 454Pizlix: Memory Safe Linux from Scratch 30 100 11d fil-c.org/pizlix 455Modern SID chip substitutes [video] 12 70 11d youtube.com/watch?v=nooPmXxO6K0 456Larval stage support engineering: great at what doesn't scale 0 4 11d thundergolfer.com/startups/support/2025/12/13/support-eng-stage-1 457Laundry Insights from Scraping 4000 Washer/Dryers in San Francisco 1 3 11d kavi.sh/san-francisco-laundry-analysis 458Evaluating Gemini Robotics Policies in a Veo World Simulator 0 2 11d veo-robotics.github.io 459Unswitching Loops for Fun and Profit 0 2 11d xania.org/202512/12-loop-unswitching 460Resolving an ambiguity in the Windows clipboard automated text conversion table 0 2 11d devblogs.microsoft.com/oldnewthing/20251212-05/?p=111862 461Show HN: Interactive Common Lisp: An Enhanced REPL 9 101 11d github.com/atgreen/icl 462From Zero to QED: An informal introduction to formality with Lean 4 21 145 11d sdiehl.github.io/zero-to-qed/01_introduction.html 463Venezuela explained in 10 maps and charts 86 60 11d aljazeera.com/news/2025/11/28/venezuela-explained-in-10-maps-and-charts 464Linux System Calls 1 6 11d matheusmoreira.com/articles/linux-system-calls 465From profiling to kernel patch: the journey to an eBPF performance fix 2 50 11d rovarma.com/articles/from-profiling-to-kernel-patch-the-journey-to-an-ebpf-performance-fix 466Does my key fob have more computing power than the Lunar lander? 46 41 11d buzzsprout.com/2469780/episodes/18340142-17-does-my-key-fob-have-more-computing-power-than-the-lunar-lander 467How to Avoid IaC Drift 0 2 11d masterpoint.ionewsletter./p/how-to-avoid-iac-drift 468Faster Double-to-String Conversion 0 9 12d vitaut.net/posts/2025/faster-dtoa 469The Drosophila of Decision Science 0 2 12d jtpeterson.substack.com/p/the-drosophila-of-decision-science 470A Multimedia Sketchpad 0 4 12d beyondloom.com/blog/sketchpad.html 471The Legacy of Nicaea 47 37 12d hedgehogreview.com/web-features/thr/posts/the-legacy-of-nicaea 472I created a publishing system for step-by-step coding guides in Typst 9 38 12d knowledge.devpress./p/new-150-pages-rust-guide-create-a 473Fast SEQUENCE iteration in Common Lisp 11 60 12d world-playground-deceit.net/blog/2025/12/fast-sequence-iteration-in-common-lisp.html 474Essential Semiconductor Physics [pdf] 12 224 12d nanohub.org/resources/43623/download/Essential_Semiconductor_Physics.pdf 475Purrtran – ᓚᘏᗢ – A Programming Language for Cat People 37 272 12d github.com/cmontella/purrtran 476How does the CPU cache work? 0 13 12d 0xkato.xyz/How-CPU-Caches-Work 477Modern humans in Australia about 60k years ago via 2 routes – genetic analysis 0 4 12d smithsonianmag.com/smart-news/modern-humans-reached-australia-around-60000-years-ago-via-two-routes-genetic-analysis-suggests-180987821 478Reasoning with Sampling: Your Base Model Is Smarter Than You Think 0 2 12d arxiv.org/abs/2510.14901 479Show HN: UK Butchers Meat Price Tracker 8 16 12d offer-spider.onrender.com 480 More...