Atom feed

Dissertatiometer | Jul 30, 2024

For my dissertation, I kept track of my progress on this page, which is now archived as a blog post. I counted the number of words in my Latex source using texcount. I started counting on February 9, 2023, starting from the contents of my thesis proposal. Data points were only added on days with changes.

0 comments

Mathematics or Science? | Dec 28, 2022

As part of the program chair’s report for POPL 1992, Andrew Appel wrote a paper titled “Is POPL Mathematics or Science?” His paper measured how theoretical a conference is using the author ordering of the papers published. While this paper was meant to “provide some laughs”, I thought it was very interesting and reproduced the results for both the same data and for present-day programming languages conferences.

1 comment

CV of Failures | Nov 10, 2021

Most of what we publicly show of ourselves is positive. This can give others the impression that they are the odd one out, who has failures when everyone else only seems to succeed. But in reality, everybody fails—we simply hide the failures. This CV of failures aims to make my efforts more transparent, and to provide a more balanced perspective on my career.

2 comments

Weak weeks | Oct 23, 2019

In August I tried to abandon the concept of the days of the week.

0 comments

Coinduction | Apr 17, 2019

Coinduction is the mathematical dual to an indispensible mathematical tool: induction. While mathematical induction has been known for thousands of years, coinduction has only been studied for a few decades. It is still primarily used in computer science, from which it originated in the field of concurrency theory. Coinduction allows us to define circular or infinite objects (such as streams, lists that can be infinitely long), and to prove things about them.

3 comments

Welcome | Mar 6, 2019

Welcome to my blog! This is the first (official) post, hopefully of many.

9 comments