👋 🔭I’m currently working as a manager of data operations SRE @ Mozilla (as of August 2020)
- previously, manager of cloud engineering @ Mozilla
🌱I’m currently learning type theory + abstract algebra
- I'm interested in:
- distributed systems
- programming language theory + functional programming
- operating system internals
- infrastructure automation
- diversity + inclusion + equity
- polyglot software development
♥️Haskell, Erlang, F#, OCaml / SMLNJ, Racket, Idris
- I use Bash, Rust, Python, Terraform, Go, Swift, C, C++, Java, etc.
- parsing + compilers
- math + 3d geometry
- Remote worker since 2012
💬Reach out to me if you're looking for a mentor. In particular, I'm looking to use my energy to help BIPOC, Latinx, LGBTQIA+ folks and women in tech. I can be reached at my github username at protonmail.com. I realize that your professional experience won't be the same as mine, but I'd like to help however I can. 😄Pronouns: he / him
- I'm not a web developer, but I use a lot of backend web tech to host large websites in the cloud.
👯I’m looking to collaborate on
- compilers + language runtimes
- cloud infrastructure tooling
- audio / synth stuff
- I used to play guitar
Fun projects that I've worked on over the years
- 102 PR's against Habitat
- Contributor to the Velero backup tool for Kubernetes (Go)
- K8s Secrets Viewer
- Riemann OCaml Client
- Chef Server RabbitMQ queue monitor
- Riak C client
- Riak R client
- original author, although the client changed a bit
- Riak OCaml client
- 89 PR's against Riak multi datacenter replication (MDC)
- Riak MDC replication "proxy get"
- Contact: a query language and interactive shell for Riak.
- Contributions to Disco, a discrete math teaching language written in Haskell
- JKVC - Key Value Coding for Java data structures
- ETP: an Erlang Term Parser for Java.
- EQL: an Elasticsearch Query Language (experimental)
- StringTemplate Object Wrappers
- Wings3d Collada export plugin
- Elasticsearch nodeattrs API enhancements
- EduFS: learning FreeBSD filesystem and kernel internals
- Implement profile signing and verification for Chef Inspec
- Racket Neo4j client
- Flux32 C++/Qt/Python half-edge 3d modeling thing, mostly collision detection of verts/edges/faces.
- obj2json 3d .obj -> .json converter written in Haskell