A Year in Review (2023)

Posted on February 10, 2024

行万里路

读万卷书没有办法做到，行万里路在这一年里轻易做到了。最喜欢的包和鞋子都已经在路上坏得不能再坏。开了三万多公里的车，走遍了你国的所有省份了（不光是这一年完成的）。这一年去了瑞士、法国、意大利、瑞典、挪威、芬兰。一方面，我非常高兴地感觉到我已经实现了部分人生目标了，另一方面，要完成自己最在意的目标还任重道远。

书籍

大约看了30本书。待更新。

播客

这一年开始听播客，发现 ZK Podcast 挺有意思的，听了很多期。后来就一发不可收拾，又听了很多其他的播客。之前开车听音乐，后来基本上就是听播客了。听播客约等于听故事，听的时候感觉挺有意思的，听完约等于没有收获。细节还是需要之后抠。

新技能

学了点 typescript ，发现了一个新的世界。我以前都是用的啥工具呀。Javascript 的基础工具真的是太完善了。说出来不怕被笑话，以前开发后端服务都是手工停了重新运行。Flutter 之类的不重启重新加载对我新鲜得很。其他方面似乎是殊无长进。

徒步长江三峡

第一次重装徒步

穿越川藏线、新藏线

夏天开始从川藏线往西藏走，路上碰到了很多事情。在雨崩附近磕到了大石头。

在波密到林芝路上高速过大坑把轮胎给爆了，还把前桥给撞开裂了。

前面的车子是被泥石流冲下山的。那天因为泥石流交通管制，没有其他板车，所以就一个板车拉了两个伤员。

秋天终于到了拉萨，修好车子之后发现，青藏线和新藏线已经开始结冰下雪了。认怂不敢再开。于是通过板车把车子寄到了格尔木，而自己坐火车去了青海。青藏线路上大堵车。遗憾天色太晚，没有瞥见可可西里。不过路上雪景甚美，一直难以忘怀。冬天坐飞机去了新疆，没顶住伙伴的诱惑，周末两天把车子从喀什到了狮泉河。一路上的风景是美的，草原还是那么广阔无源地黄（如果你也曾经有过幻想的话，是时候让它幻灭了，冬天的西藏和秋天没有任何差别，哦不，冬天西藏湖上结冰了），如果我一两个月之前没有见过同样的景色的话，它会更美。一路上真的毫无冰雪，就这路我还认怂。这一路也就是在公珠措附近看到了点雪，比十月份走青藏线看到的雪景差远了。

到了拉萨之后，决定去去看一下纳木错。冬天的纳木错确实很美。

CERN

完成了一个小时候的梦想——参观了欧州核子中心。到日内瓦，第一件事情就是参观 CERN。

CERN 就在瑞士和法国的边界。访客能看的部分很少。我个人觉得比较有价值的，一个是和万维网以及 Tim Berners-Lee 有关的一个古董（具体是啥忘了，翻了下照片，是第一台 web 服务器）

另外是一个法国大学教授带着我们参观的第一台粒子加速器。从日内瓦出来，和一位美国黑人女士聊上了。一开始还是聊这里的人似乎不太友好，后来就聊到了她此行的目的。大概就是这个世界有一股邪恶势力，大型粒子加速器就是他们制造出来的。而谁是邪恶势力呢？他们走到哪里都会带着某一个标志，那就是数字xx（也许是96，她给我指了指 CERN 的 logo，我已经记不太清楚了）。我非常幸运，能够遇见她，这是上帝的安排。经过联合国的时候，我们看到巴基斯坦还是哪里的人在抗议。

瑞士

在日内瓦买了个自行车。本来是打算骑到苏黎世的。后来发现瑞士阿尔卑斯太难骑了。骑到 Interlaken，坐火车去了苏黎世。瑞士的火车还有专门的自行车托运的票。第一天从日内瓦出发，走日内瓦湖的南边去了法国。遗憾的是，我的 airbnb 订单下得有点晚（主要是 airbnb 傻逼，还要做 “kyc”，好像是要等几个小时才能审核通过，审核通过的时候天已经晚了，Host 已经睡着了）。打电话给 airbnb 客服，airbnb 客服也没有给联系上 host，没办法我就只能就近找个板凳睡了一晚（法国露营似乎是违法的，睡板凳应该不违法，我猜，不然 homeless 不都得吃牢饭）。早上起来差点看到了日内瓦湖边的日出。

