Hacker News

1.		Tony Hoare has died (computationalcomplexity.org)
		744 points by speckx 3 hours ago \| hide \| 75 comments
2.		Show HN: RunAnwhere – Faster AI Inference on Apple Silicon (github.com/runanywhereai)
		54 points by sanchitmonga22 44 minutes ago \| hide \| 11 comments
3.		I built a programming language using Claude Code (ankursethi.com)
		30 points by GeneralMaximus 1 hour ago \| hide \| 30 comments
4.		Debian decides not to decide on AI-generated contributions (lwn.net)
		145 points by jwilk 3 hours ago \| hide \| 111 comments
5.		Intel Demos Chip to Compute with Encrypted Data (ieee.org)
		154 points by sohkamyung 4 hours ago \| hide \| 50 comments
6.		I put my whole life into a single database (howisfelix.today)
		341 points by lukakopajtic 7 hours ago \| hide \| 161 comments
7.		Show HN: How I Topped the HuggingFace Open LLM Leaderboard on Two Gaming GPUs (dnhkng.github.io)
		133 points by dnhkng 4 hours ago \| hide \| 47 comments
8.		Launch HN: Didit (YC W26) – Stripe for Identity Verification
		32 points by rosasalberto 2 hours ago \| hide \| 34 comments
9.		Meta acquires Moltbook (axios.com)
		201 points by mmayberry 3 hours ago \| hide \| 122 comments
10.		Billion-Parameter Theories (worldgov.org)
		3 points by seanlinehan 9 minutes ago \| hide \| discuss
11.		Online age-verification tools for child safety are surveilling adults (cnbc.com)
		329 points by bilsbie 5 hours ago \| hide \| 191 comments
12.		I used pulsar detection techniques to turn a phone into a watch timegrapher (chronolog.watch)
		20 points by tylerjaywood 2 hours ago \| hide \| 4 comments
13.		Rebasing in Magit (entropicthoughts.com)
		130 points by ibobev 4 hours ago \| hide \| 91 comments
14.		The Gervais Principle, or the Office According to "The Office" (2009) (ribbonfarm.com)
		226 points by janandonly 10 hours ago \| hide \| 96 comments
15.		Open Weights Isn't Open Training (workshoplabs.ai)
		10 points by addiefoote8 1 hour ago \| hide \| 1 comment
16.		PgAdmin 4 9.13 with AI Assistant Panel (pgadmin.org)
		68 points by __natty__ 6 hours ago \| hide \| 19 comments
17.		More agent tools and AI tools should be pricing on outcomes (jxnl.co)
		4 points by AnhTho_FR 1 hour ago \| hide \| discuss
18.		We are building data breach machines and nobody cares (idealloc.me)
		15 points by idealloc_haris 3 hours ago \| hide \| 6 comments
19.		Amazon is holding a mandatory meeting about AI breaking its systems (twitter.com/lukolejnik)
		245 points by lwhsiao 2 hours ago \| hide \| 156 comments
20.		Yann LeCun's AI startup raises $1B in Europe's largest ever seed round (ft.com)
		378 points by ottomengis 7 hours ago \| hide \| 203 comments
21.		Sending Jabber/XMPP Messages via HTTP (gultsch.de)
		41 points by inputmice 4 hours ago \| hide \| 5 comments
22.		How many options fit into a boolean? (herecomesthemoon.net)
		30 points by luu 3 hours ago \| hide \| 16 comments
23.		Show HN: DD Photos – open-source photo album site generator (Go and SvelteKit) (github.com/dougdonohoe)
		43 points by dougdonohoe 4 hours ago \| hide \| 11 comments
24.		A New Version of Our Oracle Solaris Environment for Developers (oracle.com)
		35 points by naves 5 hours ago \| hide \| 21 comments
25.		MariaDB innovation: vector index performance (smalldatum.blogspot.com)
		8 points by gslin 1 hour ago \| hide \| discuss
26.		Caxlsx: Ruby gem for xlsx generation with charts, images, schema validation (github.com/caxlsx)
		60 points by earcar 6 hours ago \| hide \| 4 comments
27.		Show HN: A retention mechanic for learning that isn't Duolingo manipulation? (dailylabs.co)
		3 points by aidanadd 1 hour ago \| hide \| 1 comment
28.		Practical Guide to Bare Metal C++ (arobenko.github.io)
		93 points by ibobev 8 hours ago \| hide \| 32 comments
29.		Show HN: Satellite imagery object detection using text prompts (useful-ai-tools.com)
		4 points by eyasu6464 1 hour ago \| hide \| discuss
30.		Microsoft Copilot Update Hijacks Default Browser Links (reclaimthenet.org)
		18 points by miohtama 54 minutes ago \| hide \| 1 comment
		More