astroengine writes "The stars are not static points in the sky; they move over time. That means the constellations are shifting too. With the help of NASA astronomer Robert Hurt, five famous constellations are visualized 50,000 years in the future."
We declare the names of all variables and functions. Yet the Tao has no type specifier.