< prev 2 / 2more >

• 2Show HN: Readeck sync for Kobo's stock reader (github.com)
  by fkdk7 hours ago | 0 comments
• 22Show HN: Spinf-serve – inference server for bulk scoring and decisions (github.com)
  by giarec22 hours ago | 3 comments
• 4Show HN: Agent-arcade – Terminal games that pause when Claude Code/Codex is done (github.com)
  by Kuldeep0457 hours ago | 3 comments
• 22Show HN: Fraktur, a DJ mixing app in the browser (greenvitriol.com)
  by janesconference1 day ago | 1 comments
• 81Show HN: A proof-of-concept formalization of the IRS federal tax forms (github.com)
  by RGS18112 days ago | 9 comments
• 36Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge (github.com)
  by lastmjs1 day ago | 8 comments
• 81Show HN: I built a multiplayer game where you're an aerial fighter cat (catcopter.com)
  by pawelwentpawel23 hours ago | 22 comments
• 44Show HN: Overtone – Transcribe, correct and cut captions for any screen shape (github.com)
  by rvanderlinden1 day ago | 6 comments
• 12Show HN: PicoPlayer – A tiny, open-source website for playing quality webgames (picoplayer.net)
  by popcar21 day ago | 3 comments
• 5Show HN: Deckdrill – Pimsleur-style audio drills from Anki decks, in your voice (deckdrill.app)
  by pjacowski21 hours ago | 2 comments

< prev 2 / 2more >