- 2ProofLayer Rules – runtime security, red-team evals for LangGraph (github.com)
- 1HAFT: Higher-Order Abstractions for Rust (deepcausality.com)
- 2Qatar pursued secret talks with Iran to shield gas complex from strikes (washingtonpost.com)
- 4Show HN: The A-C Coupling Theorem – Solving Diophantine Systems in O(1) (zenodo.org)
- 2Notion Is Migrating to SwiftUI, Apple Confirms at WWDC (macrumors.com)
- 3Fable 5 Released and Suddenly I'm Much More Paranoid About My VSCode Extensions (medium.com)
- 2The MilkV Jupiter 2/SpacemiT K3 (taoofmac.com)
- 6Palantir loses lawsuit disputing story of how Swiss govt rejected its services (theguardian.com)
- 1Show HN: DNSweep – DNS lookup with ASN, anycast, and CDN/WAF detection (dnsweep.com)
- 2A Lean 4-verified Balansis lib to eliminate NaN and make zero-division safe (github.com)
- 2Charlie Dalin, Who Set a Sailing Record While Battling Cancer, Dies at 42 (nytimes.com)
- 4Gene Shalit, longtime 'Today' show movie critic, dies at 100 (apnews.com)
- 5Elon Musk becomes first trillionaire (bbc.com)
- 5Text/Plain Blog (textplain.blog)
- 1OpenHands Index (index.openhands.dev)
- 2Let's call 'em "aigents" (autodidacts.io)
- 1Dhtmlx Gantt – JavaScript Gantt Chart (Community Edition) (github.com)
- 1CipherNode – An offline, self-correcting AI swarm compiled to a single .exe
- 5China cracks down on Western AI models while US companies flock to DeepSeek (techradar.com)
- 2Forbes declares Elon Musk as the world’s first trillionaire (forbes.com)
- 17A generic dynamic array in C that stores no capacity and needs no struct (gist.github.com)
- 2TempleOS running in the browser with custom emulator (templeosweb.netlify.app)
- 6Fred-80 – a fantasy console that runs on real Amiga hardware (68080 CPU) (medium.com)
- 1Streamlit (godsway-academy.streamlit.app)
- 3Michelangelo's Prisoner Graffiti (thehistoryblog.com)
- 4Show HN: Lead Qualifier – Get leads qualified in minutes (lead.robowrite.ai)
- 4Kimi-K2.7-Code (twitter.com)
- 1Agentic-Engineering-Handbook (github.com)
- 1Emerging Security Risks in Quantum Computing (myassineferjani.substack.com)
- 3Show HN: WebCLI – make the web browser just another agent skill (github.com)