About

Who am I?

I’m a first year at Chalmers University of Technology in Gothenburg. My interests include mathematics, programming languages, type theory and formal methods. Though I’m not necessarily particularly knowledgable in any of these fields. My dislikes include blockchain, machine learning, and bigots.

I currently mostly write Haskell, though I’d also consider myself proficient at C. I know a fair bit of Agda, Idris, Scheme, and ruby. I’m interested in learning APL, Ocaml, and Coq.

What have I made?

Here are some of my “complete” projects.

Contact Info

Email

Personal email:

int main(int argc, char** argv) {
	do {
		putchar(*("gcc thiscode.c; ./a.out" + (char)(*++argv)) ^ *(
		  "\x03\x06\x13\x53\x00\x0d\x1b\x01\x23\x1f\x16\x0a"
		  "\x5a\x0c\x55\x4d\x4f\x46\x0d\x00\x0c\x1a\x19\x0a"
		+ (char)((*argv)++)));
	} while ((char)*(--argv + 1) % (3 << 3));
}