• 4Show HN: Typegres 0.3 – SQL-as-your-API, safely (using Cap'n Web RPC) (typegres.com)
  by ryanrasti a day ago | discuss
• 2Show HN: Calldiff – a CLI to see callstack diffs in all major languages (github.com)
  by tanishqkanc a day ago | discuss
• 6Show HN: Keen Code – an agentic-engineered coding agent (github.com)
  by mochow13 a day ago | 5 comments
• 5Show HN: TBD: a native, minimalist macOS front end for yt-dlp (github.com)
  by eliorpom 2 days ago | 2 comments
• 14Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean (github.com)
  by modinfo 3 days ago | 2 comments
• 2Show HN: In-browser 4x photo upscaling (crisp.photos)
  by g58892881 a day ago | discuss
• 2Show HN: Bio Tools – install drug design tools easily (github.com)
  by the__alchemist a day ago | discuss
• 2Show HN: Slashscore, an open developer graph built from public GitHub activity (slashscore.com)
  by wingravity a day ago | 4 comments
• 4Show HN: PrivateRedact – Offline PII redaction with a local LLM, no cloud (github.com)
  by rajubuet24 a day ago | discuss
• 3Show HN: My math notes for anything that touches ML (github.com)
  by Amlal a day ago | discuss
• 4Show HN: Vocal Slice – cut audio by selecting text, fully on-device (vocalslice.com)
  by terranivium a day ago | 3 comments
• 2Show HN: filebouncer - npm package for detecting suspicious uploads. (github.com)
  by ramzi-abidi a day ago | discuss
• 2Show HN: Self-hosted universal context layer for Mac (github.com)
  by rafaepta a day ago | discuss
• 2Show HN: TickClip – An AI shopping agent that can recommend not buying (tickclip.ai)
  by tickclip a day ago | 5 comments
• 121Show HN: The Channels SDK – Bring Any Agent to Any Channel (Slack, MS Teams) (github.com)
  by davidmckayv 5 days ago | 24 comments
• 4Show HN: GlyPho – Generate editable SVG families from prompts (glypho.app)
  by shenyi a day ago | discuss
• 53Show HN: A terminal glued to the macOS dock (github.com)
  by leopalamim 6 days ago | 18 comments
• 26Show HN: Sign language translation with smart glasses (github.com)
  by aadisang 7 days ago | 13 comments
• 4Show HN: Edgi – Letterboxd or Strava for your brain (app.edgi.tv)
  by jshapiro 2 days ago | discuss
• 2Show HN: gbx -- manage a fleet of git repos with a TUI (github.com)
  by deemson 2 days ago | discuss
• 3Show HN: OpenClimbing v2.0 – OSM+Wikimedia climbing guide (openstreetmap.org)
  by jvaclavik 16 hours ago | discuss
• 57Show HN: Pokémon Emerald Ported to Raspberry Pi Pico 2 (github.com)
  by mdeeds 5 days ago | 28 comments
• 4Show HN: Online Speedometer (kmspeedometer.com)
  by artiomyak 2 days ago | discuss
• 2Show HN: Synchrium, a synchronized timer where remote peers meet at zero (synchrium.com)
  by areich 2 days ago | discuss
• 2Show HN: Untagged – Find the cloud spend missing required allocation tags (untagged.pages.dev)
  by normanbrigg 2 days ago | discuss
• 3Show HN: Working on gym weight progress calculator (gymcalc.no)
  by xtremi 2 days ago | discuss
• 14Show HN: Tura – Build agent that uses 80% less token and delivers better results (github.com)
  by turaainet 3 days ago | discuss
• 2Show HN: Mangudai – Agentless attack surface manager for small tech teams (github.com)
  by mangudai 2 days ago | discuss
• 3Show HN: Game Engine with its own IDE and scripting language
  by am-gm 2 days ago | 2 comments
• 2Show HN: r/place for coding agents, the longer it stays up, the more you keep (overwrite.place)
  by mazzystar 2 days ago | discuss