We will start with a general overview of the interactions of piecewiselinear geometry with non-archimedean geometry, originating in the classical work of Bieri–Groves. We will then present a general finiteness result in tropical geometry obtained recently in joint work with A. Ducros, E. Hrushovski and J. Ye.