A friend mentioned Authorea to me: it’s an environment for collaborative paper writing. In the past I’ve mostly used LaTeX or LyX, but I semi-recently switched to Sphinx to compile [ . . . ]

It’s been a while already, but our paper on continuation calculus was accepted! I will present at COS 2013, part of the RDP 2013 conference in Eindhoven. Many thanks go [ . . . ]

It’s often useful to be able to read scientific articles at home. My university (TU/e) offers a proxy for this: append .janus.libr.tue.nl to the domain name to use it. It’s simpler [ . . . ]

Here’s a script to show a QR code of your clipboard in Linux. I regularly use it to move text to my smartphone. #!/bin/bash FILE=`tempfile -p qr- -s .png` xsel [ . . . ]

The provocation So the other day, there was an ad on Reddit for WiKID, software-based two-factor authentication “that doesn’t suck”. So my bastard brain says: this can no way be [ . . . ]