Hacker News

1.		Tony Hoare has died (computationalcomplexity.org)
		1315 points by speckx 8 hours ago \| hide \| 180 comments
2.		After outages, Amazon to make senior engineers sign off on AI-assisted changes (arstechnica.com)
		302 points by ndr42 3 hours ago \| hide \| 314 comments
3.		RISC-V Is Sloooow (juszkiewicz.com.pl)
		123 points by todsacerdoti 2 hours ago \| hide \| 100 comments
4.		U+237C ⍼ Is Azimuth (ionathan.ch)
		16 points by cokernel_hacker 26 minutes ago \| hide \| 3 comments
5.		Agents that run while I sleep (claudecodecamp.com)
		168 points by aray07 3 hours ago \| hide \| 117 comments
6.		Yann LeCun raises $1B to build AI that understands the physical world (wired.com)
		256 points by helloplanets 5 hours ago \| hide \| 292 comments
7.		HyperCard discovery: Neuromancer, Count Zero, Mona Lisa Overdrive (2022) (macintoshgarden.org)
		74 points by naves 3 hours ago \| hide \| 22 comments
8.		Launch HN: RunAnywhere (YC W26) – Faster AI Inference on Apple Silicon (github.com/runanywhereai)
		161 points by sanchitmonga22 5 hours ago \| hide \| 74 comments
9.		Debian decides not to decide on AI-generated contributions (lwn.net)
		252 points by jwilk 8 hours ago \| hide \| 202 comments
10.		Cloudflare Crawl Endpoint (cloudflare.com)
		8 points by jeffpalmer 32 minutes ago \| hide \| discuss
11.		FFmpeg-over-IP – Connect to remote FFmpeg servers (github.com/steelbrain)
		85 points by steelbrain 4 hours ago \| hide \| 39 comments
12.		Invoker Commands API (developer.mozilla.org)
		28 points by maqnius 2 hours ago \| hide \| 5 comments
13.		Billion-Parameter Theories (worldgov.org)
		84 points by seanlinehan 5 hours ago \| hide \| 53 comments
14.		Universal vaccine against respiratory infections and allergens (stanford.edu)
		22 points by phony-account 26 minutes ago \| hide \| 5 comments
15.		Levels of Agentic Engineering (bassimeledath.com)
		87 points by bombastic311 5 hours ago \| hide \| 46 comments
16.		Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy (redox-os.org)
		355 points by pjmlp 14 hours ago \| hide \| 356 comments
17.		Intel Demos Chip to Compute with Encrypted Data (ieee.org)
		208 points by sohkamyung 9 hours ago \| hide \| 81 comments
18.		Exploring the ocean with Raspberry Pi–powered marine robots (raspberrypi.com)
		25 points by Brajeshwar 3 hours ago \| hide \| 3 comments
19.		Online age-verification tools for child safety are surveilling adults (cnbc.com)
		487 points by bilsbie 10 hours ago \| hide \| 287 comments
20.		Open Weights isn't Open Training (workshoplabs.ai)
		70 points by addiefoote8 6 hours ago \| hide \| 20 comments
21.		I put my whole life into a single database (howisfelix.today)
		402 points by lukakopajtic 12 hours ago \| hide \| 191 comments
22.		Show HN: What's my JND? – a colour guessing game (keithcirkel.co.uk)
		19 points by Keithamus 1 hour ago \| hide \| 21 comments
23.		Rebasing in Magit (entropicthoughts.com)
		173 points by ibobev 9 hours ago \| hide \| 119 comments
24.		Show HN: How I Topped the HuggingFace Open LLM Leaderboard on Two Gaming GPUs (dnhkng.github.io)
		236 points by dnhkng 9 hours ago \| hide \| 79 comments
25.		Show HN: Joha – a free browser-based drawing playground with preset shape tools (joha-app.pages.dev)
		4 points by smlee 1 hour ago \| hide \| discuss
26.		Launch HN: Didit (YC W26) – Stripe for Identity Verification
		48 points by rosasalberto 7 hours ago \| hide \| 45 comments
27.		Meta acquires Moltbook (axios.com)
		359 points by mmayberry 8 hours ago \| hide \| 225 comments
28.		I built a programming language using Claude Code (ankursethi.com)
		96 points by GeneralMaximus 6 hours ago \| hide \| 137 comments
29.		We are building data breach machines and nobody cares (idealloc.me)
		81 points by idealloc_haris 8 hours ago \| hide \| 27 comments
30.		Defeat as Method (cabinetmagazine.org)
		39 points by akbarnama 5 hours ago \| hide \| 6 comments
		More