- 14Lidar maker Luminar files for bankruptcy (investors.luminartech.com)
- 1190GPT-5.2 (openai.com)
- 83Lean theorem prover mathlib (github.com)
- 261Shai-Hulud compromised a dev machine and raided GitHub org access: a post-mortem (trigger.dev)
- 54Generative Optogenetics (darpa.mil)
- 8The Laffer Curve in Action (rodgercuddington.substack.com)
- 303I fed 24 years of my blog posts to a Markov model (susam.net)
- 6Autonomous code analyzer beats all human teams at OSS zero-day competition (theori.io)
- 9Show HN: Open-Source Notion MCP Server (TypeScript, SSE, Apify) (github.com)
- 98Closures as Win32 Window Procedures (nullprogram.com)
- 156Freeing a Xiaomi humidifier from the cloud (0l.de)
- 5Z3 Internals (Draft) (z3prover.github.io)
- 187Ensuring a National Policy Framework for Artificial Intelligence (whitehouse.gov)
- 66Illuminating the processor core with LLVM-mca (abseil.io)
- 537macOS 26.2 enables fast AI clusters with RDMA over Thunderbolt (developer.apple.com)
- 31Nasdaq to submit paperwork with SEC for round-the-clock trading (reuters.com)
- 233Kimi K2 1T model runs on 2 512GB M3 Ultras (twitter.com)
- 45UK to "encourage" Apple and Google to put nudity-blocking systems on phones (arstechnica.com)
- 437What is the nicest thing a stranger has ever done for you? (louplummer.lol)
- 347I tried Gleam for Advent of Code (blog.tymscar.com)
- 5Why companies should still hire junior developers in the AI era (aroussi.com)
- 56Nvidia Nemotron 3 Family of Models (research.nvidia.com)
- 35Younger Futhorc (ᛡᛟᛝᛖᚱ᛬ᚠᚢᚦᚩᚱᚳ) (omniglot.com)
- 14050 years of proof assistants (lawrencecpaulson.github.io)
- 44Should we fear Microsoft's monopoly? (cursor.tue.nl)
- 61Show HN: I Ching simulator with accurate Yarrow Stalk probabilities (castiching.com)
- 95Australia's social media ban was pushed by ad agency focused on gambling ads (techdirt.com)
- 209CM0 – A new Raspberry Pi you can't buy (jeffgeerling.com)
- 121Fedora: Open-source repository for long-term digital preservation (fedorarepository.org)
- 132Compiler Engineering in Practice (chisophugis.github.io)