< prev1 / 12 more >

• 1Certified Program Synthesis with a Multi-Modal Verifier [pdf] (verse-lab.org)
  by matt_d13 minutes ago | 0 comments
• 1Dev tools must be opensourced thats why I build this
  by Thomeras13 minutes ago | 0 comments
• 2Harness Engineering for Self-Improvement (lilianweng.github.io)
  by tosh15 minutes ago | 0 comments
• 2Show HN: ePub Translator (epubtranslator.net)
  by xiaoape17 minutes ago | 0 comments
• 2Agentty ADE: preview of agentic orchestrator is out in v0.14.0 (github.com)
  by minev-dev18 minutes ago | 1 comments
• 1Bubo: AI code-reviewer that learns from review comments (github.com)
  by mt_owl20 minutes ago | 1 comments
• 2An Internet for the Solar System [video] (media.ccc.de)
  by anticensor21 minutes ago | 0 comments
• 1A SpaceX Falcon 9 is going to hit the Moon Wednesday (arxiv.org)
  by mbrandstifter21 minutes ago | 1 comments
• 1Apple launches legal challenge against UK government demand to access data (theguardian.com)
  by azalemeth23 minutes ago | 0 comments
• 2We gave an AI agent rootless VPN access to 1k live servers (ardor.cloud)
  by Daniiar924 minutes ago | 1 comments

< prev1 / 12 more >