- 👯 I’m looking to collaborate on really just about any FOSS, but probably focused on projects using Golang, Rust, or Nix (especially Golang as that has been my primary language of choice/use for the last 5+ years!)
- I am endlessly curious and fascinated by programming languages. I definitely want to continue improving my skills with
Rust
, but I'm looking for any excuse to study, learn, and use Haskell, Gleam, Elixir, Elm, Clojure, PureScript, OCaml, Zig, and/or maybe even an Array-oriented language like APL! - I really want to maintain and improve my mathematical fluency/literacy and develop my knowledge/skills around
formal methods and model checking in software engineering
(i.e. primarily TLA+, and Alloy 6+) - Improving the developer experience for myself and those around me is yet another top-tier priority to me. I would love to participate in a developer book club or something like that!
I'm an avid believer in FOSS, and contributing as much as I can with open source code, documentation, etc. But I sponsor multiple projects, foundations, and developers.
- See who I'm sponsoring via github
- See who I'm sponsoring via open collective
- See who I'm sponsoring via patreon
- I also donate to Khan Academy and MIT Opencourseware every month, because I want a world-class education to be as accessible and available as possible
- I'm also a proud member of
- the Linux Foundation
- the IEEE
- I'm a proud supporter of the Electronic Frontier Foundation (EFF)
- GitLab
- Mastodon
- credly
- My previous work GitHub
- My current work GitHub