Tony Hoare has died (blog.computationalcomplexity.org)
1086 points by speckx 6 hours ago | 152 comments
1Agents that run while I sleep (claudecodecamp.com)
79 points by aray07 an hour ago | 56 comments
2Yann LeCun raises $1B to build AI that understands the physical world (wired.com)
155 points by helloplanets 12 hours ago | 266 comments
3RISC-V Is Sloooow (marcin.juszkiewicz.com.pl)
15 points by todsacerdoti 15 minutes ago | 3 comments
4Launch HN: RunAnywhere (YC W26) – Faster AI Inference on Apple Silicon (github.com)
141 points by sanchitmonga22 3 hours ago | 56 comments
5Widevine retiring its Cloud License Service (CLS) (castlabs.com)
30 points by dabinat an hour ago | 20 comments
6HyperCard discovery: Neuromancer, Count Zero, Mona Lisa Overdrive (2022) (macintoshgarden.org)
31 points by naves an hour ago | 5 comments
7Debian decides not to decide on AI-generated contributions (lwn.net)
214 points by jwilk 6 hours ago | 170 comments
8Billion-Parameter Theories (worldgov.org)
67 points by seanlinehan 3 hours ago | 37 comments
9FFmpeg-over-IP – Connect to remote FFmpeg servers (github.com)
38 points by steelbrain 2 hours ago | 16 comments
10Levels of Agentic Engineering (bassimeledath.com)
47 points by bombastic311 12 hours ago | 26 comments
11After outages, Amazon to make senior engineers sign off on AI-assisted changes (arstechnica.com)
14 points by ndr42 7 hours ago | 201 comments
12Intel Demos Chip to Compute with Encrypted Data (spectrum.ieee.org)
184 points by sohkamyung 7 hours ago | 67 comments
13Open Weights isn't Open Training (workshoplabs.ai)
46 points by addiefoote8 21 hours ago | 15 comments
14Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy (gitlab.redox-os.org)
326 points by pjmlp 12 hours ago | 334 comments
15Rebasing in Magit (entropicthoughts.com)
152 points by ibobev 7 hours ago | 106 comments
16Defeat as Method (cabinetmagazine.org)
27 points by akbarnama 3 hours ago | 2 comments
17I put my whole life into a single database (howisfelix.today)
372 points by lukakopajtic 10 hours ago | 181 comments
18Show HN: How I Topped the HuggingFace Open LLM Leaderboard on Two Gaming GPUs (dnhkng.github.io)
196 points by dnhkng 7 hours ago | 71 comments
19Meta acquires Moltbook (axios.com)
292 points by mmayberry 6 hours ago | 196 comments
20Because Algospeak (tbray.org)
13 points by zdw 3 days ago | 1 comment
21Launch HN: Didit (YC W26) – Stripe for Identity Verification
40 points by rosasalberto 5 hours ago | 44 comments
22I built a programming language using Claude Code (ankursethi.com)
76 points by GeneralMaximus 4 hours ago | 104 comments
23Surpassing vLLM with a Generated Inference Stack (infinity.inc)
21 points by lukebechtel 5 hours ago | 6 comments
24I used pulsar detection techniques to turn a phone into a watch timegrapher (chronolog.watch)
47 points by tylerjaywood 3 days ago | 12 comments
25RFC 454545 – Human Em Dash Standard (gist.github.com)
102 points by jdauriemma 6 hours ago | 93 comments
26Converting Binary Floating-Point Numbers to Shortest Decimal Strings (onlinelibrary.wiley.com)
8 points by matt_d 4 days ago | 0 comments
27The Gervais Principle, or the Office According to “The Office” (2009) (ribbonfarm.com)
260 points by janandonly 3 days ago | 114 comments
28The Enterprise Context Layer (andychen32.substack.com)
30 points by zachperkel 5 hours ago | 5 comments
29Online age-verification tools for child safety are surveilling adults (cnbc.com)
418 points by bilsbie 8 hours ago | 260 comments
30