Hacker News

1.		Tony Hoare has died (computationalcomplexity.org)
		1449 points by speckx 10 hours ago \| hide \| 196 comments
2.		U+237C ⍼ Is Azimuth (ionathan.ch)
		103 points by cokernel_hacker 2 hours ago \| hide \| 9 comments
3.		Cloudflare Crawl Endpoint (cloudflare.com)
		90 points by jeffpalmer 2 hours ago \| hide \| 45 comments
4.		Agents that run while I sleep (claudecodecamp.com)
		209 points by aray07 5 hours ago \| hide \| 156 comments
5.		Yann LeCun raises $1B to build AI that understands the physical world (wired.com)
		314 points by helloplanets 7 hours ago \| hide \| 318 comments
6.		SSH Secret Menu (twitter.com/rebane2001)
		23 points by piccirello 2 hours ago \| hide \| 13 comments
7.		Launch HN: RunAnywhere (YC W26) – Faster AI Inference on Apple Silicon (github.com/runanywhereai)
		176 points by sanchitmonga22 7 hours ago \| hide \| 82 comments
8.		Universal vaccine against respiratory infections and allergens (stanford.edu)
		79 points by phony-account 2 hours ago \| hide \| 17 comments
9.		Debian decides not to decide on AI-generated contributions (lwn.net)
		269 points by jwilk 10 hours ago \| hide \| 210 comments
10.		RISC-V Is Sloooow (juszkiewicz.com.pl)
		156 points by todsacerdoti 4 hours ago \| hide \| 138 comments
11.		Invoker Commands API (developer.mozilla.org)
		51 points by maqnius 4 hours ago \| hide \| 12 comments
12.		FFmpeg-over-IP – Connect to remote FFmpeg servers (github.com/steelbrain)
		110 points by steelbrain 6 hours ago \| hide \| 48 comments
13.		Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy (redox-os.org)
		371 points by pjmlp 16 hours ago \| hide \| 368 comments
14.		Mesh over Bluetooth LE, TCP, or Reticulum (github.com/torlando-tech)
		14 points by khimaros 2 hours ago \| hide \| discuss
15.		Tell HN: Apple development certificate server seems down?
		51 points by strongpigeon 5 hours ago \| hide \| 22 comments
16.		Meta acquires Moltbook (axios.com)
		401 points by mmayberry 10 hours ago \| hide \| 258 comments
17.		Intel Demos Chip to Compute with Encrypted Data (ieee.org)
		217 points by sohkamyung 11 hours ago \| hide \| 83 comments
18.		After outages, Amazon to make senior engineers sign off on AI-assisted changes (arstechnica.com)
		420 points by ndr42 5 hours ago \| hide \| 383 comments
19.		Launch HN: Didit (YC W26) – Stripe for Identity Verification
		50 points by rosasalberto 8 hours ago \| hide \| 51 comments
20.		Online age-verification tools for child safety are surveilling adults (cnbc.com)
		531 points by bilsbie 12 hours ago \| hide \| 299 comments
21.		Removing recursion via explicit callstack simulation (jnkr.tech)
		5 points by gsky 1 hour ago \| hide \| discuss
22.		Networking with agents: Put them in the right conversations with Tailscale (firetiger.com)
		12 points by matsur 2 hours ago \| hide \| 2 comments
23.		I put my whole life into a single database (howisfelix.today)
		415 points by lukakopajtic 14 hours ago \| hide \| 202 comments
24.		Exploring the ocean with Raspberry Pi–powered marine robots (raspberrypi.com)
		38 points by Brajeshwar 5 hours ago \| hide \| 6 comments
25.		Show HN: How I Topped the HuggingFace Open LLM Leaderboard on Two Gaming GPUs (dnhkng.github.io)
		270 points by dnhkng 11 hours ago \| hide \| 82 comments
26.		Rebasing in Magit (entropicthoughts.com)
		181 points by ibobev 11 hours ago \| hide \| 122 comments
27.		Billion-Parameter Theories (worldgov.org)
		88 points by seanlinehan 7 hours ago \| hide \| 67 comments
28.		Show HN: What's my JND? – a colour guessing game (keithcirkel.co.uk)
		33 points by Keithamus 3 hours ago \| hide \| 29 comments
29.		Secure Secrets Management for Cursor Cloud Agents (infisical.com)
		15 points by vmatsiiako 2 hours ago \| hide \| 1 comment
30.		Levels of Agentic Engineering (bassimeledath.com)
		111 points by bombastic311 7 hours ago \| hide \| 64 comments
		More