VoidLeech

NL Master student CS. Interests include program verification and language design, game design and development, and worldbuilding and storytelling.