Where the Formulas Come From · Medium problem

For what value of $k$ does $x^2 - 8x + k = 0$ have exactly one solution (a repeated root)?