/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
| | www.ralfj.de

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 ...
4.8 parsecs

Travel
| |
| | without.boats

[AI summary] The blog post discusses the challenges and limitations of using generators and async/await in Rust, focusing on issues with borrowing and self-referential structs, and their impact on the futures ecosystem.
4.0 parsecs

Travel
| |
| | www.integralist.co.uk

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.
3.8 parsecs

Travel
| |
| | huonw.github.io

The `Send` and `Sync` traits in Rust are cool, here are two edge-ish cases.
16.7 parsecs

Travel
|