I'm the Head of The Institute for Type Safe Memetic Research. I rap and put it on YouTube.
Random descriptors which somehow fit me:
- Father, husband.
- Programmer, mainly OCaml.
- Lover of maths, clarity, great exposition.
- Fascinated by programming languages and type systems.
- Struggling pragmatist.
- Messed up in the head ever so slightly.
- Never fully joking.
You can find me on X, @onehappyfellow. Email me at one@happyfellow.dev.