Extensive Unicode snippets in Visual Studio Code
I’ve been playing around with the Rust programming language lately. I like it a lot; perfect language for rewriting a Go tool I once lost the source code to! Here’s…Continue Reading …
I make software that works and matters, in Berlin.
I’ve been playing around with the Rust programming language lately. I like it a lot; perfect language for rewriting a Go tool I once lost the source code to! Here’s…Continue Reading …
Read the syntax-highlighted version here. Chris Morgan has a really good write-up of the potential problems someone might encounter when you try to implement FizzBuzz in Rust. He gives the…Continue Reading …
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 long since I let you know what I’m doing, so let me try to explain what I’m at! Purely functional programming works well for some applications, but others…Continue Reading …
I’ve been working on my PhD for a year now, and it’s about time I show you what it’s about. I’m working on a language with constructs such as yield_to_list:…Continue Reading …
This page is about my PhD research. There’s something about my master’s research on my About Me page.
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 …