Units of Measure in Rust with Refinement Types

Years ago, Andrew Kennedy published a foundational paper about a type checker for units of measure, and later implemented it for F#. To this day, F# is the only mainstream programming language which provides first class support to make sure that you will … Read more


Rust Verification Tools a Retrospective

There are lots of hard problems in industrial research but one of the hardest is timing. If you start a project too early, your users are focused on other problems and donโ€™t yet feel a need for your solution. And, if you start a project too late, your use... (more…)

Read more »

24 days of Rust โ€“ winreg

Fact: I'm writing these articles and examples on a Windows machine and so far everything compiles and works as expected. Just so you know, Rust supports Windows in the top tier. I'm mentioning it here since a few people I talked to assumed Windows support...

Read more »