Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project. (more…)

I show how to use heterogeneous lists and traits to implement a type-safe printf in Rust. These mechanisms can ensure that two variadic argument lists share important properties, like the number of format string holes matches the number of printf argument... (more…)

Go specs implemented as a scripting language in Rust. - GitHub - oxfeeefeee/goscript: Go specs implemented as a scripting language in Rust. (more…)

I saw a recent Reddit post on the advances in Generic Associated Types (GATs) in Rust, which allows for the definition of a Monad trait. In this post, I'm going to take it one step further: a monad transformer trait in Rust! (more…)

awesome-rust - A curated list of Rust code and resources. (more…)