< prev1 / 2 more >

• 33Show HN: zkGolf – Competitive optimization of formally verified circuits (zk.golf)
  by rot2567 hours ago | 2 comments
• 75Show HN: CLI tool for detecting non-exact code duplication with embedding models (github.com)
  by rkochanowski8 hours ago | 15 comments
• 2Show HN: Capcat – CLI/TUI to Archive Articles as Markdown and HTML (FOSS) (capcat.org)
  by stayux29 minutes ago | 0 comments
• 2Show HN: A 155K-param transformer builds a map of a world it's never shown (ankur-chr.github.io)
  by ankurchrungoo31 minutes ago | 0 comments
• 3Show HN: Mirrors – test AI agent changes by replaying production traces (runmirrors.com)
  by aisinghal36 minutes ago | 0 comments
• 90Show HN: A graph paper generator that renders vector PDFs in the browser (freegraphpaper.net)
  by lam_hg949 hours ago | 12 comments
• 9Show HN: Bramble – Local-first password manager (github.com)
  by MegagramEnjoyer3 hours ago | 1 comments
• 2Show HN: NEUX A daily brief on Europe's critical industries (neuxresearch.com)
  by sebmnt57 minutes ago | 0 comments
• 2Show HN: Fin – a TUI Jellyfin client powered by mpv with Chromecast support (github.com)
  by tsiry1 hour ago | 0 comments
• 115Show HN: ZeroFS – A log-structured filesystem for S3 (zerofs.net)
  by Eikon9 hours ago | 22 comments

< prev1 / 2 more >