I will discuss some model theoretic methods with a "nonstandard" flavour.  I will touch on a second generation proof of function field Mordell-Lang in positive characteristic (2016). And then talk about recent and current work on arithmetic regularity lemmas from combinatorics.