Hacker News

1.		Tony Hoare has died (computationalcomplexity.org)
		1583 points by speckx 13 hours ago \| hide \| 204 comments
2.		U+237C ⍼ Is Azimuth (ionathan.ch)
		194 points by cokernel_hacker 5 hours ago \| hide \| 20 comments
3.		Zig – Type Resolution Redesign and Language Changes (ziglang.org)
		54 points by Retro_Dev 2 hours ago \| hide \| 13 comments
4.		Cloudflare crawl endpoint (cloudflare.com)
		163 points by jeffpalmer 5 hours ago \| hide \| 81 comments
5.		Agents that run while I sleep (claudecodecamp.com)
		257 points by aray07 8 hours ago \| hide \| 225 comments
6.		Yann LeCun raises $1B to build AI that understands the physical world (wired.com)
		365 points by helloplanets 10 hours ago \| hide \| 340 comments
7.		Writing my own text editor, and daily-driving it (jsbarretto.com)
		25 points by todsacerdoti 1 hour ago \| hide \| 1 comment
8.		SSH Secret Menu (twitter.com/rebane2001)
		88 points by piccirello 5 hours ago \| hide \| 36 comments
9.		Launch HN: RunAnywhere (YC W26) – Faster AI Inference on Apple Silicon (github.com/runanywhereai)
		192 points by sanchitmonga22 10 hours ago \| hide \| 111 comments
10.		Universal vaccine against respiratory infections and allergens (stanford.edu)
		148 points by phony-account 5 hours ago \| hide \| 54 comments
11.		Debian decides not to decide on AI-generated contributions (lwn.net)
		294 points by jwilk 13 hours ago \| hide \| 220 comments
12.		Mesh over Bluetooth LE, TCP, or Reticulum (github.com/torlando-tech)
		50 points by khimaros 5 hours ago \| hide \| 5 comments
13.		EQT eyes potential $6B sale of Linux pioneer SUSE, sources say (reuters.com)
		25 points by shscs911 3 hours ago \| hide \| 6 comments
14.		FFmpeg-over-IP – Connect to remote FFmpeg servers (github.com/steelbrain)
		138 points by steelbrain 9 hours ago \| hide \| 52 comments
15.		Invoker Commands API (developer.mozilla.org)
		66 points by maqnius 7 hours ago \| hide \| 12 comments
16.		Bippy: React Internals Toolkit (bippy.dev)
		27 points by handfuloflight 5 hours ago \| hide \| 6 comments
17.		Online age-verification tools for child safety are surveilling adults (cnbc.com)
		583 points by bilsbie 15 hours ago \| hide \| 314 comments
18.		Meta acquires Moltbook (axios.com)
		444 points by mmayberry 13 hours ago \| hide \| 293 comments
19.		Exploring the ocean with Raspberry Pi–powered marine robots (raspberrypi.com)
		61 points by Brajeshwar 8 hours ago \| hide \| 7 comments
20.		Intel Demos Chip to Compute with Encrypted Data (ieee.org)
		226 points by sohkamyung 14 hours ago \| hide \| 93 comments
21.		Julia Snail – An Emacs Development Environment for Julia Like Clojure's Cider (github.com/gcv)
		8 points by TheWiggles 1 hour ago \| hide \| discuss
22.		Roblox is minting teen millionaires (bloomberg.com)
		79 points by petethomas 9 hours ago \| hide \| 81 comments
23.		RISC-V Is Sloooow (juszkiewicz.com.pl)
		187 points by todsacerdoti 7 hours ago \| hide \| 173 comments
24.		Show HN: How I topped the HuggingFace open LLM leaderboard on two gaming GPUs (dnhkng.github.io)
		324 points by dnhkng 14 hours ago \| hide \| 92 comments
25.		Launch HN: Didit (YC W26) – Stripe for Identity Verification
		53 points by rosasalberto 11 hours ago \| hide \| 52 comments
26.		After outages, Amazon to make senior engineers sign off on AI-assisted changes (arstechnica.com)
		481 points by ndr42 8 hours ago \| hide \| 407 comments
27.		Rebasing in Magit (entropicthoughts.com)
		191 points by ibobev 14 hours ago \| hide \| 128 comments
28.		Tell HN: Apple development certificate server seems down?
		74 points by strongpigeon 8 hours ago \| hide \| 29 comments
29.		"I built a spell checker for back end configuration mistakes." (npmjs.com)
		4 points by karthicedricq 2 hours ago \| hide \| 1 comment
30.		The Gervais Principle, or the Office According to “The Office” (2009) (ribbonfarm.com)
		298 points by janandonly 20 hours ago \| hide \| 124 comments
		More