早晨第一次听见花开

一、
你将心情树根一样沉沦
我顺着梨花飘去的方向
永远不会看见


阅读全文

成为黑夜的一份子

我渴望成为黑夜的一份子,在黑夜到来之前就做好准备,我即将发现昏暗月色的秘密,参与星辰之间的对话。在这个过程中,晃晃悠悠得过掉一世。

我记住了周边所有树木的样子还有草地一年四季的颜容,我把它们看做命运的证明,它们根本不在乎妓女的眼泪和遛狗老太婆的婚姻,我老去时,它们也是如此冷淡无情,像一个悲哀的玩笑。我学会了它们的态度,对万物怀着同情。

阅读全文

东南西北

一、东去

这座城市的门窗紧闭,在煮饭的在煮饭,在做爱的在做爱,在猜疑的在猜疑,在逗猫的在逗猫,一切井然有序,没有突如其来的干扰和意外如雷的波动。一到二十区还是那个样子,看似像个少女迷人得要命,但莫名其妙的味道仿佛是个腐朽的老人,带着花枝招展的虚妄,让你嗤之以鼻。夜晚的塞纳河迷迷糊糊,被下了迷魂药,埃菲尔铁塔硬硬得戳起要非礼她,梵高捧着一堆话,说没办法,没办法。

阅读全文

陈丹青:笑谈大先生

今天在鲁迅纪念馆讲话,心里紧张——老先生就住在隔壁,讲到一半,他要是走进来怎么办?其实,我非常巴望老先生真的会走进来,因为我知道,我们根本别想见到鲁迅先生了。

鲁迅先生被过度谈论了。其实在我们今天的社会尺度中,鲁迅是最不该被谈论的人。按照胡塞尔的定义:“一个好的怀疑主义者是个坏公民。”鲁迅的性格、脾气,不管哪个朝代,恐怕都是“坏公民”。好在今天对鲁迅感兴趣的年轻人,恐怕不多了吧?

阅读全文

云坡袅烟

又是农历新年,聚在一起,菜未上而酒先至,醉醒之后,抬头一看,已是二月,不知身在昨日还是在今朝,一切恍惚飘然。时间逼仄得放不进几页书或者一杯刚泡的龙井,爱情来不及慢煲细炖,孩子老不及造来不及养,忙忙忙,走走走。世界无情的转动,日子经不住几巡又彻底见底了。

阅读全文

Abstract Interpretation Notes

阅读全文

Symbolic Heap

阅读全文

Shape analysis

阅读全文

Separation Logic

阅读全文

2018 事项

2018

2018 任务目标

阅读全文