(36 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
+ | {{Infobox usertest | ||
+ | |REAL-NAME=Rick Elrod | ||
+ | |image=CodeBlock.jpg | ||
+ | |homepage=elrod.me | ||
+ | |location=Ohio, USA | ||
+ | |birthday=August 2 | ||
+ | |fas-name=codeblock | ||
+ | |email=codeblock@fedoraproject.org | ||
+ | |gpg=FC3C6A07 | ||
+ | |irc-nick=relrod | ||
+ | |irc-channels=#fedora-admin, #fedora-noc, #fedora-apps, #haskell, #scalaz, and a bunch of others | ||
+ | |facebook=codeblock | ||
+ | |github=relrod | ||
+ | |callsign=N8SQL | ||
+ | }} | ||
+ | |||
__NOTOC__ | __NOTOC__ | ||
− | |||
− | = | + | =NOTE!= |
− | ''' | + | '''By FAR, the best way to reach me is by pinging me on IRC or dropping me a PM (relrod on freenode). Please try to contact me there before resorting to other methods.''' |
− | ''' | + | |
− | + | = Introduction = | |
− | + | I live in Youngstown, OH, USA, and am a recent graduate of Youngstown State University where I majored in computer science and mathematics, and minored in linguistics. I have a very strong interest in Programming Language Theory (PLT) and the connection between mathematics and programming by way of things like category theory, type theory, and the Curry-Howard correspondence. To that end, I have a very strong opinions on the state of the software industry and the need for formal verification in our industry as software continues to grow more fragile and complex. | |
− | + | ||
− | + | I am a Red Hat Certified Engineer as of June 2019. | |
− | + | ||
− | + | = What I do within Fedora (current-ish) = | |
− | + | ||
− | ' | + | I am on the [[Community Platform Engineering]] team at Red Hat. Day-to-day, I spend most of my time on the infrastructure team, ensuring that the Project's servers are up and running, safe and secure, and up to date. However, I also spend time working on Fedora's websites portfolio, including co-leading the rework of getfedora.org that took place in mid 2019. I hold a seat on the Fedora Mindshare committee where I represent the Websites and Design teams. I maintain a fair number of packages, mostly random things that I find useful. |
− | ' | ||
− | = | + | = Timeline of my Fedora history = |
* (June 2010) - Sent intro email to infrastructure@lists.fedoraproject.org, started helping out wherever I could. | * (June 2010) - Sent intro email to infrastructure@lists.fedoraproject.org, started helping out wherever I could. | ||
* (January 2011) - Got funded to go to [[FUDCon:Tempe_2011]]. (Thank you, Fedora!) | * (January 2011) - Got funded to go to [[FUDCon:Tempe_2011]]. (Thank you, Fedora!) | ||
Line 21: | Line 35: | ||
* (June 2011) - Won the [[Scholarship | Fedora Scholarship]]. (Thank you, Fedora!) | * (June 2011) - Won the [[Scholarship | Fedora Scholarship]]. (Thank you, Fedora!) | ||
* (November 2011) - Started administrating the [[Scholarship | Fedora Scholarship]] since the previous winner has the opportunity to run the next year's scholarship. | * (November 2011) - Started administrating the [[Scholarship | Fedora Scholarship]] since the previous winner has the opportunity to run the next year's scholarship. | ||
− | * (February 2012) - Became an intern at Red Hat | + | * (February 2012) - Became an intern at Red Hat (Fedora Engineering Intern). |
+ | * May 2017 - Transitioned to full-time member of the Community Platform Engineering team as "Associate Software Engineer" | ||
+ | * June 2019 - Promotion to "Software Engineer" | ||
+ | * June 2019 - Obtained RHCE certification. | ||
= What I do outside of Fedora (in FOSS) = | = What I do outside of Fedora (in FOSS) = | ||
− | * I | + | * I work on a lot of small FOSS projects that I started (see my GitHub page linked above). |
− | * I maintain a small number of [https://rubygems.org/profiles/6607 Ruby Gems]. | + | * I love learning about programming paradigms, particularly Functional Programming. |
− | * I | + | ** Along with that, I love learning the math behind it. Type theory and category theory are enjoyable. Provable correctness is amazing. :) |
− | * I | + | ** In fact Programming Language Theory in general is amazing. :) |
− | + | * I maintain a small number of [https://rubygems.org/profiles/6607 Ruby Gems], but this is about all I do with Ruby nowadays. | |
− | + | * I maintain some Haskell packages on [http://hackage.haskell.org/user/RickyElrod Hackage]. | |
− | + | * I created [http://da.gd/ http://da.gd/] and am currently rewriting it in Haskell. | |
− | |||
= Non-software things that I do = | = Non-software things that I do = | ||
− | * I am a | + | * I am a founder of the [https://noexc.org/ Northeast Ohio Experimenters Club], a small ham radio club among friends, in Ohio, USA. |
− | + | * I was a founder of [http://synhak.org The SYN/HAK Hackerspace] in Akron, Ohio, USA. | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
* I enjoy photography - I shoot Pentax. | * I enjoy photography - I shoot Pentax. | ||
+ | * I enjoy astronomy and should learn more about it one day. | ||
+ | * I'm an extra class amateur radio operator (N8SQL) and ARRL and Laurel VE. | ||
+ | * I play drums (but only as a hobby). | ||
+ | * I play guitar (also only as a hobby). | ||
+ | * I play piano (you get the idea at this point). | ||
+ | * I swing dance. | ||
− | + | [[Category:Ambassadors from the USA]] | |
− | |||
− | |||
− |
Latest revision as of 01:58, 18 June 2019
Rick Elrod | |
---|---|
Personal information | |
Location: | Ohio, USA |
Birthday: | August 2 |
Homepage: | elrod.me |
E-mail: | codeblock@fedoraproject.org |
GPG key: | FC3C6A07 |
Contact information | |
Ham Radio: | N8SQL |
Facebook: | codeblock |
GitHub: | relrod
|
Fedora-specific information | |
FAS name: | codeblock |
Fedora e-mail: | codeblock@fedoraproject.org |
Fedora homepage: | codeblock.fedorapeople.org |
Fedora Badges earned (140) | |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | |
NOTE!
By FAR, the best way to reach me is by pinging me on IRC or dropping me a PM (relrod on freenode). Please try to contact me there before resorting to other methods.
Introduction
I live in Youngstown, OH, USA, and am a recent graduate of Youngstown State University where I majored in computer science and mathematics, and minored in linguistics. I have a very strong interest in Programming Language Theory (PLT) and the connection between mathematics and programming by way of things like category theory, type theory, and the Curry-Howard correspondence. To that end, I have a very strong opinions on the state of the software industry and the need for formal verification in our industry as software continues to grow more fragile and complex.
I am a Red Hat Certified Engineer as of June 2019.
What I do within Fedora (current-ish)
I am on the Community Platform Engineering team at Red Hat. Day-to-day, I spend most of my time on the infrastructure team, ensuring that the Project's servers are up and running, safe and secure, and up to date. However, I also spend time working on Fedora's websites portfolio, including co-leading the rework of getfedora.org that took place in mid 2019. I hold a seat on the Fedora Mindshare committee where I represent the Websites and Design teams. I maintain a fair number of packages, mostly random things that I find useful.
Timeline of my Fedora history
- (June 2010) - Sent intro email to infrastructure@lists.fedoraproject.org, started helping out wherever I could.
- (January 2011) - Got funded to go to FUDCon:Tempe_2011. (Thank you, Fedora!)
- (February 2011) - Was asked about and gladly accepted entrance into sysadmin-main, the core sysadmin group for the Fedora Project.
- (June 2011) - Won the Fedora Scholarship. (Thank you, Fedora!)
- (November 2011) - Started administrating the Fedora Scholarship since the previous winner has the opportunity to run the next year's scholarship.
- (February 2012) - Became an intern at Red Hat (Fedora Engineering Intern).
- May 2017 - Transitioned to full-time member of the Community Platform Engineering team as "Associate Software Engineer"
- June 2019 - Promotion to "Software Engineer"
- June 2019 - Obtained RHCE certification.
What I do outside of Fedora (in FOSS)
- I work on a lot of small FOSS projects that I started (see my GitHub page linked above).
- I love learning about programming paradigms, particularly Functional Programming.
- Along with that, I love learning the math behind it. Type theory and category theory are enjoyable. Provable correctness is amazing. :)
- In fact Programming Language Theory in general is amazing. :)
- I maintain a small number of Ruby Gems, but this is about all I do with Ruby nowadays.
- I maintain some Haskell packages on Hackage.
- I created http://da.gd/ and am currently rewriting it in Haskell.
Non-software things that I do
- I am a founder of the Northeast Ohio Experimenters Club, a small ham radio club among friends, in Ohio, USA.
- I was a founder of The SYN/HAK Hackerspace in Akron, Ohio, USA.
- I enjoy photography - I shoot Pentax.
- I enjoy astronomy and should learn more about it one day.
- I'm an extra class amateur radio operator (N8SQL) and ARRL and Laurel VE.
- I play drums (but only as a hobby).
- I play guitar (also only as a hobby).
- I play piano (you get the idea at this point).
- I swing dance.