I am a software developer at the Netherlands eScience Center, where we empower all researchers across all scientific disciplines in the… (more…)
Read more »
The Iterator trait in Rust allows you to conveniently operate over a sequence of elements.
They provide an expressive, functional, convenient, and performant way to do computations.
(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 »
🏃♂️ A little bit fast and modern Ruby version manager written in Rust - TaKO8Ki/frum... (more…)
Read more »