First Impressions on Rust and WebAssembly

Just a small blog where I will document my exploration of interesting technologies, such as WASM, WebGL, Rust and 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 »