A Doom Renderer written in Rust. Contribute to cristicbz/rust-doom development by creating an account on GitHub. (more…)
Read more »
Some notes on things I find interesting and important. - frankmcsherry/blog... (more…)
Read more »
I show how two domain-specific type systems, information flow control and two-party communication protocols, can be implemented in Rust using type-level programming. I explain how interesting properties of these domains can be verified at compile-time. Fi... (more…)
Read more »
Correct concurrent programs are difficult to write; when multiple threads
mutate shared data, they may lose writes, corrupt data, or produce erratic
program behavior. While many of the data-race issues with concurrency can be
avoided by the placing of loc... (more…)
Read more »