Writing

Recent posts


Model Checking for the Working Man (m/f)

Correctly designing a concurrent system is hard. Formal methods make it easier, and they're really not so intimidating as you think. (read)


CMake best practices

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)


Model-View-Whatever

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)


How I would design palm rejection

“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)

(See all: Blog | Essays)

Code

Most interesting projects

RoboMind Map Editor

A fully client-side HTML5 tile-based map editor for the RoboMind educational programming environment.

(online)

Windows Path Editor

The non-frustrating way to editor your PATH if you use a lot of command-line tools on Windows.

(GitHub page)

PowerSearch

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)

readTHERE

A bookmarklet to quickly copy/paste hyperlinks between different devices you own.

(online)

Drawing

Most recent daily drawing.




Social

Here's how to get in touch.