Hacker News

1.		Tony Hoare has died (computationalcomplexity.org)
		1655 points by speckx 15 hours ago \| hide \| 214 comments
2.		Zig – Type Resolution Redesign and Language Changes (ziglang.org)
		111 points by Retro_Dev 4 hours ago \| hide \| 31 comments
3.		U+237C ⍼ Is Azimuth (ionathan.ch)
		227 points by cokernel_hacker 7 hours ago \| hide \| 23 comments
4.		Cloudflare crawl endpoint (cloudflare.com)
		216 points by jeffpalmer 7 hours ago \| hide \| 96 comments
5.		Julia Snail – An Emacs Development Environment for Julia Like Clojure's Cider (github.com/gcv)
		31 points by TheWiggles 3 hours ago \| hide \| 3 comments
6.		Agents that run while I sleep (claudecodecamp.com)
		288 points by aray07 10 hours ago \| hide \| 270 comments
7.		Writing my own text editor, and daily-driving it (jsbarretto.com)
		56 points by todsacerdoti 3 hours ago \| hide \| 10 comments
8.		Yann LeCun raises $1B to build AI that understands the physical world (wired.com)
		403 points by helloplanets 12 hours ago \| hide \| 350 comments
9.		SSH Secret Menu (twitter.com/rebane2001)
		128 points by piccirello 7 hours ago \| hide \| 46 comments
10.		Launch HN: RunAnywhere (YC W26) – Faster AI Inference on Apple Silicon (github.com/runanywhereai)
		199 points by sanchitmonga22 12 hours ago \| hide \| 122 comments
11.		Debian decides not to decide on AI-generated contributions (lwn.net)
		306 points by jwilk 15 hours ago \| hide \| 233 comments
12.		Universal vaccine against respiratory infections and allergens (stanford.edu)
		184 points by phony-account 7 hours ago \| hide \| 64 comments
13.		Mesh over Bluetooth LE, TCP, or Reticulum (github.com/torlando-tech)
		63 points by khimaros 7 hours ago \| hide \| 7 comments
14.		Standardizing Source Maps (bloomberg.github.io)
		3 points by Timothee 1 hour ago \| hide \| discuss
15.		FFmpeg-over-IP – Connect to remote FFmpeg servers (github.com/steelbrain)
		157 points by steelbrain 11 hours ago \| hide \| 53 comments
16.		Invoker Commands API (developer.mozilla.org)
		75 points by maqnius 9 hours ago \| hide \| 13 comments
17.		EQT eyes potential $6B sale of Linux pioneer SUSE, sources say (reuters.com)
		37 points by shscs911 5 hours ago \| hide \| 10 comments
18.		Meta acquires Moltbook (axios.com)
		462 points by mmayberry 15 hours ago \| hide \| 301 comments
19.		Intel Demos Chip to Compute with Encrypted Data (ieee.org)
		237 points by sohkamyung 16 hours ago \| hide \| 104 comments
20.		Roblox is minting teen millionaires (bloomberg.com)
		100 points by petethomas 11 hours ago \| hide \| 98 comments
21.		Show HN: How I topped the HuggingFace open LLM leaderboard on two gaming GPUs (dnhkng.github.io)
		358 points by dnhkng 16 hours ago \| hide \| 94 comments
22.		Pike: To Exit or Not to Exit (tomjohnell.com)
		4 points by dnw 1 hour ago \| hide \| discuss
23.		Launch HN: Didit (YC W26) – Stripe for Identity Verification
		60 points by rosasalberto 13 hours ago \| hide \| 57 comments
24.		Bippy: React Internals Toolkit (bippy.dev)
		30 points by handfuloflight 7 hours ago \| hide \| 6 comments
25.		Exploring the ocean with Raspberry Pi–powered marine robots (raspberrypi.com)
		72 points by Brajeshwar 10 hours ago \| hide \| 9 comments
26.		Rebasing in Magit (entropicthoughts.com)
		197 points by ibobev 16 hours ago \| hide \| 132 comments
27.		After outages, Amazon to make senior engineers sign off on AI-assisted changes (arstechnica.com)
		518 points by ndr42 10 hours ago \| hide \| 418 comments
28.		Open Weights isn't Open Training (workshoplabs.ai)
		92 points by addiefoote8 13 hours ago \| hide \| 30 comments
29.		Traditional tales from Cornwall, with maps for stories' locations (mazedtales.org)
		9 points by ohjeez 3 hours ago \| hide \| discuss
30.		Mother of All Grease Fires (1994) (milk.com)
		53 points by xk3 10 hours ago \| hide \| 21 comments
		More