PhD candidate in programming languages. PL, FP, SAT solvers, Philosophy, and most importantly, dungeons and dragons. (he/him)
QOTO: Question Others to Teach Ourselves An inclusive, Academic Freedom, instance All cultures welcome. Hate speech and harassment strictly forbidden.