partialsolve
@partialsolve · 1 works
Writes about type system theory and composable numeric casts in Rust.
Recent posts by partialsolve
- Galois connections for composable numeric casts in Rust · Project, Jul 2026 · github.com
Topics partialsolve posts about
- Rust on Instagram - 1 post · Best Rust creators