The Notorious Flight of Mathias Rust

Ronald Reagan was president, there was still a Soviet Union, and a 19-year-old pilot set out to change the world… Read more

Similar

Rust-Style Futures in C

All networking applications essentially boil down to stringing together multiple asynchronous calls in the right way. Traditionally for programs written in C this would be done through registering callbacks where the callee either handles the event itself... (more…)

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 »