< prev1 / 2 more >

• 94Show HN: I Turned DOOM into a Transformer (github.com)
  by falperc11 hours ago | 18 comments
• 138Show HN: Auto Dismiss Mac OS "Allow <app> to find devices on local networks?" (github.com)
  by johncassil15 hours ago | 19 comments
• 29Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge (github.com)
  by lastmjs8 hours ago | 7 comments
• 75Show HN: A proof-of-concept formalization of the IRS federal tax forms (github.com)
  by RGS18111 day ago | 9 comments
• 40Show HN: Overtone – Transcribe, correct and cut captions for any screen shape (github.com)
  by rvanderlinden16 hours ago | 2 comments
• 8Show HN: Arken – Passwordless auth middleware using secp256k1 keys (github.com)
  by zachbenson8179 hours ago | 2 comments
• 2Show HN: DistractFree-Chrome extension and web app to stop doomscrolling (distractfree.site)
  by ramthokane6 hours ago | 0 comments
• 9Show HN: Typebook.lol read books by typing the letters only (typebook.lol)
  by vegnus15 hours ago | 6 comments
• 11Show HN: phpClaw – AI agent runtime for PHP with tools, memory and guards (github.com)
  by akashpatel720416 hours ago | 5 comments
• 80Show HN: SlideBySide – Present slides without sharing your screen (slidebyside.com)
  by denismenace1 day ago | 19 comments

< prev1 / 2 more >