Hacker News

1.		Tony Hoare has died (computationalcomplexity.org)
		1548 points by speckx 12 hours ago \| hide \| 200 comments
2.		U+237C ⍼ Is Azimuth (ionathan.ch)
		170 points by cokernel_hacker 4 hours ago \| hide \| 18 comments
3.		Cloudflare crawl endpoint (cloudflare.com)
		147 points by jeffpalmer 4 hours ago \| hide \| 69 comments
4.		Zig – Type Resolution Redesign and Language Changes (ziglang.org)
		27 points by Retro_Dev 1 hour ago \| hide \| 3 comments
5.		Agents that run while I sleep (claudecodecamp.com)
		245 points by aray07 7 hours ago \| hide \| 202 comments
6.		Yann LeCun raises $1B to build AI that understands the physical world (wired.com)
		357 points by helloplanets 9 hours ago \| hide \| 330 comments
7.		SSH Secret Menu (twitter.com/rebane2001)
		67 points by piccirello 4 hours ago \| hide \| 29 comments
8.		Launch HN: RunAnywhere (YC W26) – Faster AI Inference on Apple Silicon (github.com/runanywhereai)
		187 points by sanchitmonga22 9 hours ago \| hide \| 107 comments
9.		Mesh over Bluetooth LE, TCP, or Reticulum (github.com/torlando-tech)
		43 points by khimaros 4 hours ago \| hide \| 2 comments
10.		Debian decides not to decide on AI-generated contributions (lwn.net)
		291 points by jwilk 12 hours ago \| hide \| 214 comments
11.		Universal vaccine against respiratory infections and allergens (stanford.edu)
		121 points by phony-account 4 hours ago \| hide \| 40 comments
12.		EQT eyes potential $6B sale of Linux pioneer SUSE, sources say (reuters.com)
		17 points by shscs911 2 hours ago \| hide \| 1 comment
13.		FFmpeg-over-IP – Connect to remote FFmpeg servers (github.com/steelbrain)
		132 points by steelbrain 8 hours ago \| hide \| 51 comments
14.		Invoker Commands API (developer.mozilla.org)
		61 points by maqnius 6 hours ago \| hide \| 12 comments
15.		Writing my own text editor, and daily-driving it (jsbarretto.com)
		6 points by todsacerdoti 55 minutes ago \| hide \| discuss
16.		Bippy: React Internals Toolkit (bippy.dev)
		23 points by handfuloflight 4 hours ago \| hide \| 4 comments
17.		Meta acquires Moltbook (axios.com)
		433 points by mmayberry 12 hours ago \| hide \| 283 comments
18.		Online age-verification tools for child safety are surveilling adults (cnbc.com)
		563 points by bilsbie 14 hours ago \| hide \| 309 comments
19.		Intel Demos Chip to Compute with Encrypted Data (ieee.org)
		224 points by sohkamyung 13 hours ago \| hide \| 88 comments
20.		Exploring the ocean with Raspberry Pi–powered marine robots (raspberrypi.com)
		52 points by Brajeshwar 7 hours ago \| hide \| 7 comments
21.		RISC-V Is Sloooow (juszkiewicz.com.pl)
		181 points by todsacerdoti 6 hours ago \| hide \| 168 comments
22.		Launch HN: Didit (YC W26) – Stripe for Identity Verification
		52 points by rosasalberto 10 hours ago \| hide \| 51 comments
23.		After outages, Amazon to make senior engineers sign off on AI-assisted changes (arstechnica.com)
		463 points by ndr42 7 hours ago \| hide \| 403 comments
24.		Tell HN: Apple development certificate server seems down?
		71 points by strongpigeon 7 hours ago \| hide \| 28 comments
25.		Roblox is minting teen millionaires (bloomberg.com)
		70 points by petethomas 8 hours ago \| hide \| 72 comments
26.		Show HN: How I topped the HuggingFace open LLM leaderboard on two gaming GPUs (dnhkng.github.io)
		302 points by dnhkng 13 hours ago \| hide \| 88 comments
27.		Rebasing in Magit (entropicthoughts.com)
		187 points by ibobev 13 hours ago \| hide \| 126 comments
28.		"I built a spell checker for back end configuration mistakes." (npmjs.com)
		3 points by karthicedricq 1 hour ago \| hide \| 1 comment
29.		Networking with agents: Put them in the right conversations with Tailscale (firetiger.com)
		18 points by matsur 4 hours ago \| hide \| 3 comments
30.		Open Weights isn't Open Training (workshoplabs.ai)
		82 points by addiefoote8 10 hours ago \| hide \| 28 comments
		More