欢迎!我是韩志磊,目前在清华大学计算机系读本科。在可以预见的未来,我的科研方向将是形式化验证。最近我主要关注的是字符串约束求解以及自动机理论。如果有需要,可以通过邮箱联系我。更多程式化的信息可以参照简历(中文英文)。

不过显然,有些事简历是不会写的(笑):

自述

政治上称我为社会主义者应该没什么大的错误,不过我看上去是「小布尔乔亚」了一点,和大多数当代青年一样生活在小资情调里。平时偶尔会看看左翼文献,但是对意识形态斗争没兴趣,也不喜欢(被)扣帽子。不过,要远离风尘谈何容易,但愿狷墨居是我的清净之地。

我的爱好主要是文艺,包括戏曲、音乐、阅读等等。此外还喜欢跑团和玩互动小说。我喜欢的音乐风格主要是摇滚和New Age,更具体的可以看我的last.fm主页

曾经有段时间我也很喜欢看电视布袋戏,你们可以翻到我之前写的一些研究和评论性文章。电视布袋戏这样一个高度商业化的传统艺术,其小圈子内部的争执尤为「壮烈」,我实在是厌倦了这样的争吵。因此我早已不再继续观看了,也没什么动力继续写剧评。

从内容上说,这个网站以前主要是我的学习心得。我初窥计算机门径的时候,跟风建立了这个网站,把自己的学习笔记一股脑地发了上来。只是随着学习的深入,对于应用技术我渐渐没什么兴趣了。很多自认为写得很差劲的文章,统统被我扔进了故纸堆里。我的科研方向偏向理论计算机科学,并没有太多适合放在这个网站的话题,所以我不会写很多相关的内容。

现在我更愿意在这儿发表文学作品和剧评,或者其他更偏文科的东西。不过,我的文笔和章法已经一塌糊涂;思想上,也没有什么深度,恐怕都只是枯燥而乏味的一些自述,实在很难说是能吸引读者。也许惟一的优点就是——用比较流行的一句话说——贵在真实。

只是这段时间也的确通过这个平台认识了一些朋友,如果你对我有什么兴趣或者问题,欢迎给我发邮件。在互联网上找到志同道合的人并不困难,也许大家只是不太愿意更进一步接触而已。建立这个网站,也许就是为此吧。没有什么服务能比一个独立网站更能展现一个人的方方面面。

自己开办网站还有一个好处,那就是可以控制网站的每个细节。我没必要也不想受各个平台的掣肘,不想被平台无缘无故自我审查。狷墨居于我更多的是其象征意义,就算现在几乎一无所有,它的存在让我感觉自己多少还是独立的。

距离web1.0时代的盛景已经过去了很久,孤岛化也越来越严重了。现在的互联网早已被服务提供商拆分地支离破碎,而这绝对不是建立互联网的初心。与此同时,建独立网站的成本越来越高,对技术水平的要求也不低。能拥有一个属于自己的网站,也算是值得骄傲的一件事了。

这里的内容是怎样许可的?

我还没想好应该用什么许可证发布这些内容。主要原因是此网站的很多内容实质上算不上「研究」,也就没什么保护的必要;这种情况下加上许可信息,有小题大作之嫌。有几篇花了我不少心血,勉强算是得意之作的文章,我会它们正文中注明许可方式,例如:

布袋戏非原创配乐出处一览表 第一辑
本对照表根据编者发布于哔哩哔哩弹幕网的系列改编,截至二零一七年八月十六日更新的第五期,总共收录条数为524条。

至于转载,倒是没什么限制,只要注明来源即可。

狷墨居的由来

狷墨居主人是我的自号,是多年以前还是高中生的时候起的。它并没有什么深刻的含义,只不过是对梁任公的简单模仿,生搬硬套而已——当时我并不知道有一天我的确会成为一方天地的「主人」——墨是墨家学说的意思,那是我青年时代比较笃信的思想;狷是狷狂的意思,代表的只是一种理想。在娱乐至死的氛围中,只愿能保存自己唯一剩下的一点狷狂。狷在墨前,对人处世,亦是如此。

这段时间我也不想改这个名字,可能它跟着我这么久,也算是有了感情;而且从某个角度,也记录了我那段相当狂傲和清高的日子。何况最近这些年,愈加感觉身不由己,现实与理想对立得很分明,我也一点点不那么“狷”,对于墨学的态度也没有以前那么憧憬。这个名字也算是一个自嘲吧。

狷墨居主人

2018年7月1日

于清华园