< prev1 / 2 more >

• 42Show HN: zkGolf – Competitive optimization of formally verified circuits (zk.golf)
  by rot25611 hours ago | 3 comments
• 11Show HN: Gitstock–Transform you GitHub commit history into K-line and animations (gitstock.org)
  by dares25732 days ago | 3 comments
• 28Show HN: Inkwell – An RSS reader for e-ink devices (kendal.codeberg.page)
  by imkendal11 hours ago | 4 comments
• 31Show HN: Pieces – Social network for people (try.piecesof.me)
  by domo__knows1 day ago | 13 comments
• 27Show HN: ctx – Search the coding agent history already on your machine (github.com)
  by luca-ctx10 hours ago | 3 comments
• 76Show HN: CLI tool for detecting non-exact code duplication with embedding models (github.com)
  by rkochanowski12 hours ago | 17 comments
• 9Show HN: CLI that helps AI agents avoid vulnerable dependencies (github.com)
  by modelorona1 day ago | 1 comments
• 10Show HN: I made a tool that prevents websites from tracking you (github.com)
  by sudo_cowsay2 hours ago | 2 comments
• 93Show HN: A graph paper generator that renders vector PDFs in the browser (freegraphpaper.net)
  by lam_hg9413 hours ago | 13 comments
• 45Show HN: Claudoro, Pomodoro timer embedded in the Claude Code statusline (github.com)
  by emson1 day ago | 13 comments

< prev1 / 2 more >