MinCaml and derivatives
create videos in multiple languages
，更多细节参见体育直播
It was in 2000, yes.
Because Super Mario 64 maps still use only IEEE‑754 32bit floating point numbers for positions, they are only a covering space, not the universal covering space of the collision detection space, which uses short ints I will elaborate below.