(updated) |
(update) |
||
Line 15: | Line 15: | ||
'''Facebook''': [https://www.facebook.com/codeblock https://www.facebook.com/codeblock]<br /> | '''Facebook''': [https://www.facebook.com/codeblock https://www.facebook.com/codeblock]<br /> | ||
'''Google+''' (rarely used): [https://plus.google.com/106726601246881076299/ https://plus.google.com/106726601246881076299/]<br /> | '''Google+''' (rarely used): [https://plus.google.com/106726601246881076299/ https://plus.google.com/106726601246881076299/]<br /> | ||
= Introduction = | |||
I live in Akron, OH, USA, and am currently attending Youngstown State University where I am majoring in computer science and minoring in mathematics. 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. | |||
= What I do within Fedora (current-ish) = | = What I do within Fedora (current-ish) = | ||
Line 31: | Line 34: | ||
* (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). | ||
* (December 2013 - present) - Title change to "Associate Software Engineer, Fedora Engineering" | |||
= Perhaps most importantly, I earn badges! = | = Perhaps most importantly, I earn badges! = | ||
Line 39: | Line 43: | ||
* I love learning about programming paradigms, particularly Functional Programming. | * 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. :) | ** Along with that, I love learning the math behind it. Type theory and category theory are enjoyable. Provable correctness is amazing. :) | ||
* I maintain a small number of [https://rubygems.org/profiles/6607 Ruby Gems]. | ** 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. | * I created [http://da.gd/ http://da.gd/] and am currently rewriting it in Haskell. | ||
* I sometimes contribute to [https://github.com/facebook/phabricator Facebook's Phabricator project] in my spare time. | * I sometimes contribute to [https://github.com/facebook/phabricator Facebook's Phabricator project] in my spare time. | ||
= Non-software things that I do = | = Non-software things that I do = | ||
* I am a | * I am a full-time student, currently majoring in CS and minoring in Mathematics at Youngstown State University. | ||
** I am the current Vice President for the YSU ACM student chapter. | ** I am the current Vice President for the YSU ACM student chapter. | ||
** I am the former Vice President for [http://www.w8upd.org/ W8UPD], The University of Akron's Amateur Radio Club. | ** I am the former Vice President for [http://www.w8upd.org/ W8UPD], The University of Akron's Amateur Radio Club. | ||
Line 51: | Line 57: | ||
* I am learning calligraphy in my free time. | * I am learning calligraphy in my free time. | ||
* I enjoy photography - I shoot Pentax. | * I enjoy photography - I shoot Pentax. | ||
* I am still active with the University of Akron Amateur Radio club, though I no longer attend UAkron. I write code for them. |
Revision as of 09:04, 2 February 2014
Ricky Elrod on the 'net
FAS: codeblock
GPG: DAD3DF0E
Freenode (nick: relrod): #fedora-admin, #fedora-noc, #fedora-apps, #fedora-fedmsg, and a bunch of others.
Internal/Red Hat (nick: relrod)
Slashnet (nick: CodeBlock): #uakroncs
Ham Radio: N8SQL
Email: codeblock@fedoraproject.org
Website: http://elrod.me/
Blog: http://blog.elrod.me/
Github: https://www.github.com/CodeBlock
Facebook: https://www.facebook.com/codeblock
Google+ (rarely used): https://plus.google.com/106726601246881076299/
Introduction
I live in Akron, OH, USA, and am currently attending Youngstown State University where I am majoring in computer science and minoring in mathematics. 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.
What I do within Fedora (current-ish)
- I packaged and maintain a number of packages that I find useful.
- I am also a packager sponsor and currently sponsor a small number of people
- I'm a member of the core infrastructure team
- Web app development
- Server maintenance/upkeep
- I lead the Fedora Mobile Android app project
- I am on the websites team and occasionally fix issues with project websites
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).
- (December 2013 - present) - Title change to "Associate Software Engineer, Fedora Engineering"
Perhaps most importantly, I earn badges!
What I do outside of Fedora (in FOSS)
- 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.
- I sometimes contribute to Facebook's Phabricator project in my spare time.
Non-software things that I do
- I am a full-time student, currently majoring in CS and minoring in Mathematics at Youngstown State University.
- I am the current Vice President for the YSU ACM student chapter.
- I am the former Vice President for W8UPD, The University of Akron's Amateur Radio Club.
- I am the former Vice President for ACM at UAkron.
- I am a founder of The SYN/HAK Hackerspace in Akron, Ohio.
- I am learning calligraphy in my free time.
- I enjoy photography - I shoot Pentax.
- I am still active with the University of Akron Amateur Radio club, though I no longer attend UAkron. I write code for them.