狷墨居

狷墨居主人的方寸天地

一个记录主人生活点滴、文学创作、技术心得的地方


心事浩茫连广宇,于无声处听惊雷

关于

欢迎来到狷墨居!

关于我

我是一名本科生,目前就读于清华大学计算机系。作为学计算机科学的,我倒是并不怎么喜欢写代码,所以技术方面我也没什么好谈的,估计也不会再写这类文章。偶尔会给开源软件做点零星的贡献,自己做的项目倒是不多。这个页面有一些我做的小项目,感兴趣的可以看一看。 最近一段时间我的科研方向是形式语义、形式化验证、定理证明等

称我为社会主义者应该没什么大的错误,不过我可能看上去是“小布尔乔亚”了一点,和大多数当代青年一样生活在小资情调里。我对意识形态斗争没兴趣,也不喜欢别人给我扣「左」、「右」、「小资产阶级」之类的帽子,这很无聊。不过我也说不准,毕竟人要远离风尘并不容易,但愿狷墨居是我的清净之地。

我的个人爱好包括戏曲(听不太惯京剧,所以主要是昆曲)音乐棒球等等。我喜欢的音乐风格包括摇滚、古典、民乐、New Age、电子等等。

曾经有段时间我也很喜欢看电视布袋戏,你们可以翻到我之前写的一些评论性文章。不过最近我不怎么写长篇大论,只写写自己的感受,寥寥三四百字足矣。电视布袋戏这样一个高度商业化的传统艺术,其小圈子内部的争执尤为“壮烈”,我实在是厌倦了这样的争吵,所以到最后索性不再关心这些事情。我现在对它只是观望态度,偶尔看看,之前做的一些相关研究和工作还在,但估计不会再更新了。

关于网站

我有意将狷墨居搭成完整的个人主页,不过目前它只是我的博客而已。主要是我不太喜欢写代码,而且前端技术也就马马虎虎,所以只好搁置了。

这个博客主要是我的学习心得(也有一部分实践的心得),写的都是我不熟悉也不擅长的东西。毕竟对我来说,教导别人并不是一件特别有意思的事情。如果哪篇文章对人有所帮助,我想那也是纯属巧合。后来也偶尔有一些文学作品和剧评,但我的文笔和章法已经一塌糊涂,实在很难说是能吸引读者。思想上,也没有什么深度,恐怕都只是枯燥而乏味的一些自述。

写作本身就是比较奢侈的事情,要安安静静地写一些东西实在是很难得。所以这里的大部分文章是关于计算机技术的,因为简短、容易写、看得人我想也多一些。说到底计算机科学还是我的本行,钻研得比我的兴趣爱好更深。我写作的标准是“有趣”,而不是“有用”或者要起到提醒自己、或者教育别人的功能。所以,我思来想去,还是觉得这个小站对于大多数人来说,并没有什么多大的益处。

不过,这段时间也的确通过这个平台认识了一些朋友,如果你对我有什么兴趣或者问题,欢迎给我发邮件:)

狷墨居的由来

狷墨居主人是我的自号,是多年以前还是高中生的时候起的。它并没有什么深刻的含义,只不过是对梁任公的简单模仿,胡乱拼贴而已。墨是墨家学说的意思,那是我青年时代比较笃信的思想;狷是狷狂的意思,代表的只是一种理想。毕竟在娱乐至死的氛围中,我已经离兼爱天下的目标越来越远。在这样的情况下,只愿能保存自己唯一剩下的一点狷狂。狷在墨前,对人处世,亦是如此。

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

狷墨居主人

2018年7月1日

于清华园