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