我的2020

2020年是颇为魔幻的一年。年初时我人在南美旅行,高原上与羊驼嬉戏之际,澳洲的山火仍在继续,南美的骚乱尚未停止。但是到那时为止,这似乎还是一个正常的开年。紧接着伊朗将军被暗杀,德黑兰客机被戏剧性地误击,第三次世界大战似乎不再遥远。我冥冥中开始觉得这将是一个不寻常的年度。于此同时,日后肆虐全球的新冠肺炎还是新闻中一个不起眼的不明肺炎,而它将深刻改变着我和许许多多其他人这一年的生活甚至是整个人生轨迹。

我的2020年,是混乱而充满变化的,又是幸运而大体平稳的。这一年里,我第一次长时间地居家生活和学习,第一次当了助教,第一次找的暑假实习被取消了,第一次找了全职工作,第一次参与了正式的科研。顺带创造了一年内搬家数记录(5次),一年内(较长时间)居住过的城市数记录(3个:香槟,芝加哥,匹兹堡)和一年内访问过的城市数记录(10个,横跨3个大洲)。

CS140e (0) 准备与Blinky

最近看到了Stanford新开的一节操作系统课CS140e。这门课的主要特点在于

  • 真实:不使用虚拟机,所有程序在真机(树莓派微型电脑)上运行
  • 自下而上:从最底层开始构建操作系统的核心模块
  • 现代:使用现代化的硬件(64-bit ARMv8多核平台)和现代化的编程语言(Rust)及工具

为什么我们要了解编程语言的设计与实现

更新 (2020/03/22):

时隔两年,学习了更多编程语言领域的知识之后,对本书的认识也有了一定的转变:覆盖面很广,一路从语言设计,编程范式讲解到编译器实现;不过正如标题“Pragmatics”所指,本书侧重在语用学,关注实际语言特性的分析、运用与实现,对语法学也有一定涉及,但是对语义学涉及甚少。不过对于非编程语言领域的程序员来说,语用学的知识正是最需要,收益最大的部分。

关于转专业

在2016年8月30日,新学期开始的第二天,我最终做出了退出FoS的决定,不再继续化学系的课程。

这一切都发生得很突然。在那天早上,我还只是隐隐地有一点想转专业的念头而已。没想到,到了晚上,在Shuttle Bus上得知Peter也有转专业的念头后,我当即做出了决定, 换掉了所有科学课程。