doyougnu @doyougnu@qoto.org

PhD candidate in programming languages. PL, FP, SAT solvers, Philosophy, and most importantly, dungeons and dragons. (he/him)