< prev1 / 2 more >

• 31Show HN: zkGolf – Competitive optimization of formally verified circuits (zk.golf)
  by rot2567 hours ago | 2 comments
• 2Show HN: A 155K-param transformer builds a map of a world it's never shown (ankur-chr.github.io)
  by ankurchrungoo7 minutes ago | 0 comments
• 3Show HN: Mirrors – test AI agent changes by replaying real production traces (runmirrors.com)
  by aisinghal12 minutes ago | 0 comments
• 74Show HN: CLI tool for detecting non-exact code duplication with embedding models (github.com)
  by rkochanowski8 hours ago | 14 comments
• 9Show HN: Bramble – Local-first password manager (github.com)
  by MegagramEnjoyer3 hours ago | 1 comments
• 90Show HN: A graph paper generator that renders vector PDFs in the browser (freegraphpaper.net)
  by lam_hg949 hours ago | 12 comments
• 2Show HN: Fin – a TUI Jellyfin client powered by mpv with Chromecast support (github.com)
  by tsiry41 minutes ago | 0 comments
• 4Show HN: Declaw Arena – a CTF-style challenge to break an AI agent in a microVM (declaw.ai)
  by ShivamNayak1152 minutes ago | 1 comments
• 114Show HN: ZeroFS – A log-structured filesystem for S3 (zerofs.net)
  by Eikon9 hours ago | 22 comments
• 43Show HN: Claudoro, Pomodoro timer embedded in the Claude Code statusline (github.com)
  by emson1 day ago | 13 comments

< prev1 / 2 more >