Wttr: Console-oriented weather forecast service (github.com)
23 points by saikatsg 1h ago 5 comments
How and where will agents ship software? (instantdb.com)
120 points by stopachka 13h ago 58 comments
Stateless Probabilistic Minesweeper
2 ronanyeah 1 7/16/2025, 3:54:47 PM github.com ↗
Comments (1)
ronanyeah · 15h ago
- The SAT solver is implemented using the Rust crate `varisat`
- The Rust program is provided to the webapp as WASM