Correctly designing a concurrent system is hard. Formal methods make it easier, and they're really not so intimidating as you think. (read)
CMake is a great tool for managing a C++ system’s build. It builds fast, supports the major use cases, and is quite flexible. The problem is, it’s too flexible, and... (read)
There always seems to be a lot of confusion about Model-View-… umm… and-then-something-more architectures. Everybody seems to get the Model and the View parts. The Model is where your data... (read)
“Palm rejection” is the name for a cool technological trick which comes in very handy if you like drawing or writing on your fancy capacitive touch tablet. It allows your... (read)
Most interesting projects
Windows Path Editor
The non-frustrating way to editor your PATH if you use a lot of command-line tools on Windows.(GitHub page)
The address bar is the new command line! Search any website directly from your address bar, with a simple configuration tweak to your browser.(online)
A bookmarklet to quickly copy/paste hyperlinks between different devices you own.(online)
Most recent daily drawing.
Here's how to get in touch.