/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

smallcultfollowing.com
| | blog.thomasheartman.com
3.4 parsecs away

Travel
| | In which I respond to the recent call for blogs put out by the Rust core team and write down my wishes for Rust in 2020. Yup, GATs and const generics are there, but also slice patterns and a request for better documentation around async development.
| | hackmd.io
2.4 parsecs away

Travel
| | # Async fns in traits **This doc now lives here: https://rust-lang.github.io/async-fundamentals-ini
| | theincredibleholk.org
1.9 parsecs away

Travel
| | As I've written about before, one of the major features we're working on adding to Rust is to allow async functions in traits. Today we have support in nightly ...
| | model-checking.github.io
17.6 parsecs away

Travel
| Documentation for the Kani Rust Verifier