/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
Borrowing ยท baby steps
| | www.integralist.co.uk
Rust Ownership, Borrowing, and Lifetimes Mark McDonnell
3.8 parsecs away

Travel
| | I've been learning Rust recently. This will probably be my third (lazy) attempt to learn the language. The reason I've failed previously is simply because I had no reason to learn it. Other than the memory safety aspects, which I like a lot, I don't actually like the design of the language at all (but that's a conversation for another day). This time around I want to learn the language as it's pertinent to my job.
| | www.ralfj.de
Formalizing Rust
4.8 parsecs away

Travel
| | My current research project - and the main topic of my PhD thesis - is about developing a semantic model of the Rust programming language and, most importantly, its type system. Rust is an ...
| | borretti.me
Type Systems for Memory Safety
4.2 parsecs away

Travel
| | A survey of type systems for memory safety.
| | paulbutler.org
Paul Butler - Calling WebAssembly from Rust
17.3 parsecs away

Travel
| [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.