Efrit: A native elisp coding agent running in Emacs(github.com)140 points by simonpure 1 year ago | 27 comments
Bombadil: Property-based testing for web UIs(github.com)237 points by Klaster_1 7 months ago | 91 comments
Show HN: Talos – Open-source WASM interpreter for Lean(github.com)78 points by mfornet 4 months ago | 20 comments
Show HN: OneCLI – Vault for AI Agents in Rust(github.com)144 points by guyb3 7 months ago | 41 comments
90210 – running the show without property tax(github.com)16 points by starboyy 4 months ago | 10 comments