#introduction Hi, I'm Darin.

In a previous life I spent way too much time studying #philosophy (I like #antirealism) and later #typetheory (I like #intuitionism and all the newer weirder shit Girard writes about).

These days I spend way too much time thinking about #synthesizers, especially #modular #eurorack.

I do a little bit of programming, mostly in #agda, #ocaml and #rust.

I'm currently trying to learn enough about hardware dev (#arm, #xilinx, #xmos mostly) to make my own synth modules.