Building a Formalized Rust for great good! Contribute to aatxe/oxide development by creating an account on GitHub. (more…)

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 ... (more…)

cap-std is a project to create capability-based versions of Rust standard library and related APIs. (more…)

I'm obviously not spending much time writing here. It's been a rather busy month at work, and I've been doing other things on the weekend that aren't particularly interesting to write about. (more…)

When I created this blog back in September my goal was to post at least once a month. It's December now and you're reading my second post, so I'm not exactly off to a great start. 🤔... (more…)