• 15 Show HN: Ski – Voice Coding for Claude Code, Codex and More – On-Device – Free (heyski.io)
  by jomon003 21 hours ago | 6 comments
• 7 Show HN: Tally – check a spreadsheet's numbers against their source, in-browser (tally.jiegou.ai)
  by smperng 21 hours ago | discuss
• 50 Show HN: The Federalist Papers, typeset as the 1787 newspapers they ran in (federalistreader.org)
  by vhwalke 2 days ago | 13 comments
• 3 Show HN: [Target: Calamity] A visualization of how long we have to change course (targetcalamity.org)
  by MaxONeill159 12 hours ago | 2 comments
• 2 Show HN: HereTool – A fast, client-side web utility suite with zero data logging (heretool.com)
  by heretool 13 hours ago | discuss
• 3 Show HN: ResiliReplay - Chaos testing for AI agents and MCP servers (github.com)
  by ali110v 13 hours ago | discuss
• 4 Show HN: Stash – native Mac Markdown notes (staunchapps.com)
  by andrewjk 13 hours ago | discuss
• 114 Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code (github.com)
  by permute 3 days ago | 49 comments
• 11 Show HN: RunNburn – Run a 295B Moe from a 98GB GGUF on a 64GB RAM Desktop (github.com)
  by coderredlab 2 days ago | discuss
• 4 Show HN: XQL, a query language for screening market data (xcreener.com)
  by guzzul a day ago | 2 comments
• 16 Show HN: Dreeve, a self-hosted dashboard for your sports and fitness data (github.com)
  by frogfuhrer 2 days ago | 2 comments
• 6 Show HN: Play SNES, gba, in your terminal, even in tmux (github.com)
  by jhickner 15 hours ago | discuss
• 104 Show HN: Yap – OSS on-device voice dictation for macOS with no model to download (github.com)
  by pancomplex 4 days ago | 43 comments
• 120 Show HN: FeyNoBg – Automatic background removal model and training library (usefeyn.com)
  by snyy 4 days ago | 29 comments
• 14 Show HN: Full stack development from one codebase web, Android, and iOS (github.com)
  by victorriba 2 days ago | 1 comments
• 4 Show HN: Hacker Fables – A satirical cyberpunk novel you can read as a man page (sebastiancarlos.github.io)
  by httbs a day ago | discuss
• 3 Show HN: Panini – bundle a Gleam app and BEAM into one self-contained binary (github.com)
  by tsiry 18 hours ago | discuss
• 2 Show HN: Logan Basic v2.1 - An online BASIC interpreter. (sinusoft.com)
  by Sinusoid314 18 hours ago | 2 comments
• 3 Show HN: Collie – a local AI harness that runs the browser, desktop and code (github.com)
  by wudmaing00 18 hours ago | 1 comments
• 62 Show HN: Bullshit Detector – agent skills that fact-check videos and articles (github.com)
  by skorniienko 2 days ago | 68 comments
• 29 Show HN: Echologue – the private AI voice journal I built for myself (echologue.com)
  by arisAlexis 2 days ago | 13 comments
• 3 Show HN: I'm a senior estimator, I open sourced my construction takeoff tool (github.com)
  by kentucky-ai 20 hours ago | discuss
• 3 Show HN: Leia – a CLI to oneshot playlists onto Yoto MYO cards (github.com)
  by nsokin 20 hours ago | discuss
• 2 Show HN: APIgen – Generate Fusio REST APIs and Angular UIs from TypeSchema (apigen.app)
  by k42b3 20 hours ago | discuss
• 3 Show HN: State of the Feed – TikTok usage analyzed (wrapped.vantezzen.io)
  by bennett_dev 20 hours ago | discuss
• 2 Show HN: Otzar – Local hybrid search over your own files (github.com)
  by yruthewaythatur 20 hours ago | discuss
• 4 Show HN: Reply to Your Comments with an API (mallary.ai)
  by samteeeee 20 hours ago | 2 comments
• 18 Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects (github.com)
  by kbradero 3 days ago | 2 comments
• 2 Show HN: Doodlea.day – A daily step-by-step marker drawing lesson (doodlea.day)
  by mybbor 20 hours ago | 2 comments
• 3 Show HN: An online Live face swap app, no GPU need (livefaceswap.ai)
  by mixfox 21 hours ago | 1 comments