1.▲

Tony Hoare has died(blog.computationalcomplexity.org)

848 points byspeckx3 hours ago |38 comments

  2.▲

Launch HN: RunAnwhere (YC W26) – Faster AI Inference on Apple Silicon(github.com)

99 points bysanchitmonga221 hour ago |14 comments

  3.▲

Debian decides not to decide on AI-generated contributions(lwn.net)

169 points byjwilk3 hours ago |22 comments

  4.▲

Billion-Parameter Theories(worldgov.org)

28 points byseanlinehan48 minutes ago |7 comments

  5.▲

Yann LeCun raises $1B to build AI that understands the physical world(wired.com)

33 points byhelloplanets9 hours ago |37 comments

  6.▲

I built a programming language using Claude Code(ankursethi.com)

45 points byGeneralMaximus2 hours ago |18 comments

  7.▲

Intel Demos Chip to Compute with Encrypted Data(spectrum.ieee.org)

167 points bysohkamyung5 hours ago |12 comments

  8.▲

Rebasing in Magit(entropicthoughts.com)

136 points byibobev4 hours ago |16 comments

  9.▲

Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy(gitlab.redox-os.org)

300 points bypjmlp9 hours ago |35 comments

10.▲

I put my whole life into a single database(howisfelix.today)

346 points bylukakopajtic8 hours ago |51 comments

11.▲

Meta acquires Moltbook(axios.com)

232 points bymmayberry4 hours ago |48 comments

12.▲

Show HN: How I Topped the HuggingFace Open LLM Leaderboard on Two Gaming GPUs(dnhkng.github.io)

151 points bydnhkng5 hours ago |21 comments

13.▲

Throwing away 18 months of code and starting over(tompiagg.io)

14 points bytomaspiaggio123 hours ago |4 comments

14.▲

Open Weights Isn't Open Training(workshoplabs.ai)

21 points byaddiefoote819 hours ago |1 comment

15.▲

Launch HN: Didit (YC W26) – Stripe for Identity Verification

36 points byrosasalberto3 hours ago |15 comments

16.▲

I used pulsar detection techniques to turn a phone into a watch timegrapher(chronolog.watch)

31 points bytylerjaywood2 days ago |3 comments

17.▲

Defeat as Method(cabinetmagazine.org)

9 points byakbarnama1 hour ago |0 comment

18.▲

RFC 454545 – Human Em Dash Standard(gist.github.com)

80 points byjdauriemma4 hours ago |19 comments

19.▲

The Enterprise Context Layer(andychen32.substack.com)

11 points byzachperkel3 hours ago |2 comments

20.▲

Online age-verification tools for child safety are surveilling adults(cnbc.com)

359 points bybilsbie5 hours ago |34 comments

21.▲

Surpassing vLLM with a Generated Inference Stack(infinity.inc)

7 points bylukebechtel3 hours ago |0 comment

22.▲

The Gervais Principle, or the Office According to "The Office" (2009)(ribbonfarm.com)

235 points byjanandonly3 days ago |27 comments

23.▲

We are building data breach machines and nobody cares(idealloc.me)

26 points byidealloc_haris3 hours ago |7 comments

24.▲

Levels of Agentic Engineering(bassimeledath.com)

14 points bybombastic3119 hours ago |4 comments

25.▲

PgAdmin 4 9.13 with AI Assistant Panel(pgadmin.org)

71 points by__natty__6 hours ago |9 comments

26.▲

How many options fit into a boolean?(herecomesthemoon.net)

37 points byluu3 days ago |9 comments

27.▲

A new Oracle Solaris Common Build Environment (CBE) release(blogs.oracle.com)

40 points bynaves2 days ago |6 comments

28.▲

Sending Jabber/XMPP Messages via HTTP(gultsch.de)

42 points byinputmice5 hours ago |4 comments

29.▲

MariaDB innovation: vector index performance(smalldatum.blogspot.com)

16 points bygslin2 days ago |0 comment

30.▲

Show HN: DD Photos – open-source photo album site generator (Go and SvelteKit)(github.com)

47 points bydougdonohoe5 hours ago |8 comments