Iβm a software dev focused on building software applications people find useful.
I have a background in formal software engineering and competitive programming, though I prefer shipping production code over theory. I spend most of my free time building software apps or tools that solve real-world problems, either commercially or for the community.
- dotapro.org: A serverless analytics platform for professional Dota 2, built with Go, React, and AWS.
- voice-type: An accurate and fast Linux-native dictation tool for STT recognition.
- vidder-cli: A video downloading utility written in Go.

