No edit summary |
No edit summary |
||
(53 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__ | |||
= | =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. | |||
I | = What I do within Fedora (current-ish) = | ||
I am a | 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. | ||
I | = 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 [[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. | |||
* (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 [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 = | |||
* 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 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 (142) | |
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.