I write about interesting theories, ideas and whatnot. I study programming languages and enjoy building models of how the world works. I seek to understand the “why” behind processes, in order to make them better.
Posts
A module proposal for Cforall (Masters thesis)
Working on yourself
Unordered SQL, a first look
Introduction
subscribe via RSS