So last night, this happened. Miku on David Letterman.