- 782Tony Hoare has died (blog.computationalcomplexity.org)
- 71Show HN: RunAnwhere – Faster AI Inference on Apple Silicon (github.com)
- 35I built a programming language using Claude Code (ankursethi.com)
- 10Billion-Parameter Theories (worldgov.org)
- 153Debian decides not to decide on AI-generated contributions (lwn.net)
- 161Intel Demos Chip to Compute with Encrypted Data (spectrum.ieee.org)
- 343I put my whole life into a single database (howisfelix.today)
- 293Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy (gitlab.redox-os.org)
- 140Show HN: How I Topped the HuggingFace Open LLM Leaderboard on Two Gaming GPUs (dnhkng.github.io)
- 34Launch HN: Didit (YC W26) – Stripe for Identity Verification
- 10More agent tools and AI tools should be pricing on outcomes (jxnl.co)
- 26I used pulsar detection techniques to turn a phone into a watch timegrapher (chronolog.watch)
- 216Meta acquires Moltbook (axios.com)
- 344Online age-verification tools for child safety are surveilling adults (cnbc.com)
- 7The Enterprise Context Layer (andychen32.substack.com)
- 14Open Weights Isn't Open Training (workshoplabs.ai)
- 19We are building data breach machines and nobody cares (idealloc.me)
- 228The Gervais Principle, or the Office According to "The Office" (2009) (ribbonfarm.com)
- 131Rebasing in Magit (entropicthoughts.com)
- 70PgAdmin 4 9.13 with AI Assistant Panel (pgadmin.org)
- 5Defeat as Method (cabinetmagazine.org)
- 8Levels of Agentic Engineering (bassimeledath.com)
- 4Throwing away 18 months of code and starting over (tompiagg.io)
- 388Yann LeCun's AI startup raises $1B in Europe's largest ever seed round (ft.com)
- 33How many options fit into a boolean? (herecomesthemoon.net)
- 42Sending Jabber/XMPP Messages via HTTP (gultsch.de)
- 45Show HN: DD Photos – open-source photo album site generator (Go and SvelteKit) (github.com)
- 37A New Version of Our Oracle Solaris Environment for Developers (blogs.oracle.com)
- 254Amazon is holding a mandatory meeting about AI breaking its systems (twitter.com)
- 62Caxlsx: Ruby gem for xlsx generation with charts, images, schema validation (github.com)