Real-time video processing with Rust, FFmpeg and OpenCV

I fell into a rabbit hole. It all started with quarantine, and too many Zoom calls.
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 »

Working with Rust

Working with Rust Working with Rust is a set of examples that cover common programming functions, tasks, and problems. It assumes a base programming knowledge and looking for the proper syntax and … (more…)

Read more »