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