Lattice Approach to the $\mathrm{\Delta }I=1\mathrm{/}2$ Rule

We discuss a number of old and new methods for computing $K\to \pi \pi$ amplitudes on the lattice. They all involve a non-perturbative determination of matching coefficients. We show how problems related to operator mixing can be greatly reduced by using point-split hadronic currents.