Launch HN: Adam (YC W25) – Open-Source AI CAD(github.com)192 points by zachdive 4 months ago | 88 comments
Cadova: Swift DSL for parametric 3D modeling(github.com)83 points by bdcravens 9 months ago | 24 comments
Show HN: Talos – Open-source WASM interpreter for Lean(github.com)78 points by mfornet 4 months ago | 20 comments
Lingbot-map: A 3D foundation model for reconstructing scenes from streaming data(github.com)14 points by olalonde 3 months ago | 0 comments
Show HN: Docx-CLI: agents read/edit Word docs using 1/2 the time and tokens(github.com)53 points by kirillklimuk 3 months ago | 23 comments