I can't say I really love any of them. But I think my favorite is "dev" because it is short and pretty unambiguous (afaik). The problem is it isn't a widely used term outside the industry, so when I talk to acquaintances who probably wouldn't know what I mean by "dev", I say "programmer", because most people seem to have some idea of what that is (even if that idea is very different from reality).