There's a Patrick Murphy on this very thread https://news.ycombinator.com/item?id=7533877 , you insensitive clod. ;P

Yes, Paddy is a common Irish shortening of Patrick. Murphy is a classic surname.

It's totally real.

Leave generic irish names out of this :P ;)