《一句顶一万句》、《如见》、《本巴》、《流行音乐与资本主义》

舞蹈现场《如见》，新清华学堂，赶上了现场配乐版本

A list of all the articles in the website, ordered by the most recent modification time.

《皇帝魂》、《迷雾之子》三部曲

冬奥会、丰县八孩母亲事件，俄乌全面开战

回到往日时光已不可能，面对平台性垄断的隐私侵犯，只好道一声呜乎哀哉。但是网络不是什么第五空间，只不过是人类生活的一个模型而已，总有些事情，它们永远无法表示，也无法知晓，而这才是生活非机械化之处。

五月天假唱，裁判文书，朱令案等

2023年的新发现：巴洛克流行，民间音乐，以及当代古典。

(no abstract)

Operational semantics of PSO storage system

曾经学习Nand2Tetris时的报告，关于汇编语言及汇编器。

那些真正分分计较、恶性竞争的人，往往没有人批判，反而成了偶像；而那些在底层挣扎、为了完成最基本的要求都需要非常努力的人，倒成了批判的对象。这是舆论应有的导向么？是否可以说，「卷」早就成了既得利益的人用来为自己正名的武器呢？

神魔系列创立于2003年——那是一个电视布袋戏无比辉煌的年代，在经历了《血魔劫》、《情海魔涛》、《魔纪天下》三部剧集之后，神魔成功地成为了一代戏迷心中的经典。不过，由于一些外部的（以及内部的）原因，自2005年起神魔停更了十余年。

2017年七月神魔英雄传第四部《魔云战韬》正式发布，采用了全新的网络免费观看模式。截至目前已经更新至第三集。作为神魔沉寂多年后的全新作品，魔云战韬和原有的神魔剧集有很大的不同，这篇文章简要讲述魔云战韬的故事，并向戏迷郑重推荐萧建平先生的神魔系列。

介绍严格O(n)时间的选择算法——五取样划分

这篇文章试图通过这门古老艺术的发展，来探索传统艺术的出路——这条出路不一定是好的——这也是狷墨试图摆脱的作为一个曾经的布袋戏迷的偏见。但愿这篇呓语能有一点细微的作用，让人们认清人偶之间的异同，从而不再盲目地寻求传承方法。

本对照表根据编者发布于哔哩哔哩弹幕网的系列改编，截至二零一七年八月十六日更新的第五期，总共收录条数为524条。

第六集：正邪冲击

第五集：金鳞蟒邪

第四集：机缘图上的狐狸

新异数第三和第四集一同上映，这是我对第三集的小评

新异数第二集和第一集同时上映，这是我对第二集的观感，主要是人物塑造方面的想法

期待已久的刀说异数正式上映了，写一写自己的感受，主观的感想多于客观的评点

ARINC 661 Specification: Cockpit Display System Interfaces To User System（驾驶舱显示系统人机接口规范)

欢迎！我目前是清华大学软件学院的博士生。在可以预见的未来，我的科研方向将是形式化验证。最近我主要关注的是终止性分析。如果有需要，可以通过邮箱联系我。简历我就不留了:)

科技浪潮滚滚而来，大时代下的每个人都被裹挟进这巨大的机器中，早已无法回头。除了继续发展生产力之外，没有办法彻底根除其带来的弊端。摇摇欲坠的巴别塔也好，极尽先进的大都会也罢，都是其带来的真实生活的一角而已。

这篇文章描述了无类型的λ演算系统的语法和操作语义。

我的第一篇布袋戏评论文章，写的是霹雳早期剧集中的素还真形象。文笔比现在好，可惜说理太次。

南方的春天到来了

关于美国作家Paul Gallico所著的The Snow Goose: A Story of Dunkrik一书以及Camel的衍生音乐的一些想法

因为无法自动加载apparmor配置而导致的重启后应用全部失效，据说是snapd的一个老问题了，这里给出一个手动解决的办法。

尝试着写的第一篇以霹雳世界为背景的同人武侠。和通常的同人文不太一样，这篇主要是补充一些我臆想的江湖设定而已。

闲赋闺怨诗一首

没有批判，只有自我批判。写在这个特殊的日子里，或许只是想消解自己的内心罪恶感而已。

《中国话》

《中国官僚政治研究》

毕业啦!

一个热情洋溢的季节，一段心潮澎湃的热恋，一次刻骨铭心的褪变