第二天打算骑到 Gstaad，发现自己是真的菜。已经力不从心了。实在是累。这个时候才觉得为什么人家的自行车这么贵大概是有道理的。虽然在网上听说了在瑞士搭便车是有点难的，但我还是成功地在去 Gstaad 的路上搭了两次便车。第一个是一个养蜂的人的车。养蜂人送了我一程之后，他去 Vaud 还是 Valais 了。第二个是两个“小朋友”的车。“小朋友”问了问我的年龄，说这么老了。不过他们是年轻小伙。“小朋友”之前早就看到我了，不过他们有事，没有停下来。后来专程又开车过来载我到了山顶，然后就回家了。路上还劝我试试大麻的滋味。到了山顶骑下山那就是一路狂奔了。普通小轿车还是跟不上我的。到了 Gstaad 之后，天已经快要黑了，这大概就是传说中的宁静古朴的世外桃源吧。我住的民宿窗外就是雪山。非常清楚诱人。第二天早上起来不得不由衷感慨为什么他们村就这么好。去 Interlaken 的路上下暴雨。原计划是要走得更远一点的。后来就在 Interlake 休息了。然后就去了少女峰和 Aletsch 冰川。Lauterbrunnen 自然也不能少。遗憾的是，没有看到翼装飞行的跳台（Lauterbrunnen and around Exit Points），更不用说亲眼看到别人起飞了。Interlaken 的上空全是滑翔伞。还在少女峰上看到有人 ski-paragliding 了。非常地激动。少女峰上还有很多带着攀岩工具和滑雪工具的人。然后就去了苏黎世。体验了一把 Capsule hotel。后来就去了米兰和翡冷翠。翡冷翠名不虚传。传世佳作不一而足。

参加 zurihac

See also ZuriHac haskell podcast.

严重高估了我骑自行车的速度，等我到达会场的时候，Simon Peyton Jones 已经推销了一段时间他的 verse，我有点没太跟上。总结起来就是，我看不太懂，但我大受震撼。然后就是大家展示 hackathon 项目想法的时候了。我发现 Joachim Breitner 的 bootstrappable GHC 项目很有意思。我尝试了参与进去，最终发现其他人对 ghc 的熟悉程度实在太高了，小白就是我，基本上跟不上。总结起来就是，我看不太懂，但我大受震撼。会址在 Zurich 湖边上，离 Zurich 市区还比较远。作为一个随缘旅行家，我显然没有聊到露营还需要预约，等我发邮件预约的时候，Strandbad Stampf 已经满员了。幸运的是在 discord 上面联系到了一个德国小伙，我跟他一起露营了。这个学代数几何的小伙也是不务正业，去年参加了 munihac，今年又来参加 zurihac。最气人的还是我从 Bern 到 Zurich 的车费要远超这个小伙从 Heidelberg 来 Zurich 的车费。周六傍晚和德国小伙以及 Li-yao 在 Zurich 湖边转了转，甚是怡人。第二天早上和一个和另外一个参加 zurihac 的西班牙人一起去会场。他极富激情的向我介绍了一下他们黑客松的想法，很遗憾的是，我基本上没有听懂。他的口音比我还要重。上午是 Alexis King 讲 Delimited Continuations，这个报告经过好几百个听众一致通过，都认为她的演讲结构清晰、条理分明。至于我的看法，总结起来就是，我看不太懂，但我大受震撼。周日晚上在湖边听大佬们扯谈，在会场碰到了两个华人，分别是 Ziyang 和 Carrie（我翻了翻 ghc contributions，这两位大佬都有贡献，Carrie 的贡献看起来不太像是她自己形容的那样，就是两个 typo fixes）。ziyang 似乎是因为什么事情提前回酒店了。和 Carrie 多谈了一会。谈话的主题就是这里太爽了，村里人做梦都想来。后来 Carrie 也走了，我看到了 Li-yao 他们在那里闲聊，我凑了过去。Li-yao 买了些啤酒，也邀请我喝了两口。 Li-yao 虽然是第一次参加 zurihac，但他似乎和圈子里的其他人挺熟悉的，我是菜鸡，不敢说话，也就是听了听大佬们谈天。这里真的是人才辈出，有学语言学的来这里的，也有大佬最近没事干又去学物理了的，大佬们的时间为什么都这么多。最后的压轴大戏来自 Ben Lynn，我在会场里面看到他的时候就觉得这个大佬有点眼熟，他非常友好，还主动打招呼。后来才意识到是他。主持人的介绍是，OST – Ostschweizer Fachhochschule（东道主，会场是由这个学校提供的，用 Carrie 的说法一个“野鸡大学”都能举办这么牛逼的会议，我们强国人可能都白活了）教授对他来参加一个 haskell 的会议也是感到惊讶的。Ben 的演讲激情澎湃，高潮迭起。主要是讲的写了一个 haskell 编译器，把 haskell 程序变成 lambda calculus，然后解释和运行这些 lambda calculus 中的组合子，这个编译器还非常简单地做到了 self-hosted. 总结起来就是，我看不太懂，但我大受震撼。

