< prev1 / 2 more >

• 49Show HN: zkGolf – Competitive optimization of formally verified circuits (zk.golf)
  by rot25612 hours ago | 3 comments
• 35Show HN: Inkwell – An RSS reader for e-ink devices (kendal.codeberg.page)
  by imkendal12 hours ago | 4 comments
• 14Show HN: Gitstock–Transform you GitHub commit history into K-line and animations (gitstock.org)
  by dares25732 days ago | 3 comments
• 34Show HN: Pieces – Social network for people (try.piecesof.me)
  by domo__knows1 day ago | 14 comments
• 28Show HN: ctx – Search the coding agent history already on your machine (github.com)
  by luca-ctx11 hours ago | 4 comments
• 12Show HN: I made a tool that prevents websites from tracking you (github.com)
  by sudo_cowsay3 hours ago | 3 comments
• 76Show HN: CLI tool for detecting non-exact code duplication with embedding models (github.com)
  by rkochanowski13 hours ago | 17 comments
• 9Show HN: CLI that helps AI agents avoid vulnerable dependencies (github.com)
  by modelorona1 day ago | 1 comments
• 95Show HN: A graph paper generator that renders vector PDFs in the browser (freegraphpaper.net)
  by lam_hg9414 hours ago | 13 comments
• 4Show HN: Autonomous Home Services Businesses (rainslice.ai)
  by edgware6743 hours ago | 1 comments

< prev1 / 2 more >