I'm a systems engineer with a research bent — built distributed infrastructure at scale for most of my career, founded a company around neurosymbolic program synthesis, and now looking for roles at the intersection of systems, devtools, and programming languages.
Curious strangers are encouraged to reach out!
Note
I'm migrating to privately hosted git, most of my stuff is no longer on GitHub.