Skip to content
View andrew-werdna's full-sized avatar
  • Austin, Texas
  • 15:00 (UTC -06:00)

Highlights

  • Pro

Block or report andrew-werdna

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
andrew-werdna/README.md

Hi there 👋

  • 👯 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!

Community Involvement

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.

Other Links

Statistics

Andrew's GitHub stats

An image of @andrewwerdna's Holopin badges, which is a link to view their full Holopin profile

Pinned Loading

  1. knowledge knowledge Public

    Forked from nikitavoloboev/go

    Everything I know

    JavaScript

  2. coding-interview-university coding-interview-university Public

    Forked from jwasham/coding-interview-university

    A complete computer science study plan to become a software engineer.

  3. every-programmer-should-know every-programmer-should-know Public

    Forked from mtdvio/every-programmer-should-know

    A collection of (mostly) technical things every software developer should know about

  4. lowlevelprogramming-university lowlevelprogramming-university Public

    Forked from gurugio/lowlevelprogramming-university

    How to be low-level programmer

  5. math math Public

    Forked from ossu/math

    🧮 Path to a free self-taught education in Mathematics!

    1

  6. computer-science computer-science Public

    Forked from ossu/computer-science

    🎓 Path to a free self-taught education in Computer Science!