2025 Archive
13891.
Unikernel Linux (UKL) (2023) (dl.acm.org)
13892.
Minimal Boolean Formulas (2011) (research.swtch.com)
13893.
Mangle – a language for deductive database programming (github.com)
13894.
Collatz's Ant (gbragafibra.github.io)
13895.
A. A. Milne's Winnie-the-Pooh as an accessible eBook (tilde.zone)
13896.
About A comprehensive guide for Linux Network (Socket) programming (github.com)
13897.
C++ Web Server on my custom hobby OS (oshub.org)
13898.
How to Reproduce This Book with LaTeX (github.com)
13899.
Query Engines: Push vs. Pull (2021) (justinjaffray.com)
13900.
DeepSeek Open Source Optimized Parallelism Strategies, 3 repos (github.com)
13901.
We built a resource hub to fight back against age verification (eff.org)
13902.
Using watermarks to coordinate change data capture in Postgres (blog.sequinstream.com)
13903.
Ask HN: Who wants to be hired? (October 2025)
13904.
Backlash to artificial dye grows as Kraft ditches coloring for Kool-Aid, Jell-O (washingtonpost.com)
13905.
Interstellar Flight: Perspectives and Patience (centauri-dreams.org)
13906.
GNOME 50 completes the migration to Wayland, dropping X11 backend code (linuxiac.com)
13907.
AMD RDNA 4 – AMD Radeon RX 9000 Series Graphics Cards (amd.com)
13908.
More people are getting tattoos removed (gq.com)
13909.
The web runs on tolerance (shkspr.mobi)
13910.
A short post on short trains (shakeddown.substack.com)
13911.
Americans can't afford their cars any more and Wall Street is worried (telegraph.co.uk)
13912.
Notion Mail is out (notion.com)
13913.
The Monks in the Casino (derekthompson.org)
13914.
Google did not unilaterally decide to kill XSLT (meyerweb.com)
13915.
Ilya Sutskever, Yann LeCun and the End of “Just Add GPUs” (abzglobal.net)
13916.
Simulator of the life of a 30-year-old in the UK (nicksimulator.com)
13917.
Tether is now the 17th largest holder of US debt (twitter.com)
13918.
Tough truths about climate (gatesnotes.com)
13919.
Finland is painting deer antlers with reflective paint (2014) (smithsonianmag.com)
13920.
Studio Ghibli, Bandai Namco, Square Enix Demand OpenAI to Stop Using Their IP (theverge.com)