< prev1 / 2 more >

• 80Show HN: I Turned DOOM into a Transformer (github.com)
  by falperc8 hours ago | 13 comments
• 131Show HN: Auto Dismiss Mac OS "Allow <app> to find devices on local networks?" (github.com)
  by johncassil12 hours ago | 19 comments
• 26Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge (github.com)
  by lastmjs6 hours ago | 5 comments
• 71Show 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 rvanderlinden14 hours ago | 2 comments
• 8Show HN: Arken – Passwordless auth middleware using secp256k1 keys (github.com)
  by zachbenson8176 hours ago | 2 comments
• 2Show HN: DistractFree-Chrome extension and web app to stop doomscrolling (distractfree.site)
  by ramthokane3 hours ago | 0 comments
• 8Show HN: Typebook.lol read books by typing the letters only (typebook.lol)
  by vegnus12 hours ago | 6 comments
• 11Show HN: phpClaw – AI agent runtime for PHP with tools, memory and guards (github.com)
  by akashpatel720414 hours ago | 5 comments
• 11Show HN: Radix - A WebGPU-powered 3D Gaussian Splat renderer built on Three.js (sparkjs.dev)
  by dmarcos15 hours ago | 0 comments

< prev1 / 2 more >