< prev1 / 10 more >

• 60"Why not just use Lean?" (lawrencecpaulson.github.io)
  by ibobev1 hour ago | 5 comments
• 286Pgbackrest is no longer being maintained (github.com)
  by c0l04 hours ago | 38 comments
• 143Show HN: OSS Agent I built topped the TerminalBench on Gemini-3-flash-preview (github.com)
  by GodelNumbering3 hours ago | 27 comments
• 1624TB of voice samples just stolen from 40k AI contractors at Mercor (app.oravys.com)
  by Oravys5 hours ago | 21 comments
• 165Fully Featured Audio DSP Firmware for the Raspberry Pi Pico (github.com)
  by BoingBoomTschak2 days ago | 11 comments
• 38Running Local LLMs Offline on a Ten-Hour Flight (deploy.live)
  by darccio2 hours ago | 9 comments
• 149Men Who Stare at Walls (alexselimov.com)
  by aselimov34 hours ago | 30 comments
• 20Tendril – a self-extending agent that builds and registers its own tools (github.com)
  by walmsles2 hours ago | 3 comments
• 84FDA Approves First-Ever Gene Therapy for Treatment of Genetic Hearing Loss (fda.gov)
  by JeanKage5 hours ago | 10 comments
• 433Flipdiscs (flipdisc.io)
  by skogstokig4 days ago | 27 comments

< prev1 / 10 more >