I'm a functional/mathematical programmer in general mostly writing Scala.
My blog about math : https://blog.doofin.com/
Contribs to open source projects:
dependentChisel : Chisel on Scala 3 with improved bit width inference: https://github.com/doofin/dependentChisel
metals : doofin/metals#2 and https://github.com/scalameta/metals/pulls?q=is%3Apr+author%3Adoofin