今年三月初有幸去爱丁堡参加HPCA 2024公费旅游，因为是和PPoPP，CGO一起举办，还是蛮热闹的。虽然我除了present论文和听了几个keynotes之外大多数时间不是在宾馆补觉就是在爱丁堡的大街小巷闲逛拍照片探店，难得出趟门，还是记录一下。

最近闲来无事通关了《异度之刃2》（一周目），随手写点感想。

I have not updated my blog for a LONG time. It seems that my blog is on the edge of distinction again history repeats itself. The post Twenty Two Plus Plus in memory of my undergraduate years has been staying in the _drafts folder for nearly three months. I NEED to finish it before it is too late 24歳、学生です.

The underlying reason is quite simple another new excuse I made to justify my laziness: I was struggling with graduation last summer semester. After I arrived at Ithaca, I found a new way to keep a personal diary/journal. I had tried lots of tools, including paper textbooks, Word, DayOne, OneNote, etc., to help myself keep a personal diary since I was a little boy. None of these attempts lasted for more than two months. But for now, I have successfully kept a diary for two months. Thanks to mdbook: Create book from markdown files. Like Gitbook but implemented in Rust.

There are many tutorials and posts introducing environment setup for the prominent operating system course MIT 6.828. However, most of them do not target at macOS. Even if some of them do, they often choose to directly compile and install the related tools without using any package management technique to keep everything clean.

After searching on the Internet for quite a while, I finally found a promising solution: By creating one’s own Homebrew tap, toolchains for 6.828 could be deployed swiftly & cleanly.

To make my commits marked as “verified” on GitHub, I tried to sign them locally using GPG. It worked fine using the following command line command:

1

> git commit -S -m your commit message

But when I tried to sign commits within JetBrains IDEs, like Clion, things did not work out so easily. JetBrains IDEs do not provide native supports/integrations for GPG. So I need to make use of GPG Suite to sign commits automatically without being prompted for password from the terminal. This post records how to do so.

The original Python release of shadowsocks supports multiple users through configuration, by assigning different passwords on multiple ports.

1
2
3
4
5
6
7
8
9
10
11

{
    "server": "0.0.0.0",
    "port_password": {
        "8381": "foobar1",
        "8382": "foobar2",
        "8383": "foobar3",
        "8384": "foobar4"
    },
    "timeout": 300,
    "method": "aes-256-cfb"
}

Currently I am using shadowsocks-libev, which is the libev port of shadowsocks. And I also need to support the usage of multiple users.

Blog又又又很久没有更新了，真的感到十分惭愧。申请季快进入尾声了，SOP也都写的差不多了，还是赶紧补一篇Statement of Ostrich来记录一下最近的”一点人生的经验“和“变化”吧，毕竟这半年对我而言确实可以说是天翻地覆。

春季丰富了不少人生的经历，也增添了些许不成熟的想法。虽然早就有诉诸笔端的冲动，只不过由于自身“鸵鸽”的本性一拖再拖，不知不觉中春假都已悄然结束。就连夏季学期都开始了一个星期，掐指一算距离我的上一篇文章过去将近过去了四个月，我才终于为了不让这个Blog像它的前辈们一样僵尸化，下定决心坐下来随便写点什么来填补这段漫长的空白。

Every ostrich needs a nest. So do I.

There are many posts that illustrate how to create a Hexo-driven blog hosted on Github. However, when it comes to personal VPS, such step-to-step tutorial vanishes. Since I need to use shadowsocks to access the outside world beyond the wall, I happen to own a VPS provided by Bandwagon. So I do not need to(also not willing to) use Github to store the static webpages. As a result, this website is deployed on my personal VPS(Ubuntu 16.04). And here are some of the crucial procedures I have taken to build this website(my own nest):

年轻的时候还在搞OI，也算是看着Matrix67，Byvoid这样的大牛的个人博客一步步走过来的。羡慕着大牛们的人生轨迹的同时，也想着自己也要搭个博客，让自己这个鶸也能在世界上留下一点微小的痕迹。但网站搭好了，却每次都和我那拿完省一就“激流勇退”的OI生涯一样，“创业未半而中道崩殂”：搭好之后一共没写过几篇文章，却往往由于“众所周知的原因”更换了连接更加顺畅的VPS做梯子，最后又懒得做迁移，一切便烟消云散。一次又一次重启，仿佛之前的一切从未存在过。

So we beat on, boats against the current, borne back ceaselessly into the past.