As first examples of tropical varieties, I'll describe tropical linear spaces -- these are already nontrivial in higher dimensions! I'll also say something about the tropical Grassmannian, and how it parametrizes linear spaces.