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… Read more

Read full article

Similar

I Used Rust and Lunatic to Build a TelNet Chat Server with WebAssembly

This post describes how I leveraged Rust, WebAssembly and Lunatic to build a telnet chat server. (more…)

From Rust to TypeScript

I was introduced to Rust in 2018 and has been enamored since. Rust is a system programming language, much like C++. Unlike C++ though, being relatively new, its language design is more modern and sophisticated. Writing with can feel more like writing Type... (more…)

Build and Flash Rust+Mynewt Firmware for PineTime Smart Watch

All you need is a Raspberry Pi and a Windows or macOS computer! (more…)

Embedded Rust tooling for the 21st century

Berlin based technology consultancy specialising in the Rust programming language. We offer development, implementation, training and long-term support. (more…)

Writing an Embedded Operating System in Rust [video]

Rust is a systems language, similar to C, that also provides memory and thread safety at compile time. It's an extremely powerful language with great perform... (more…)

Latest News

Emdash: Full-stack TypeScript CMS based on Astro; WordPress spiritual successor

AI Agent Architecture Analysis

UK’s leading AI research institute told to make ‘significant’ changes