北欧

极光

极光就是一个庞氏骗局，我不是很建议专程去看极光，因为首先只有一定的概率才能看到极光，其次肉眼很难看到照片里面那么绚烂的颜色（不过肉眼确实可以看到极光在夜空里面舞蹈）。坐飞机的时候，我们可能就已经看到了极光，我一直在否定，这怎么可能是极光，那就是一朵小云。前往 Tromsø 那天晚上很多人都在 AuroraReach 上面打卡说看到了极光。等我们下飞机的时候，已经快要午夜了，已经错过了观赏极光最佳时间了。我们到 airbnb 之后，我开始办公。我出去看了几次，终于还是没有看到极光。后来在网上发现了很多直播视频流，这就只需要刷新网页了。第二天我们离开 Tromsø 了市区。在郊外碰到塞尔维亚来的一对情侣。他们是专程来看极光的，昨晚他们看到了，表示此生无憾了。而今晚，很遗憾没有极光。我们前往 Sommarøy 住了两天，天气不是很好，云层很厚，看到极光的可能性非常小。就在我们要离开北极圈的前一天晚上，我们看到了极光。那天晚上我在外面转了几圈，只看到了一些灰白色的小云朵。我后来在酒店大堂坐了下来，我不肯上楼，也没有出门等。我想，如果今晚真的还有人能看到了极光，那ta一定会兴奋地告诉全世界这个事实吧。后来真的有人从她的嘴里吐出了 aurora 这个单词。我非常兴奋地冲了过去，我问她 aurora 在哪。她说，就在外面，让我赶紧去。我回房间叫上人之后就去看极光了。有人在拍我之前看到的灰白色小云朵。我已经开始意识到这就是极光了。我向她确认了这就是极光。我感到非常失落。就这？我们这个时候才发现用手机拍出来的极光和我们肉眼看到的不一样。手机拍出来的，就是我们在网上见到的大片。我有点不服气，去了一个光污染更少的地方。我发现肉眼看到的极光真的就这样了。Aurora Viewing - Expectation Vs Reality : photography

生活水平

如果不是去了挪威，我怎么会知道我这辈子过得有多惨？

诺贝尔博物馆

去和没去的差别就是，去了之后可以在这里说我打完卡了。

魔幻国魔幻见闻

因为家里的一些事情，尝试了一些自己的小聪明，最终却是什么也没办好。这次魔幻国的魔幻见闻值得细细品味。遗憾的是，这东西不能公开说。

一些颇为私人的事情

此处就不细表了，原因颇为私人。但是在这里列举一下，因为这是我2023年人生的重要组成部分。

雅思考试

又一次被迫接受这样一个 rigged system (by the way, I learned this phrase from this quora answer) 对我生活的操纵，又一次在口语方面栽跟头。It’s like I’m stuck in a Sisyphean cycle - every time I think I’ve made progress, something happens to set me back.