This talk will feature an introduction to the Weil height machine, line bundles on abelian varieties, Neron--Tate heights, and a discussion of the Silverman--Tate theorem on heights in families.