Hi there π π PhD student @UBC-SPL. π Interested in Automated Testing, Program Analysis and Compilers. β‘ Dabbling in Zig π« Sometimes I write about stuff on my website.