2025 – 2026

终于又到了一年(阳历)的最后一天,但我并不期待。虽然再过几个小时,2025 这个数字就会从所有正常运行的日期显示设备上消失,但并不意味着我们能真正“告别”什么。 这一年对我来说其实是去年(2024 年…

232 18

AI 和 形式正确

“形式正确”这个词很少被提起,不是因为这个概念不重要,而是因为它太基础,从而经常被忽略。就像空气、重力,这些几乎无时无刻影响着我们,而我们却很少意识到自己时刻被它们影响着。 举个例子。如果你看到一则标…

312 3

形式正确之无情对

晓看天色暮看云,冬吃萝卜夏吃姜。 一则形式正确的无情对 深秋,傍晚,一个偶然的时刻。看到眼前的美景,我突然想到了“晓看天色暮看云”这半句词。当时我也知道它的后半句是:行也思君,坐也思君。这句词的知名度…

323 2

绍兴游记

今年“五一”假期,与情人同赴绍兴旅游。一来是为了参观鲁迅故里,二来也为感受绍兴的人文气息。 周公子的故宅,阔绰得惊人,活像一座皇宫。而此时的故宅早已没了长妈妈的唠叨、寿镜吾先生自我陶醉的读书声、父亲的…

1671 5

2024 – 2025

每年的最后一天,都会有一篇以新旧年份数字组合作为标题的博客文章,意为在一年的最后一天回顾即将结束的一年,并展望新的一年。然而,今年这篇文章使用这个标题似乎是不准确的,因为这篇文章可能只会讲述一件事,而…

2557 8
加载更多