Type theory and lambda calculus? It's like, here's some neat math concepts. Oh look we can use it to prove statements about addition and stuff. Psyke, now you know haskell.
It's just "psych". Like "Here's a million dollars. Oh, PSYCH!" An older (more complete) phrasing is "to psych someone out", meaning you mess with somebody (psychologically). I've also seen it spelled "sike", but never "psyke". I wonder if your spelling is common too.
Not sure. I have a hard time spelling any word where I don't have a good grasp on the etymology involved. Also there are some words that I can't spell AND pronounce, but if I have a hard time with one I can do the other (they change places several times before I get used to them). Finally, I almost always spell snake when I really mean to spell snack (including this time, I had to fix it).
Psyke came up on the google search, so I guessed it was good enough even though it looked a bit funny to me. Of the two, warhammer 40k and psychology, my last thought was of warhammer 40k, so I'm guessing that's why I ended up spelling it the way I did.
Psychology, physics, and psychics all give me trouble as well.
(Hard core research into etymology and linguistics are on the list of things to learn. I'm guessing I'll continue to have these sorts of issues until I start making headway.)
