Explore >> Select a destination
|
You are here 
|
www.dgendill.com | ||
| | | | |
paulbutler.org
|
|
| | | | | [AI summary] The post discusses the current state and challenges of embedding WebAssembly outside of browsers, focusing on runtime choices, memory management, and interface design for applications like real-time multiplayer games. | |
| | | | |
nora.codes
|
|
| | | | | [AI summary] The article explains the concept of 'unsafe' in Rust, clarifying that it allows specific low-level operations while maintaining overall memory safety through the language's type system and safe abstractions. | |
| | | | |
vmx.cx
|
|
| | | | | [AI summary] The author discusses creating a WASM binary with multi-value returns using Rust, overcoming challenges with tooling and FFI safety issues. | |
| | | | |
model-checking.github.io
|
|
| | | Documentation for the Kani Rust Verifier | ||
