[tom_]

Just use ~/dev. It's OK to have two folders with the same name, if they're in different places. This is after all why we have folders in the first place!