I make software that works and matters, in Berlin.
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…Continue Reading …
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…Continue Reading …
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…Continue Reading …
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…Continue Reading …
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…Continue Reading …