Show HN: Talos – Open-source WASM interpreter for Lean(github.com)78 points by mfornet 4 months ago | 20 comments
Deletes all instances of Microsoft's GDID and prevents minting of new ones(github.com)48 points by campuscodi 2 months ago | 29 comments
Show HN: ccrider - Search and Resume Your Claude Code Sessions – TUI / MCP / CLI(github.com)13 points by nberkman 9 months ago | 2 comments
Show HN: Ever wanted to look at yourself in Braille?(github.com)25 points by cat-whisperer 9 months ago | 13 comments
Show HN: Claudoro, Pomodoro timer embedded in the Claude Code statusline(github.com)39 points by emson 3 months ago | 28 comments
Zlob.h 100% POSIX and glibc compatible globbing lib that is faste and better(github.com)17 points by neogoose 8 months ago | 10 comments