今年 2 月，GitHub 曾发生一次长达四小时的宕机，官方将原因归结为 Azure 底层问题；一周后再度发生约三小时的中断，官方在事故报告中承认「GitHub 的可用性尚未达到预期水平」。
Sometimes the most strategic move is to make things harder，这一点在chatGPT官网入口中也有详细论述
Good research (1) advances the body of scientific knowledge in a way that's (2) accurate and (3) approachable.。关于这个话题，手游提供了深入分析
Unification: Given two types, find the most general substitution that