< prev1 / 2 more >

• 29Show HN: zkGolf – Competitive optimization of formally verified circuits (zk.golf)
  by rot2566 hours ago | 1 comments
• 69Show HN: CLI tool for detecting non-exact code duplication with embedding models (github.com)
  by rkochanowski7 hours ago | 14 comments
• 87Show HN: A graph paper generator that renders vector PDFs in the browser (freegraphpaper.net)
  by lam_hg948 hours ago | 12 comments
• 4Show HN: NeuralFit game - Adjust the neural network weights manually (neuralfit.ai201.site)
  by Gooblebrai31 minutes ago | 0 comments
• 2Show HN: Visualizing Contrastive Language-Audio Pretraining (Clap) (adamsohn.com)
  by dataviz100036 minutes ago | 0 comments
• 2Show HN: Material 3 Expressive Web Components (matraic.github.io)
  by matraic42 minutes ago | 1 comments
• 6Show HN: Bramble – Local-first password manager (github.com)
  by MegagramEnjoyer2 hours ago | 1 comments
• 112Show HN: ZeroFS – A log-structured filesystem for S3 (zerofs.net)
  by Eikon8 hours ago | 22 comments
• 43Show HN: Claudoro, Pomodoro timer embedded in the Claude Code statusline (github.com)
  by emson1 day ago | 13 comments
• 16Show HN: ctx – Search the coding agent history already on your machine (github.com)
  by luca-ctx5 hours ago | 1 comments

< prev1 / 2 more >