(最初写于7月7日，这篇博客现已成为我最近的个人向动画review，新看完的动画以追记的形式更新。)

现在是东京时间凌晨3点，北京时间凌晨2点，加州时间11点，第一次坐跨太平洋航班睡不着，不如来写写博客。

This post includes all the weekly reports on my GSOC 2020 project with mypy, starting from the day coding starts(in my case, May 22nd after discussion with my mentors). Each weekly report will record significant progress, findings, and problems during the week.

杂谈与突然想推荐的歌曲。

大一上学期的微积分（一）课程，我选上了陈锦辉老师的课程班，陈老师授课认真，唯独喜欢用粉笔板书且字迹不深，这导致上他的课需要早起“抢座位”才能坐在看得清他板书的前排。因为懒，我在抢到几次前排后就开始呆在后排，时间一长，自然也就不再听课。现在想起，如果当初好好听课，会打下更好的数学基础，有更好的 GPA，之后的日子也不会这么难过。事实上，在那个教学班，据我目测至少就出了两位数以上的国奖/唐奖，也许并不是巧合。

最近长期呆在家里，作息紊乱，经常一天睡好几次觉，长度不一，也许受这种不规律的作息影响，做的梦也奇怪而有意思了起来，感觉从来没有体验过这么奇怪的梦境了，因此稍作记录。