云坡袅烟

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

阅读全文

黄昏之吻(五)

一、北上

我于一棵松柏树上初醒,困意未尽,鸟窝越来越抵抗不了冬天,冷风从松柏树外拐着弯得杀进来,再从巢壁疏细的空隙中杀进来,再从我身羽毛的空隙中杀进来,断断续续得来,没完没了。我想多长点毛,不怕臃肿不堪,就怕挡住看山看水看你的眼睛。清晨树下路面上雾气还在下坠和纷飞,石路还很潮湿,像宣纸上未干透的散开的淡墨。松柏针簇之间能看见的月亮,不知道在哪个方向什么时辰早已沉落下去了。我昨夜准备画它下来,唯是无法抓住它的静,于是弃笔。没有心思的专注,是脱离队伍的鱼。懵懂木讷的双眼,因为想你,而更加懵懂更加木讷,所以人们老是傻鸟傻鸟得说出去,喜欢没有理由地加一个傻字,嬉嘲云云。选择建窝的柏树,在你窗不远,二三十米,我飞过去,扑打翅膀十四下。这条路上,是我们两构建的故事,我喜欢这故事的末尾带着不确定性,就如开头见你带着偶然的运气。在所谓的爱情中,智商和理性总是在请假在远方,全世界的人若都在爱情之湖里,这个世界早就崩塌爆发经济危机,得幸还有很多人撅着屁股使劲干活,于是忙里偷闲得以继续念想。禽类转动脖子,总是一瞬间三十度,一瞬间六十度,一瞬间九十度,是以为你的脚步声,才会进化成如此。水的唯一缺憾是重力,我的唯一缺憾是生有眼睛。

阅读全文

Abstract Interpretation Notes

阅读全文

Separation Logic

阅读全文

Shape analysis

阅读全文

Symbolic Heap

阅读全文

2018 事项

2018

2018 任务目标

阅读全文

论两性(六)之安全距离

最初始的憧憬,是跟一个女子距离可以是负的,最后的期望,是希望另一半在地球的另一面。

阅读全文

判定过程(基本概念)

阅读全文

南浔南浔

南浔

对一个地方一个人越是熟悉,越是文字显得无力。

阅读全文