Field notes · Independent pages
散落在个人主页之外的实用页面。旅行、城市探索和研究方法，都从这里直接打开。
从布拉格出发，经易北河源头与 Kotelní jámy，下山回到 Špindlerův Mlýn 的当日执行路线。
两条一日自驾路线的路线对比、时间安排、交通、步行距离、预算与地图。
值得去的博物馆、历史建筑与独立书店，附地址、开放时间、预约方式与官网。
26 家酒吧的筛选清单，覆盖威士忌、Speakeasy、鸡尾酒、Jazz、现场演出与特色场所。
从首个模态逻辑原型到语义、反模型、形式化验证与人工判断协作的构建顺序。