https://github.com/relrod/relrod

me
https://github.com/relrod/relrod

Last synced: 13 days ago
JSON representation

me

• Host: GitHub
• URL: https://github.com/relrod/relrod
• Owner: relrod
• Created: 2020-07-13T09:53:47.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2024-04-05T00:42:32.000Z (7 months ago)
• Last Synced: 2024-10-10T18:01:32.836Z (26 days ago)
• Size: 19.5 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
### Hello world!

I'm Rick, a senior software engineer on the [@ansible](https://github.com/ansible) Anisble Automation Platform team at [Red Hat](https://redhat.com/). Before that, I worked on the Fedora Infrastructure team for 8 years and volunteered for 2 years before that.

#### 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](https://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.