▲Tony Hoare has died(blog.computationalcomplexity.org)
336 points by speckx 1 hour ago | 20 comments
▲Rebasing in Magit(entropicthoughts.com)
99 points by ibobev 2 hours ago | 16 comments
▲Intel Demos Chip to Compute with Encrypted Data(spectrum.ieee.org)
114 points by sohkamyung 3 hours ago | 9 comments
▲I put my whole life into a single database(howisfelix.today)
294 points by lukakopajtic 6 hours ago | 44 comments
▲Debian decides not to decide on AI-generated contributions(lwn.net)
64 points by jwilk 1 hour ago | 9 comments
▲Launch HN: Didit (YC W26) – Stripe for Identity Verification
17 points by rosasalberto 1 hour ago | 9 comments
▲Meta acquires Moltbook(axios.com)
62 points by mmayberry 1 hour ago | 23 comments
▲Online age-verification tools for child safety are surveilling adults(cnbc.com)
220 points by bilsbie 3 hours ago | 27 comments
▲The Gervais Principle, or the Office According to "The Office" (2009)(ribbonfarm.com)
197 points by janandonly 3 days ago | 22 comments
▲Amazon is holding a mandatory meeting about AI breaking its systems(twitter.com)
96 points by lwhsiao 1 hour ago | 18 comments
▲Sending Jabber/XMPP Messages via HTTP(gultsch.de)
28 points by inputmice 2 hours ago | 2 comments
▲Yann LeCun's AI startup raises $1B in Europe's largest ever seed round(ft.com)
317 points by ottomengis 5 hours ago | 28 comments
▲Show HN: How I Topped the HuggingFace Open LLM Leaderboard on Two Gaming GPUs(dnhkng.github.io)
46 points by dnhkng 2 hours ago | 11 comments
▲PgAdmin 4 9.13 with AI Assistant Panel(pgadmin.org)
44 points by __natty__ 4 hours ago | 7 comments
▲Show HN: DD Photos – open-source photo album site generator (Go and SvelteKit)(github.com)
29 points by dougdonohoe 3 hours ago | 5 comments
▲A New Version of Our Oracle Solaris Environment for Developers(blogs.oracle.com)
26 points by naves 2 days ago | 5 comments
▲How many options fit into a boolean?(herecomesthemoon.net)
9 points by luu 3 days ago | 0 comments
▲Practical Guide to Bare Metal C++(arobenko.github.io)
79 points by ibobev 3 days ago | 10 comments
▲Caxlsx: Ruby gem for xlsx generation with charts, images, schema validation(github.com)
41 points by earcar 4 days ago | 2 comments
▲LoGeR – 3D reconstruction from extremely long videos (DeepMind, UC Berkeley)(loger-project.github.io)
111 points by helloplanets 10 hours ago | 5 comments
▲Two Years of Emacs Solo(rahuljuliato.com)
322 points by celadevra_ 16 hours ago | 28 comments
▲TCXO Failure Analysis(serd.es)
78 points by zdw 3 days ago | 12 comments
▲No, it doesn't cost Anthropic $5k per Claude Code user(martinalderson.com)
378 points by jnord 16 hours ago | 45 comments
▲Lotus 1-2-3 on the PC with DOS(stonetools.ghost.io)
155 points by TMWNN 3 days ago | 23 comments
▲RFC 454545 – Human Em Dash Standard(gist.github.com)
58 points by jdauriemma 1 hour ago | 15 comments
▲Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy(gitlab.redox-os.org)
281 points by pjmlp 7 hours ago | 33 comments
▲Building a Procedural Hex Map with Wave Function Collapse(felixturner.github.io)
544 points by imadr 23 hours ago | 41 comments
▲Show HN: A playable version of the Claude Code Terraform destroy incident(youbrokeprod.com)
3 points by cdnsteve 1 hour ago | 3 comments
▲Optimizing Top K in Postgres(paradedb.com)
129 points by philippemnoel 1 day ago | 9 comments
▲JSLinux Now Supports x86_64(bellard.org)
360 points by TechTechTech 23 hours ago | 22 comments