The Wayback Machine - https://web.archive.org/web/20200923072218/https://github.com/relrod
Skip to content
Avatar

Highlights

relrod/README.md

Hello world!

I'm Rick, a software and release engineer on the @ansible team at Red Hat. Before that, I worked on the Fedora Infrastructure team for 8 years and volunteered for 2 years before that. I currently lead the Fedora Websites project and hold a position on the Fedora Mindshare committee. I am RHCSA and RHCE certified and a Red Hat Certified Specialist in Ansible Automation.

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 have a plethora of other interests including swing and blues dancing, historical linguistics and etymology (I have been teaching myself Latin), amateur radio, musical instruments (namely piano and upright bass).

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.

Contact

I have LinkedIn if that's your thing. I also have Twitter.

Pinned

  1. 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 44.8k 19.6k

  2. A simple Ruby interface to Bing's translation API.

    Ruby 112 54

  3. A library for parsing, manipulating, storing, and reacting to HABP telemetry downlinks.

    Haskell 4

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

    PHP 44 7

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

    Coq 12

  6. A toy STLC implementation.

    Haskell 6 1

1,577 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri

Contribution activity

September 2020

Created a pull request in gentoo/gentoo that received 2 comments

net-fs/s3fs: Specify slot for dev-fs/fuse in 1.80

Similar to 3710a40 for dev-utils/ostree, we need FUSE 2 for this to build, so specify the slot explicitly. Not specifying the slot caused a build f…

+2 −2 2 comments
19 contributions in private repositories Sep 1 – Sep 23
You can’t perform that action at this time.