如何正确使用 flightradar24 搜索尾迹飞机

根据之前做的无声文本视频，现在制作了一个有英语 TTS 旁白的视频，讲解如何正确使用 flightradar24 搜索尾迹飞机，里面使用了三个不同情况的例子。我觉得这个视频足够清楚，无论哪国人都应该看得明白。

之前提到这个事的时候，有些人也试过用 flightradar24 去查这些飞机。但他们似乎很难用正确的方式使用 flightradar24，所以他们可能找到距离太远（超过可见距离）的一架飞机，或者飞行方向完全不同的一架飞机，就说找到了尾迹飞机。他们以为这就“证明”了尾迹飞机并不像我说的那样是“秘密飞机”。这样他们就心满意足的下了结论，说我这是“阴谋论”，然后停止思考这个事。

他们好像忘了我是谁，忘了我在专业上的思维能力比他们高明多少，他们是如何的尊重我，常常需要听取我的见解。一个思维如此严谨的人，怎么会犯如此低级的错误，声称“没有任何一架尾迹飞机可以在 flightradar24 上找到”这么荒唐的结论？

另外，他们有些人还知道我很会用地图。跟他们一起走在外面的时候，我使用手机地图识别路线的能力也是超过他们的。这样的人，怎么会那么轻易地判断错误，认为 flightradar24 的地图上找不到任何一架尾迹飞机？

所以，他们也突然忘记了我使用地图的能力有多强，忘记了我在其它方面的分析和研究能力，都是远远超过他们的。只是因为他们觉得不可能世界上存在这么巨大的秘密：这么多的飞机在天上大量喷洒秘密物质，居然没人发现！所以他们往往在 flightradar24 上随便找一架飞机，就认为那是自己看到的尾迹飞机，然后就可以敷衍了事，继续生活在梦境里了。

所以我总是为人类的思维方式感到惊讶。也许不怪他们，我当年也对 Dan Friedman 做过同样的事情。Friedman 总是不看好 Haskell 等语言的类型系统，所以虽然我知道他很聪明，对 continuation 等概念理解很深，但我仍然觉得他只会 Scheme 这种“动态语言”，所以对静态类型系统有偏见。

直到有一天，他教我们如何用 miniKanren 写出 Hindley-Milner 类型系统，后来又开始研究 dependent types，写出了《The Little Typer》，我才发现他其实理解绝大部分的静态类型系统，当然也包括 Haskell 的类型系统。他只是看透了这些，知道它们的弱点，所以才是那样的看法。