Welcome! This is my blog. I've been programming for years, I'm into open-source and I created memcode. At the moment I'm mainly contributing to Lean/Mathlib. I've also done a surprising number of neuroscience-adjacent projects over the years.
Here's my Github and Twitter. And welcome to contact me at email@example.com.