Hacker News

1.		Tony Hoare has died (computationalcomplexity.org)
		1614 points by speckx 14 hours ago \| hide \| 210 comments
2.		U+237C ⍼ Is Azimuth (ionathan.ch)
		210 points by cokernel_hacker 6 hours ago \| hide \| 22 comments
3.		Zig – Type Resolution Redesign and Language Changes (ziglang.org)
		76 points by Retro_Dev 3 hours ago \| hide \| 17 comments
4.		Cloudflare crawl endpoint (cloudflare.com)
		192 points by jeffpalmer 6 hours ago \| hide \| 93 comments
5.		Julia Snail – An Emacs Development Environment for Julia Like Clojure's Cider (github.com/gcv)
		23 points by TheWiggles 2 hours ago \| hide \| discuss
6.		Agents that run while I sleep (claudecodecamp.com)
		274 points by aray07 9 hours ago \| hide \| 249 comments
7.		Yann LeCun raises $1B to build AI that understands the physical world (wired.com)
		388 points by helloplanets 11 hours ago \| hide \| 343 comments
8.		Writing my own text editor, and daily-driving it (jsbarretto.com)
		36 points by todsacerdoti 2 hours ago \| hide \| 7 comments
9.		SSH Secret Menu (twitter.com/rebane2001)
		109 points by piccirello 6 hours ago \| hide \| 40 comments
10.		Launch HN: RunAnywhere (YC W26) – Faster AI Inference on Apple Silicon (github.com/runanywhereai)
		197 points by sanchitmonga22 11 hours ago \| hide \| 118 comments
11.		Debian decides not to decide on AI-generated contributions (lwn.net)
		300 points by jwilk 14 hours ago \| hide \| 227 comments
12.		Universal vaccine against respiratory infections and allergens (stanford.edu)
		166 points by phony-account 6 hours ago \| hide \| 62 comments
13.		Mesh over Bluetooth LE, TCP, or Reticulum (github.com/torlando-tech)
		58 points by khimaros 6 hours ago \| hide \| 6 comments
14.		FFmpeg-over-IP – Connect to remote FFmpeg servers (github.com/steelbrain)
		147 points by steelbrain 10 hours ago \| hide \| 52 comments
15.		Invoker Commands API (developer.mozilla.org)
		71 points by maqnius 8 hours ago \| hide \| 12 comments
16.		Meta acquires Moltbook (axios.com)
		454 points by mmayberry 14 hours ago \| hide \| 296 comments
17.		Intel Demos Chip to Compute with Encrypted Data (ieee.org)
		233 points by sohkamyung 15 hours ago \| hide \| 99 comments
18.		Launch HN: Didit (YC W26) – Stripe for Identity Verification
		59 points by rosasalberto 12 hours ago \| hide \| 53 comments
19.		Roblox is minting teen millionaires (bloomberg.com)
		92 points by petethomas 10 hours ago \| hide \| 88 comments
20.		Traditional tales from Cornwall, with maps for stories' locations (mazedtales.org)
		4 points by ohjeez 2 hours ago \| hide \| discuss
21.		Exploring the ocean with Raspberry Pi–powered marine robots (raspberrypi.com)
		66 points by Brajeshwar 9 hours ago \| hide \| 8 comments
22.		Bippy: React Internals Toolkit (bippy.dev)
		27 points by handfuloflight 6 hours ago \| hide \| 6 comments
23.		Show HN: How I topped the HuggingFace open LLM leaderboard on two gaming GPUs (dnhkng.github.io)
		342 points by dnhkng 15 hours ago \| hide \| 92 comments
24.		Rebasing in Magit (entropicthoughts.com)
		195 points by ibobev 15 hours ago \| hide \| 131 comments
25.		After outages, Amazon to make senior engineers sign off on AI-assisted changes (arstechnica.com)
		501 points by ndr42 9 hours ago \| hide \| 411 comments
26.		EQT eyes potential $6B sale of Linux pioneer SUSE, sources say (reuters.com)
		30 points by shscs911 4 hours ago \| hide \| 8 comments
27.		Mother of All Grease Fires (1994) (milk.com)
		48 points by xk3 9 hours ago \| hide \| 16 comments
28.		Open Weights isn't Open Training (workshoplabs.ai)
		90 points by addiefoote8 12 hours ago \| hide \| 28 comments
29.		RISC-V Is Sloooow (juszkiewicz.com.pl)
		193 points by todsacerdoti 8 hours ago \| hide \| 187 comments
30.		Tell HN: Apple development certificate server seems down?
		81 points by strongpigeon 9 hours ago \| hide \| 31 comments
		More