This is a video generated by programming. I publish such videos and source code every day on my blog, and this is one of them.