Tyrade: a pure functional language for type-level programming in Rust - willcrichton/tyrade... (more…)

Over the course of my internship at the Microsoft Security Response Center (MSRC), I worked on the safe systems programming languages (SSPL) team to promote safer languages for systems programming where runtime overhead is important, as outlined in this b... (more…)

This is a position paper that I originally circulated inside the firmware community at X. I've gotten requests for a public link, so I've cleaned it up and posted it here. This is, obviously, my personal opinion. Please read the whole thing before sending... (more…)

We recommend upgrading to the latest Safari, Google Chrome, or Firefox. (more…)

Read all about our blazing fast Push Notification delivery system, OnePush, which is written in The Rust Programming Language.