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