Hacker News

1.		Tony Hoare has died (computationalcomplexity.org)
		1135 points by speckx 6 hours ago \| hide \| 155 comments
2.		Agents that run while I sleep (claudecodecamp.com)
		102 points by aray07 1 hour ago \| hide \| 74 comments
3.		RISC-V Is Sloooow (juszkiewicz.com.pl)
		39 points by todsacerdoti 47 minutes ago \| hide \| 24 comments
4.		Yann LeCun raises $1B to build AI that understands the physical world (wired.com)
		185 points by helloplanets 3 hours ago \| hide \| 274 comments
5.		After outages, Amazon to make senior engineers sign off on AI-assisted changes (arstechnica.com)
		69 points by ndr42 1 hour ago \| hide \| 218 comments
6.		HyperCard discovery: Neuromancer, Count Zero, Mona Lisa Overdrive (2022) (macintoshgarden.org)
		47 points by naves 1 hour ago \| hide \| 10 comments
7.		Launch HN: RunAnywhere (YC W26) – Faster AI Inference on Apple Silicon (github.com/runanywhereai)
		148 points by sanchitmonga22 3 hours ago \| hide \| 62 comments
8.		Widevine retiring its Cloud License Service (CLS) (castlabs.com)
		32 points by dabinat 1 hour ago \| hide \| 34 comments
9.		Debian decides not to decide on AI-generated contributions (lwn.net)
		223 points by jwilk 6 hours ago \| hide \| 175 comments
10.		Billion-Parameter Theories (worldgov.org)
		73 points by seanlinehan 3 hours ago \| hide \| 42 comments
11.		FFmpeg-over-IP – Connect to remote FFmpeg servers (github.com/steelbrain)
		47 points by steelbrain 2 hours ago \| hide \| 19 comments
12.		Levels of Agentic Engineering (bassimeledath.com)
		54 points by bombastic311 3 hours ago \| hide \| 27 comments
13.		Intel Demos Chip to Compute with Encrypted Data (ieee.org)
		190 points by sohkamyung 7 hours ago \| hide \| 71 comments
14.		Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy (redox-os.org)
		334 points by pjmlp 12 hours ago \| hide \| 339 comments
15.		Open Weights isn't Open Training (workshoplabs.ai)
		54 points by addiefoote8 4 hours ago \| hide \| 16 comments
16.		Launch HN: Didit (YC W26) – Stripe for Identity Verification
		44 points by rosasalberto 5 hours ago \| hide \| 44 comments
17.		Online age-verification tools for child safety are surveilling adults (cnbc.com)
		437 points by bilsbie 8 hours ago \| hide \| 264 comments
18.		Rebasing in Magit (entropicthoughts.com)
		159 points by ibobev 7 hours ago \| hide \| 109 comments
19.		Roblox is minting teen millionaires (bloomberg.com)
		17 points by petethomas 2 hours ago \| hide \| 10 comments
20.		I put my whole life into a single database (howisfelix.today)
		378 points by lukakopajtic 10 hours ago \| hide \| 184 comments
21.		Show HN: How I Topped the HuggingFace Open LLM Leaderboard on Two Gaming GPUs (dnhkng.github.io)
		208 points by dnhkng 7 hours ago \| hide \| 73 comments
22.		Exploring the ocean with Raspberry Pi–powered marine robots (raspberrypi.com)
		7 points by Brajeshwar 1 hour ago \| hide \| discuss
23.		Meta acquires Moltbook (axios.com)
		305 points by mmayberry 6 hours ago \| hide \| 205 comments
24.		Defeat as Method (cabinetmagazine.org)
		28 points by akbarnama 3 hours ago \| hide \| 3 comments
25.		I built a programming language using Claude Code (ankursethi.com)
		78 points by GeneralMaximus 4 hours ago \| hide \| 115 comments
26.		I used pulsar detection techniques to turn a phone into a watch timegrapher (chronolog.watch)
		52 points by tylerjaywood 5 hours ago \| hide \| 14 comments
27.		Surpassing vLLM with a Generated Inference Stack (infinity.inc)
		23 points by lukebechtel 3 hours ago \| hide \| 6 comments
28.		Because Algospeak (tbray.org)
		17 points by zdw 2 hours ago \| hide \| 6 comments
29.		The Gervais Principle, or the Office According to “The Office” (2009) (ribbonfarm.com)
		261 points by janandonly 13 hours ago \| hide \| 115 comments
30.		We are building data breach machines and nobody cares (idealloc.me)
		52 points by idealloc_haris 6 hours ago \| hide \| 19 comments
		More