Skip to content
View relrod's full-sized avatar
307 followers · 403 following

Achievements

Achievement: QuickdrawAchievement: Public SponsorAchievement: Pair Extraordinairex3Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: Public SponsorAchievement: Pair Extraordinairex3Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Highlights

Organizations

@scalaz @pikelang @W8UPD @ansible @edge-sys-design @fedora-infra @haskell-infra @noexc @dpndnt @ansible-community @dagd

Block or report relrod

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
relrod/README.md

Hello world!

emacs Vim Rust Python Debian Home Assistant paperless-ngx

I'm Rick, nice to meet you! I'm currently learning languages: Rust and German.

I wear many hats, but broadly, I am a senior software engineer with years of site reliability experience.

Interests

My software-related research interests are primarily focused around functional programming and type theory. I'd love to see the general quality of software in our industry increase, and I believe that formal verification through type theory is the leading edge toward that. Feel free to talk to me about these things at any time. :-)

I lead the da.gd project (a URL shortener which also provides some other bits of information), and the custom framework that backs it, along with a small but tight group of friends who help with maintenance and respond to abuse reports.

Pinned Loading

  1. ansible/awx ansible/awx Public

    AWX provides a web-based user interface, REST API, and task engine built on top of Ansible. It is one of the upstream projects for Red Hat Ansible Automation Platform.

    Python 14.5k 3.5k

  2. ansible/ansible ansible/ansible Public

    Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy and maintain. Automate everything from code deployment to network configuration to clo…

    Python 64.8k 24k

  3. dagd/dagd dagd/dagd Public

    A URL shortener with various other utilities, backed by a custom lightweight framework.

    PHP 108 18

  4. bing_translator-gem bing_translator-gem Public archive

    A simple Ruby interface to Bing's translation API.

    Ruby 111 55

  5. ct ct Public

    My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.

    Coq 14 1

  6. remrof remrof Public

    In which @relrod learns how to make a game?

    Rust