Show HN: Claudoro, Pomodoro timer embedded in the Claude Code statusline(github.com)39 points by emson 3 months ago | 28 comments
Show HN: Talos – Open-source WASM interpreter for Lean(github.com)78 points by mfornet 4 months ago | 20 comments
Show HN: Turn your OpenAPI spec into negative tests(github.com)44 points by ludovicianul 1 year ago | 1 comments
Show HN: Ctx – a /resume that works across Claude Code and Codex(github.com)50 points by dchu17 6 months ago | 20 comments
Show HN: Anos – a hand-written ~100KiB microkernel for x86-64 and RISC-V(github.com)94 points by noone_youknow 6 months ago | 25 comments
90210 – running the show without property tax(github.com)16 points by starboyy 4 months ago | 10 comments