▲Tony Hoare has died(blog.computationalcomplexity.org)
847 points by speckx 3 hours ago | 38 comments
▲Launch HN: RunAnwhere (YC W26) – Faster AI Inference on Apple Silicon(github.com)
99 points by sanchitmonga22 1 hour ago | 14 comments
▲Debian decides not to decide on AI-generated contributions(lwn.net)
167 points by jwilk 3 hours ago | 22 comments
▲Billion-Parameter Theories(worldgov.org)
28 points by seanlinehan 47 minutes ago | 7 comments
▲Yann LeCun raises $1B to build AI that understands the physical world(wired.com)
33 points by helloplanets 9 hours ago | 37 comments
▲Intel Demos Chip to Compute with Encrypted Data(spectrum.ieee.org)
167 points by sohkamyung 5 hours ago | 12 comments
▲I built a programming language using Claude Code(ankursethi.com)
45 points by GeneralMaximus 1 hour ago | 17 comments
▲Rebasing in Magit(entropicthoughts.com)
136 points by ibobev 4 hours ago | 16 comments
▲Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy(gitlab.redox-os.org)
300 points by pjmlp 9 hours ago | 35 comments
▲I put my whole life into a single database(howisfelix.today)
345 points by lukakopajtic 8 hours ago | 51 comments
▲Meta acquires Moltbook(axios.com)
231 points by mmayberry 3 hours ago | 48 comments
▲Show HN: How I Topped the HuggingFace Open LLM Leaderboard on Two Gaming GPUs(dnhkng.github.io)
150 points by dnhkng 5 hours ago | 20 comments
▲Throwing away 18 months of code and starting over(tompiagg.io)
14 points by tomaspiaggio12 3 hours ago | 3 comments
▲Open Weights Isn't Open Training(workshoplabs.ai)
21 points by addiefoote8 18 hours ago | 1 comment
▲Launch HN: Didit (YC W26) – Stripe for Identity Verification
36 points by rosasalberto 3 hours ago | 15 comments
▲I used pulsar detection techniques to turn a phone into a watch timegrapher(chronolog.watch)
30 points by tylerjaywood 2 days ago | 3 comments
▲RFC 454545 – Human Em Dash Standard(gist.github.com)
80 points by jdauriemma 3 hours ago | 19 comments
▲The Enterprise Context Layer(andychen32.substack.com)
11 points by zachperkel 3 hours ago | 2 comments
▲Online age-verification tools for child safety are surveilling adults(cnbc.com)
358 points by bilsbie 5 hours ago | 34 comments
▲Defeat as Method(cabinetmagazine.org)
8 points by akbarnama 1 hour ago | 0 comments
▲Surpassing vLLM with a Generated Inference Stack(infinity.inc)
7 points by lukebechtel 3 hours ago | 0 comments
▲The Gervais Principle, or the Office According to "The Office" (2009)(ribbonfarm.com)
235 points by janandonly 3 days ago | 27 comments
▲We are building data breach machines and nobody cares(idealloc.me)
26 points by idealloc_haris 3 hours ago | 7 comments
▲Levels of Agentic Engineering(bassimeledath.com)
14 points by bombastic311 9 hours ago | 4 comments
▲PgAdmin 4 9.13 with AI Assistant Panel(pgadmin.org)
71 points by __natty__ 6 hours ago | 9 comments
▲How many options fit into a boolean?(herecomesthemoon.net)
37 points by luu 3 days ago | 9 comments
▲A new version of our Oracle Solaris Environment for Developers(blogs.oracle.com)
40 points by naves 2 days ago | 6 comments
▲Sending Jabber/XMPP Messages via HTTP(gultsch.de)
42 points by inputmice 5 hours ago | 4 comments
▲MariaDB innovation: vector index performance(smalldatum.blogspot.com)
16 points by gslin 2 days ago | 0 comments
▲Show HN: DD Photos – open-source photo album site generator (Go and SvelteKit)(github.com)
47 points by dougdonohoe 5 hours ago | 8 comments