Hacker News with Generative AI

Tony Hoare has died (computationalcomplexity.org)
Show HN: RunAnwhere – Faster AI Inference on Apple Silicon (github.com/RunanywhereAI)
Debian decides not to decide on AI-generated contributions (lwn.net)
Billion-Parameter Theories (worldgov.org)
I built a programming language using Claude Code (ankursethi.com)
Intel Demos Chip to Compute with Encrypted Data (ieee.org)
Rebasing in Magit (entropicthoughts.com)
I put my whole life into a single database (howisfelix.today)
Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy (redox-os.org)
Meta acquires Moltbook (axios.com)
Show HN: How I Topped the HuggingFace Open LLM Leaderboard on Two Gaming GPUs (dnhkng.github.io)
Launch HN: Didit (YC W26) – Stripe for Identity Verification (ycombinator.com)
More agent tools and AI tools should be pricing on outcomes (jxnl.co)
RFC 454545 – Human Em Dash Standard (github.com)
The Enterprise Context Layer (andychen32.substack.com)
I used pulsar detection techniques to turn a phone into a watch timegrapher (chronolog.watch)
Open Weights Isn't Open Training (workshoplabs.ai)
Online age-verification tools for child safety are surveilling adults (cnbc.com)
Defeat as Method (cabinetmagazine.org)
The Gervais Principle, or the Office According to "The Office" (2009) (ribbonfarm.com)
We are building data breach machines and nobody cares (idealloc.me)
PgAdmin 4 9.13 with AI Assistant Panel (pgadmin.org)
Levels of Agentic Engineering (bassimeledath.com)
Yann LeCun's AI startup raises $1B in Europe's largest ever seed round (ft.com)
How many options fit into a boolean? (herecomesthemoon.net)
Sending Jabber/XMPP Messages via HTTP (gultsch.de)
MariaDB innovation: vector index performance (blogspot.com)
A New Version of Our Oracle Solaris Environment for Developers (oracle.com)
Show HN: DD Photos – open-source photo album site generator (Go and SvelteKit) (github.com/dougdonohoe)