spin kuroki

Any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete.

Classic Hits by Microsoft Songsmith: “Roxanne” by The Police (via azz100c)

So there’s this program made by Microsoft Labs called Songsmith with a pretty terrible commercial. You sing and it creates the musical accompaniment. There are videos all over like this one on the pretty terrible results.