- 261Shai-Hulud compromised a dev machine and raided GitHub org access: a post-mortem (trigger.dev)
- 629Sick of smart TVs? Here are your best options (arstechnica.com)
- 83Lean theorem prover mathlib (github.com)
- 583OpenAI are quietly adopting skills, now available in ChatGPT and Codex CLI (simonwillison.net)
- 1189GPT-5.2 (openai.com)
- 5Why companies should still hire junior developers in the AI era (aroussi.com)
- 303I fed 24 years of my blog posts to a Markov model (susam.net)
- 55Nvidia Nemotron 3 Family of Models (research.nvidia.com)
- 98Closures as Win32 Window Procedures (nullprogram.com)
- 66Illuminating the processor core with LLVM-mca (abseil.io)
- 27Falcon 9 rocket launches Starlink satellites before making 550th SpaceX landing (space.com)
- 61Show HN: I Ching simulator with accurate Yarrow Stalk probabilities (castiching.com)
- 156Freeing a Xiaomi humidifier from the cloud (0l.de)
- 8Show HN: Open-Source Notion MCP Server (TypeScript, SSE, Apify) (github.com)
- 233Kimi K2 1T model runs on 2 512GB M3 Ultras (twitter.com)
- 24Amazon's Aggressive Push to Get Cops Using AI Surveillance (forbes.com)
- 94Australia's social media ban was pushed by ad agency focused on gambling ads (techdirt.com)
- 424Pro-democracy HK tycoon Jimmy Lai convicted in national security trial (bbc.com)
- 34Younger Futhorc (ᛡᛟᛝᛖᚱ᛬ᚠᚢᚦᚩᚱᚳ) (omniglot.com)
- 187Ensuring a National Policy Framework for Artificial Intelligence (whitehouse.gov)
- 29MI6 chief: Tech giants are closer to running the world than politicians (inews.co.uk)
- 536macOS 26.2 enables fast AI clusters with RDMA over Thunderbolt (developer.apple.com)
- 346I tried Gleam for Advent of Code (blog.tymscar.com)
- 436What is the nicest thing a stranger has ever done for you? (louplummer.lol)
- 43O'saasy License Agreement (osaasy.dev)
- 58The biggest heat pumps in the world (bbc.com)
- 162iOS 26.2 fixes 20 security vulnerabilities, 2 actively exploited (macrumors.com)
- 14050 years of proof assistants (lawrencecpaulson.github.io)
- 25Thin Desires Are Eating Your Life (joanwestenberg.com)
- 131Compiler Engineering in Practice (chisophugis.github.io)