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 some neuroscience-adjacent projects.
Here's my Github and Twitter.
And welcome to contact me at lakesare@gmail.com.