Outer Web | Explore

/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		model-checking.github.io Nondeterministic variables - The Kani Rust Verifier
\|	\|	nnethercote.github.io Benchmarking - The Rust Performance Book [AI summary] The text explains the basics of benchmarking in Rust, covering workload selection, tools like criterion, and the trade-offs between different performance metrics.	0.9 parsecs Travel
\|	\|
\|	\|	rust-lang.github.io 0445-extension-trait-conventions - The Rust RFC Book [AI summary] This RFC proposes a naming convention for Rust extension traits to improve clarity and consistency in the language's API design.	0.8 parsecs Travel
\|	\|
\|	\|	rust-sdl2.github.io sdl2 - Rust API documentation for the Rust `sdl2` crate.	2.4 parsecs Travel
\|	\|
\|	\|	blog.orhun.dev Zig Bits 0x2: Using defer to defeat memory leaks - Orhun's Blog FOSS Linux Programming	18.7 parsecs Travel
\|