Tony Hoare has died (blog.computationalcomplexity.org)

747 points by speckx 3 hours ago | 76 comments

Show HN: RunAnwhere – Faster AI Inference on Apple Silicon (github.com)

56 points by sanchitmonga22 an hour ago | 11 comments

I built a programming language using Claude Code (ankursethi.com)

30 points by GeneralMaximus an hour ago | 34 comments

Debian decides not to decide on AI-generated contributions (lwn.net)

145 points by jwilk 3 hours ago | 112 comments

Intel Demos Chip to Compute with Encrypted Data (spectrum.ieee.org)

154 points by sohkamyung 5 hours ago | 50 comments

I put my whole life into a single database (howisfelix.today)

342 points by lukakopajtic 8 hours ago | 160 comments

Show HN: How I Topped the HuggingFace Open LLM Leaderboard on Two Gaming GPUs (dnhkng.github.io)

133 points by dnhkng 5 hours ago | 47 comments

Launch HN: Didit (YC W26) – Stripe for Identity Verification (undefined)

32 points by rosasalberto 3 hours ago | 34 comments

Meta acquires Moltbook (axios.com)

203 points by mmayberry 3 hours ago | 123 comments

Billion-Parameter Theories (worldgov.org)

3 points by seanlinehan 10 minutes ago | 0 comments

Online age-verification tools for child safety are surveilling adults (cnbc.com)

330 points by bilsbie 5 hours ago | 192 comments

I used pulsar detection techniques to turn a phone into a watch timegrapher (chronolog.watch)

20 points by tylerjaywood 3 days ago | 4 comments

Rebasing in Magit (entropicthoughts.com)

130 points by ibobev 4 hours ago | 91 comments

The Gervais Principle, or the Office According to "The Office" (2009) (ribbonfarm.com)

226 points by janandonly 3 days ago | 96 comments

PgAdmin 4 9.13 with AI Assistant Panel (pgadmin.org)

68 points by __natty__ 6 hours ago | 19 comments

Open Weights Isn't Open Training (workshoplabs.ai)

10 points by addiefoote8 18 hours ago | 1 comments

More agent tools and AI tools should be pricing on outcomes (jxnl.co)

4 points by AnhTho_FR 16 hours ago | 0 comments

We are building data breach machines and nobody cares (idealloc.me)

15 points by idealloc_haris 3 hours ago | 6 comments

Yann LeCun's AI startup raises $1B in Europe's largest ever seed round (ft.com)

379 points by ottomengis 7 hours ago | 203 comments

Sending Jabber/XMPP Messages via HTTP (gultsch.de)

42 points by inputmice 5 hours ago | 5 comments

Amazon is holding a mandatory meeting about AI breaking its systems (twitter.com)

245 points by lwhsiao 3 hours ago | 157 comments

How many options fit into a boolean? (herecomesthemoon.net)

31 points by luu 4 days ago | 16 comments

Show HN: DD Photos – open-source photo album site generator (Go and SvelteKit) (github.com)

43 points by dougdonohoe 5 hours ago | 11 comments

Defeat as Method (cabinetmagazine.org)

4 points by akbarnama an hour ago | 0 comments

A New Version of Our Oracle Solaris Environment for Developers (blogs.oracle.com)

35 points by naves 3 days ago | 21 comments

MariaDB innovation: vector index performance (smalldatum.blogspot.com)

8 points by gslin 3 days ago | 0 comments

Show HN: A modern React onboarding tour library (github.com)

3 points by bilater 2 hours ago | 0 comments

Caxlsx: Ruby gem for xlsx generation with charts, images, schema validation (github.com)

60 points by earcar 4 days ago | 4 comments

Show HN: A retention mechanic for learning that isn't Duolingo manipulation? (dailylabs.co)

3 points by aidanadd 18 hours ago | 1 comments

Practical Guide to Bare Metal C++ (arobenko.github.io)

93 points by ibobev 4 days ago | 33 comments