For those of you who don't know: the funniest man alive has died today. Rest in peace, Robin Williams.