< prev 10 / 10more >

• 252Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem (twitter.com)
  by mean_mistreater1 day ago | 19 comments
• 23The Many Roots of Our Suffering: Reflections on Robert Trivers (1943–2026) (quillette.com)
  by Petiver3 days ago | 6 comments
• 8Catching the LiteLLM and Telnyx supply chain zero-days via semantic analysis (point-wild.github.io)
  by justinmsnider7 hours ago | 4 comments
• 54The case for becoming a manager (newsletter.thelongcommit.com)
  by jcmartinezdev5 days ago | 18 comments
• 32Can AI Exit Vim? (theadamcolton.github.io)
  by topwalktown21 hours ago | 6 comments
• 976Running Tesla Model 3's computer on my desk using parts from crashed cars (bugs.xdavidhu.me)
  by driesdep4 days ago | 56 comments
• 11Ask HN: Best stack for building a tiny game with an 11-year-old?
  by richardstahl8 hours ago | 15 comments
• 35The Last Contract: William T. Vollmann's Battle to Publish an Epic (2025) (metropolitanreview.org)
  by benbreen3 days ago | 10 comments
• 10Show HN: Agent Orchestrator, a local-first Harness Engineering control plane
  by gpgkd90611 hours ago | 0 comments
• 109Arm releases first in-house chip, with Meta as debut customer (cnbc.com)
  by goplayoutside4 days ago | 10 comments

< prev 10 / 10more >