Recently Steve Klabnik called out to summarize why Rust is actually awesome to work with. I do love Rust and plan to use it next year for…...
Read more »
Today is four years since I first learned about the existence of Rust. I know this because Rust 0.5 was the first release I used. Rust has changed a lot in that time. For a brief overview of its history, watch this talk of mine. But for today, I... | Stev...
Read more »
The Rust team has announced the formation of a new non-profit group, the Rust Foundation, that will help guide the programming language and community. (more…)
Read more »
Paper
Talk at POPL
Technical Appendix
Coq Formalization
Artifact (with VM)
... (more…)
Read more »
An implementation of webauthn components for Rustlang servers - GitHub - kanidm/webauthn-rs: An implementation of webauthn components for Rustlang servers... (more…)
Read more »
