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... [
{
"id": 46261260,
"title": "Microscopic robots that sense, think, act, and compute",
"url": "https://www.science.org/doi/10.1126/scirobotics.adu8009",
"domain": "science.org",
"points": 40,
"comments": 2,
"time": 1765695034,
"user": "XzetaU8"
},
{
"id": 46260944,
"title": "'It was like a dream': How Australia's rarest bird of prey was found",
"url": "https://www.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",
"domain": "watoday.com.au",
"points": 5,
"comments": 0,
"time": 1765689677,
"user": "defrost"
},
{
"id": 46260901,
"title": "Pingfs: Stores your data in ICMP ping packets (2020)",
"url": "https://github.com/yarrick/pingfs",
"domain": "github.com/yarrick",
"points": 78,
"comments": 26,
"time": 1765688966,
"user": "linkdd"
},
{
"id": 46260883,
"title": "What happens when the coding becomes the least interesting part of the work",
"url": "https://obie.medium.com/what-happens-when-the-coding-becomes-the-least-interesting-part-of-the-work-ab10c213c660",
"domain": "obie.medium.com",
"points": 4,
"comments": 0,
"time": 1765688734,
"user": "gmays"
},
{
"id": 46260852,
"title": "Pizlix: Memory Safe Linux from Scratch",
"url": "https://fil-c.org/pizlix",
"domain": "fil-c.org",
"points": 100,
"comments": 30,
"time": 1765688347,
"user": "nullbyte808"
},
{
"id": 46260485,
"title": "Modern SID chip substitutes [video]",
"url": "https://www.youtube.com/watch?v=nooPmXxO6K0",
"domain": "youtube.com",
"points": 70,
"comments": 12,
"time": 1765682231,
"user": "vismit2000"
},
{
"id": 46260323,
"title": "Larval stage support engineering: great at what doesn't scale",
"url": "https://thundergolfer.com/startups/support/2025/12/13/support-eng-stage-1/",
"domain": "thundergolfer.com",
"points": 4,
"comments": 0,
"time": 1765679583,
"user": "thundergolfer"
},
{
"id": 46260118,
"title": "Laundry Insights from Scraping 4000 Washer/Dryers in San Francisco",
"url": "https://kavi.sh/san-francisco-laundry-analysis/",
"domain": "kavi.sh",
"points": 3,
"comments": 1,
"time": 1765676801,
"user": "2gremlin181"
},
{
"id": 46259936,
"title": "Evaluating Gemini Robotics Policies in a Veo World Simulator",
"url": "https://veo-robotics.github.io/",
"domain": "veo-robotics.github.io",
"points": 2,
"comments": 0,
"time": 1765674791,
"user": "thomasm6m6"
},
{
"id": 46259866,
"title": "Unswitching Loops for Fun and Profit",
"url": "https://xania.org/202512/12-loop-unswitching",
"domain": "xania.org",
"points": 2,
"comments": 0,
"time": 1765674046,
"user": "ibobev"
},
{
"id": 46259842,
"title": "Resolving an ambiguity in the Windows clipboard automated text conversion table",
"url": "https://devblogs.microsoft.com/oldnewthing/20251212-05/?p=111862",
"domain": "devblogs.microsoft.com/oldnewthing",
"points": 2,
"comments": 0,
"time": 1765673873,
"user": "ibobev"
},
{
"id": 46259671,
"title": "Show HN: Interactive Common Lisp: An Enhanced REPL",
"url": "https://github.com/atgreen/icl",
"domain": "github.com/atgreen",
"points": 101,
"comments": 9,
"time": 1765672262,
"user": "atgreen"
},
{
"id": 46259343,
"title": "From Zero to QED: An informal introduction to formality with Lean 4",
"url": "https://sdiehl.github.io/zero-to-qed/01_introduction.html",
"domain": "sdiehl.github.io",
"points": 145,
"comments": 21,
"time": 1765669323,
"user": "rwosync"
},
{
"id": 46258830,
"title": "Venezuela explained in 10 maps and charts",
"url": "https://www.aljazeera.com/news/2025/11/28/venezuela-explained-in-10-maps-and-charts",
"domain": "aljazeera.com",
"points": 60,
"comments": 86,
"time": 1765665050,
"user": "Anon84"
},
{
"id": 46258693,
"title": "Linux System Calls",
"url": "https://www.matheusmoreira.com/articles/linux-system-calls",
"domain": "matheusmoreira.com",
"points": 6,
"comments": 1,
"time": 1765664128,
"user": "enz"
},
{
"id": 46258583,
"title": "From profiling to kernel patch: the journey to an eBPF performance fix",
"url": "https://rovarma.com/articles/from-profiling-to-kernel-patch-the-journey-to-an-ebpf-performance-fix/",
"domain": "rovarma.com",
"points": 50,
"comments": 2,
"time": 1765663453,
"user": "todsacerdoti"
},
{
"id": 46258377,
"title": "Does my key fob have more computing power than the Lunar lander?",
"url": "https://www.buzzsprout.com/2469780/episodes/18340142-17-does-my-key-fob-have-more-computing-power-than-the-lunar-lander",
"domain": "buzzsprout.com",
"points": 41,
"comments": 46,
"time": 1765662088,
"user": "jammcq"
},
{
"id": 46258275,
"title": "How to Avoid IaC Drift",
"url": "https://newsletter.masterpoint.io/p/how-to-avoid-iac-drift",
"domain": "masterpoint.io",
"points": 2,
"comments": 0,
"time": 1765661442,
"user": "mooreds"
},
{
"id": 46257659,
"title": "Faster Double-to-String Conversion",
"url": "https://vitaut.net/posts/2025/faster-dtoa/",
"domain": "vitaut.net",
"points": 9,
"comments": 0,
"time": 1765657500,
"user": "todsacerdoti"
},
{
"id": 46257412,
"title": "The Drosophila of Decision Science",
"url": "https://jtpeterson.substack.com/p/the-drosophila-of-decision-science",
"domain": "jtpeterson.substack.com",
"points": 2,
"comments": 0,
"time": 1765655698,
"user": "surprisetalk"
},
{
"id": 46257407,
"title": "A Multimedia Sketchpad",
"url": "https://beyondloom.com/blog/sketchpad.html",
"domain": "beyondloom.com",
"points": 4,
"comments": 0,
"time": 1765655678,
"user": "surprisetalk"
},
{
"id": 46257210,
"title": "The Legacy of Nicaea",
"url": "https://hedgehogreview.com/web-features/thr/posts/the-legacy-of-nicaea",
"domain": "hedgehogreview.com",
"points": 37,
"comments": 47,
"time": 1765654454,
"user": "diodorus"
},
{
"id": 46257147,
"title": "I created a publishing system for step-by-step coding guides in Typst",
"url": "https://press.knowledge.dev/p/new-150-pages-rust-guide-create-a",
"domain": "knowledge.dev",
"points": 38,
"comments": 9,
"time": 1765653903,
"user": "deniskolodin"
},
{
"id": 46256946,
"title": "Fast SEQUENCE iteration in Common Lisp",
"url": "https://world-playground-deceit.net/blog/2025/12/fast-sequence-iteration-in-common-lisp.html",
"domain": "world-playground-deceit.net",
"points": 60,
"comments": 11,
"time": 1765652208,
"user": "BoingBoomTschak"
},
{
"id": 46256643,
"title": "Essential Semiconductor Physics [pdf]",
"url": "https://nanohub.org/resources/43623/download/Essential_Semiconductor_Physics.pdf",
"domain": "nanohub.org",
"points": 224,
"comments": 12,
"time": 1765649991,
"user": "akshatjiwan"
},
{
"id": 46256504,
"title": "Purrtran – ᓚᘏᗢ – A Programming Language for Cat People",
"url": "https://github.com/cmontella/purrtran",
"domain": "github.com/cmontella",
"points": 272,
"comments": 37,
"time": 1765648966,
"user": "simonpure"
},
{
"id": 46256486,
"title": "How does the CPU cache work?",
"url": "https://www.0xkato.xyz/How-CPU-Caches-Work/",
"domain": "0xkato.xyz",
"points": 13,
"comments": 0,
"time": 1765648830,
"user": "0xkato"
},
{
"id": 46256277,
"title": "Modern humans in Australia about 60k years ago via 2 routes – genetic analysis",
"url": "https://www.smithsonianmag.com/smart-news/modern-humans-reached-australia-around-60000-years-ago-via-two-routes-genetic-analysis-suggests-180987821/",
"domain": "smithsonianmag.com",
"points": 4,
"comments": 0,
"time": 1765647377,
"user": "bookofjoe"
},
{
"id": 46255969,
"title": "Reasoning with Sampling: Your Base Model Is Smarter Than You Think",
"url": "https://arxiv.org/abs/2510.14901",
"domain": "arxiv.org",
"points": 2,
"comments": 0,
"time": 1765645064,
"user": "gmays"
},
{
"id": 46255827,
"title": "Show HN: UK Butchers Meat Price Tracker",
"url": "https://offer-spider.onrender.com",
"domain": "offer-spider.onrender.com",
"points": 16,
"comments": 8,
"time": 1765643829,
"user": "wolfer"
}
]