世俗的形状。
The city I watch is full of other people's evenings.
我望着的这座城，盛满了别人的夜晚。
关于这幅图
这句话的一种 DisCoCat 分析。词语在这里有了形状，连接呈现它们组合成句子的关系。
查看原始弦图几种抵达世界的方式
埋首之间，或流连街头
最近写下的
全部 20 篇诗与声音
3 分钟Route Six，再坐一站
六路车仍向前开。折起的纸页上，还留着那个小小的 “why?”。 这是 Route Six 的新版本，音乐与演唱由 Suno 生成。歌词和生成时使用的 Style 提示词，一并留在这里。
随笔
10 分钟Sheldon，介词怎么又跑到句末了？
What are you talking about? — Leonard, S01E12 — Sheldon, S02E19 最近在重温《生活大爆炸》（TBBT），注意到一个有趣的小细节：…
人间漫游
4 分钟再到江安
今天又回了一趟江安。 原本是来帮社团张罗百团大战的。晚饭过后，广场上的活动还在继续，舞台的音响开得很大，远远便能听见。我嫌那里太吵，便一个人沿着路走开了。本来也没打算去哪里，只是想随便走走，…
数学
10 分钟有界 Q-valued sets 的笛卡尔闭性与 topos
上一篇讨论了 integral involutive quantaloid 的 weak tabularity 与 topos。这次只从笛卡尔闭性出发，在有界 Q-valued sets 中…
数学
8 分钟Integral quantaloid 的 weak tabularity 与 topos
本文的出发点是 Q-Set 何时构成 topos 的问题。胡晓与申力立在 Q-Set is not generally a topos（Theorem 5.6）中证明：对 commutati…
诗与声音
2 分钟Route Six，试着唱出来
把之前写的 Route Six 和 Noema 一起改成了一首歌。
每一个念头，都有自己的引力
思想的星图
靠近一个主题，
看见它与整个世界的联系。
正在绘制星图…