• 5Show HN: CCo – Go-style coroutines in C (github.com)
  by gtutino 2 days ago | 2 comments
• 7Show HN: TokenMaxxer – track every AI token you spend across your coding tools (tokenmaxxer.xyz)
  by SYeomans 2 days ago | 2 comments
• 2Show HN: Choreo A free visual design tool for UI behavior and micro-interactions (choreomotion.app)
  by anasbelmadani 2 days ago | discuss
• 11Show HN: FutureSearch, AI forecasting you can verify (futuresearch.ai)
  by ddp26 2 days ago | discuss
• 3Show HN: ModelFuzz – Open-source runtime guardrails for AI agents (github.com)
  by higagan 2 days ago | discuss
• 2Show HN: One Thing at a Time – a todo app that hides your list (onethingatatime.app)
  by sumtsui 2 days ago | discuss
• 115Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code (github.com)
  by permute 8 days ago | 49 comments
• 7Show HN: Lunar, a "fast", memory-efficient Lua 5.1 VM written in Go (github.com)
  by drakenot 2 days ago | 2 comments
• 52Show HN: Mu – Tools for Agents (github.com)
  by asim 2 days ago | 22 comments
• 4Show HN: Rubiks Cube Solver (github.com)
  by punnerud 2 days ago | discuss
• 42Show HN: A local merge queue for parallel Claude Code agents (github.com)
  by funador 6 days ago | 22 comments
• 5Show HN: Runthru – open-source Interactive Demos (github.com)
  by marktolson 2 days ago | discuss
• 9Show HN: TamedTable, AI ETL in Natural Language (tamedtable.com)
  by ZeljkoS 3 days ago | 4 comments
• 8Show HN: Copy any website pixel perfect (github.com)
  by Harro123 3 days ago | 11 comments
• 10Show HN: Btfy – a blockchain that uses weather observations (github.com)
  by yuzu_mikan 3 days ago | 7 comments
• 2Show HN: A MicroVM Launcher for BSD and Linux Guests on macOS/Linux (libkrun) (github.com)
  by tsiry 2 days ago | discuss