We will survey recent characteristic p techniques that have appeared in relation to the Jacobian conjecture especially related to its equivalence (a la Kontsevich) to the Dixmier conjecture.