Hi there 👋

Note: my Github username changed from metadave to bookshelfdave in late 2021

I'm currently a Principal Lead Software Engineer at Akamai (Linode), working on Linode orchestration software (all closed source). I helped ship Firefox (1), the Terraform Plugin Framework, Chef Server, Chef Analytics, Habitat, VLC compiler and Varnish projects at Fastly, and Riak Multi Data Center Replication.

• I'm interested in:
  • distributed systems
  • programming language theory + functional programming
  • parsing + compilers
  • infrastructure automation
  • polyglot software development
    • I use C, Python, Terraform, Java, C#, Go, Ruby, Swift, C++ etc.
    • I ♥️ Rust, Haskell, Erlang, F#, OCaml, Racket, etc.
  • math + 3d geometry
• Remote worker since 2012
• 👯 I’m looking to collaborate on
  • compilers + language runtimes
  • cloud infrastructure tooling
  • audio / synth stuff
    • I play guitar, although I am not a performer.

Fun projects that I've worked on over the years

• Mars 2020 Helicopter Contributor
  • A badge appears under my Github profile picture
  • my contributions to Elasicsearch

Books that I've reviewed (and am credited for)

• Haskell (Almost) Standard Libraries, by Alejandro Serrano Mena (March 2022)
• 7 Databases in 7 Weeks, second edition by By Luc Perkins, Eric Redmond, and Jim Wilson
• The Design And Implementation Of The Freebsd Operating System 1st Edition, by Marshall Kirk McKusick and George V. Neville-Neil

Habitat

• 102 PR's against Habitat, mostly Rust
  • a few highlights:
    • Add encrypted file upload to gossip ring
    • Add artifact sign/verify with libsodium
    • Habitat Director
    • Encryption / decryption support
• and a patent as well!

Cloud/infra "stuff" (K8s, Chef, etc)

• 223 commits as an SRE on the Mozilla Marketing Engineering and Ops (MozMEAO) team (Terraform, Python, Ansible, K8s)
  • This team hosted www.mozilla.org, developer.mozilla.org, careers.mozilla.org along with other Mozilla services and sites.
• Contributor to the Velero backup tool for Kubernetes (Go)
  • Add an ark bug command (Go)
• ksv: K8s Secrets Viewer (Go)
  • and a version of ksv written in Python
• Riemann OCaml Client
• Chef Server RabbitMQ queue monitor (Erlang / Chef)
• Implement profile signing and verification for Chef Inspec (Ruby)

Parsing/language stuff

• I added support for scientific notation to the Gleam programming language (Dec 2022).
• Contributions to Disco, a discrete math teaching language written in Haskell
  • the largest contribution being disco-lang/disco#230
  • add OEIS support to the Disco language: disco-lang/disco#202
• Chef Analytics Rules, discontinued (Java, Antlr, Apache Storm)
• JKVC - Key Value Coding for Java data structures
• ETP: an Erlang Term Parser for Java.
• EQL: an Elasticsearch Query Language (experimental) (Java/Antlr)
• StringTemplate Object Wrappers (Java/Antlr)

Riak

• 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. (Java/Antlr/Javascript via Rhino)

Misc

• Wings3d Collada export plugin (Erlang)
• Elasticsearch nodeattrs API enhancements (Java)
• EduFS: learning FreeBSD filesystem and kernel internals (C / FreeBSD Kernel stuff)
• Racket Neo4j client (Racket)
• Flux3d C++/Qt/Python half-edge 3d model viewer, mostly collision detection of verts/edges/faces, triangulation, etc.
  • I embedded a Python interpreter into Flux3d to add scripting support
• obj2json 3d .obj -> .json converter written in Haskell