Timetracking-Rs: Tracking Hours in Rust

I worked with Technology for a long time. I created a Python script 10 years ago to manage my working hours for control, observability, ba… Read more


Type-Level Programming in Rust

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 »

Why Not Rust?

I’ve recently read an article criticizing Rust, and, while it made a bunch of good points, I didn’t enjoy it — it was an easy t... (more…)

Read more »