See the details below for timestamps of each talk! Interested in hearing about future events? You can sign up for our newsletter here: http://eepurl.com/dOrx... (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…)

Empowering everyone to build reliable and efficient software. - rust-lang/rust... (more…)

I saw a recent Reddit post on the advances in Generic Associated Types (GATs) in Rust, which allows for the definition of a Monad trait. In this post, I'm going to take it one step further: a monad transformer trait in Rust! (more…)

Getting started with Rust/WinRT is quite simple thanks in large part to the polished toolchain that Rust developers enjoy. Here are a few links if you don’t need any help getting started. Read on i… (more…)