Regan Koopmans
INTRO
Hello there! Welcome to my website. I am a programmer based in the Netherlands.
BLOG
Formal verification is the next frontier
GRPC is (mostly) a waste of time