《红色工程师的崛起》；旧闻2021-04

旧闻2021-03；《东言西语》；《Mao's China and After: A History of The People's Republic》

2021年2月大事记；对辩证法的认识；《坟》

旧闻2021-01；《景观社会》；《家庭、私有制和国家的起源》

我将对世界的观察和记录简单记录进了这个新的栏目。2020年年末，世界似乎又陷入了不安定，但这也是充满进步和变革的一个月。坚信新的一年会回归正轨，更加美好。

优化快速排序常数，降低比较次数的一些办法。主要是关于轴点的选取方法，如随机选取，三取样取中值，五取样划分

一首托物言志诗，构思于在长安街推车之时

可以正常工作的前摇互联网电台列表（部分）

冬夜望月感遇而作

此中有真意，欲辩已忘言

这是本人写作的一篇十分拙劣的小型论文。我认为牡丹亭的故事是完整的，它的伟大不仅在于情感突破了理性的限制，突破生死的界限。还在于最后情感和理性不能调和的结局，透露出的无限悲剧特质。

当她们联合起来，意识到自己的力量不在于外在的消费、美丽的外表、伟大的道德，而是改变世界的能力时，她们就能以自身的能动性冲破这枷锁。

GNU Octave是Matlab的开源替代，在小型数值计算项目上有很多优点。本文介绍其基本特点，兼谈从中体会到的软件开发问题。

假作真时真亦假，无为有处有还无

人身处喧嚣世界，应当如何安放自己？

这篇文章简要点评魔云战韬第四集的剧情，更多的是对新神魔的一些个人看法

在我成长过程中，文学扮演了浓墨重彩的一笔。这里，我想回顾我的文青岁月，探讨它对我的影响

日有所思，夜有所想。

作于2019年5月20日，为520、贸易战、GPA改革而作

2021.4.19 再见宏大叙事

对计算IP头校验和时端序无关原则的说明与证明

去年我开始了古琴的学习。回想起来，那段岁月着实很让人怀念。试将感触记录于此

疫情期间我在家成功完成了一些互动小说，这里推荐一些十分优秀的作品

新年第一篇，简要介绍一下线段树的通用O(2n)空间实现

《文字的历史》是前苏联学者B.A.伊斯特林的著名著作，旨在用通俗却严谨的方法讲述文字的起源和发展脉络

C语言tentative definition机制导致的兼容性问题

和阿蔓官宣五律

本文讲解了神魔布袋戏的艺术特色，并作为为科普神魔艺术而正在筹备的视频的底稿。本人简要分析了神魔为电视布袋戏带来的变革，以及其独特的拍摄手法、剧本模式、呈现本位的价值观等。希望更多的人认识神魔这样一个优秀的电视布袋戏剧集。

为某好友而作

四月十四日风雨大作

名与实，文字与思维，抽象与具象，都被包括在了这些工具书中。而随着对语言力量的正视，再度看待这些词典的时候，我便会怀着一种崇敬的心情，去审视那奥妙无穷的文字世界。

看的是梁谷音老师的思凡，借着昆曲课的机会写了一点感想，很不专业，仅作个人参考用

对学期内OS验证工作的总结。从CertiCore的开发中，我认识到了系统验证最重要的要求：对边界的认识

「基于安全属性检查的程序上界验证方法」

一篇关于古典音乐的随笔。笔者很久以前就开始聆听瓦格纳的音乐，虽然没有接受过音乐教育，但是却痴迷于瓦格纳构建的一幕幕充满浪漫主义的悲剧。作为最先接触的古典音乐作曲家，瓦格纳对我的音乐启蒙和其他作曲家截然不同，也使得我的审美风格有所不同

我所期望的是外在于我的东西。那是一个能够交往的主体，一个相似的魂灵，一个共步人生的旅者，一个若合一契的人。

随笔一篇

不同的圈子塑造了不同的语言环境，就如同在大学校园里，形成了这样一种语言形式：在这里，简单的短语被其拼音简写代替，并夹杂着一些用字母拼接成的图画。

《前汉通俗演义》、《基地边缘》、《Depression Quest》、《Harmonia》、《Cape》、《Masquerade》、《Violet》

《家庭史话》《黑暗精灵三部曲》《马桥词典》《钻石花》《饮酒史话》《软件基础》

《矛盾论》、《基地三部曲》、《怎样学习文言文》、《儒家史话》、《帛书史话》