$ whoami
I graduated with a Master’s degree in Computing
Science from Utrecht
University in the Programming
Technology track. In my final
thesis, I gave a formalized
proof of correctness of forward-mode automatic differentiation. My interests
include programming language theory and functional programming.
I have been interested in programming ever since I can remember. I think this
interest stems from my love of problem-solving and me gluing myself to a
computer screen the majority of my not yet long life. My childhood was filled
with me being bored at school and rejoicing at the idea of getting home and
playing some
video
games.
My humor usually includes a lot of hyperboles with a boatload of
self-deprecation, but if it appears in my writing though, is a different matter.