- 3Manufacturer bloatware is finally becoming optional – and this app is proof (makeuseof.com)
- 2Show HN: 1000 C++ problems, every solution compiled and tested on g++ (hatemwave.gumroad.com)
- 5The Web We Know Is Going to Disappear (minid.net)
- 3Show HN: Unique Gemstones for Your Strings (seedstone.xyz)
- 22Triple Shockwave from Sun Crossing Rocket (apod.nasa.gov)
- 3Show HN: Sweepr – Daily Minesweeper with a guess-free board generator (sweepr.online)
- 2Metaspec: The dpANS3 Common Lisp Specification in s-expr format (metaspec.dev)
- 5Dependent Haskell – Vladislav Zavialov (typetheoryforall.com)
- 2The Mote in AI's Eye: software engineering with agents (musicallyut.xyz)
- 2It doesn't matter if it works (henry.codes)
- 2Fallow – Deterministic codebase intelligence for TypeScript and JavaScript (github.com)
- 4From Australia to Europe, countries move to curb children's social media access (reuters.com)
- 3Five Papers That Show Where AI Research Is Heading (youtube.com)
- 6Show HN: Memorypad – A note editor for your daily notes, in Markdown (memorypad.io)
- 2The Third Generation of Apple's Foundation Models (machinelearning.apple.com)
- 2Tuningfork – LLM agent grounding rules derived from human reality-testing (github.com)
- 2The agent principal-agent problem (crawshaw.io)
- 2Lamport Signature (en.wikipedia.org)
- 2The Hanging Gardens Problem (2024) (ar-ms.me)
- 4Rails: The Sharp Parts. Callbacks Are Not Invariants (baweaver.com)
- 3Rails: The Sharp Parts. Queries, Read Models, and Batching (baweaver.com)
- 2Summary of Key Changes in OMB's Proposed Federal Financial Assistance Rule (elizabethginexi.substack.com)
- 2Show HN: CLI for crawling documentation sites into Markdown with defuddle (github.com)
- 2Cyber leaders defend Anthropic's banned model (axios.com)
- 2Batta – plan-phase security reviews for AI coding agents (OSS) (github.com)
- 5IT Wage Slave Simulator (knowledgeworker.alexmeub.com)
- 2The Anthropic Fable Mess (cautiousoptimism.news)
- 3How to pass Series A security due diligence (before it catches you off guard) (faultlinesec.com)
- 2"is just a state change" [video] (youtube.com)
- 5Is Vibe Coding Dead? Even Karpathy Is Moving On (forbes.com)