钟鼓楼

一、菱形依赖

所有的依赖问题，大抵都会与“菱形依赖”有关。也就是如图所示， Web Lib 和 Log Lib 都依赖于 JSON Lib（相当于菱形的下半部分）：

Web Lib 和 Log Lib 对于 JSON Lib 的依赖要求是不同的，Web Lib 要求 >=1.0 ，而 Log Lib要求 >= 2.0 ，最终的 Log Lib 需要同时满足这两种条件，也就是 >= 2.0 。

而当这写条件无法满足的时候，这个系统就崩溃了。不过如果软件都保持向后兼容性（backward compability），那么按理说应该我们总能通过“装最新版”的方式来解决依赖问题。但问题就在于，这里是现实：

一、友情

莫愁前路无知己，天下谁人不识君。

我很少谈起朋友，真的很少谈起。或许在我的潜意识里，我一直都不是一个好朋友。我的意思是，我总是不断的挣扎，直到把所有人远远的推开。但是在偶然的相遇，和必然的分离之间，依然有一些值得称道的情谊。

酸了这么多，大概只是为了说一下，这次去苏州是和马博一起去的，然后体验非常不错。跟着马博去最大的好处就是，不用动脑子想去哪里，马博都规划好了。当然最大的缺点就是，我现在完全想不起来苏州我们玩过哪里了，真的是一点也记不住了。

一、背景

在使用服务器等非非本地电脑的情况下，我们常常面临一个非常原始的 shell。这种原始的环境，不仅会降低开发的效率，而且还会导致操作错误的概率大大增加（比如还未激活某个 python 的虚拟环境，就进行一些包的安装等，或者在错误的路径下删除文件）。

在 LLM Agent 和 VSCode 自动化的背景下，大大降低了 shell 中需要优化的 cli 工具的数量，比如说 docker，文件管理器，编译命令，下载命令，direnv，手册查询命令，git 客户端等，这些都可以很好被 Agent 或者 VSCode 代替。

在这种严苛的环境下，这对 cli 工具提供了更加严苛的要求和品味，我总结为如下几点：

一、总论

虽然我已经在之前的文章中讨论过一遍张量是如何求导的了，并且附上了详细的数学推导。但是我觉得那次的讨论还是有些过于偏向于数学的严谨，而忽略了实际使用中的直观。

所以我打算再推一遍，省略一些数学细节，但是更加注重实际的使用，包括对于计算和内存开销的估算，矩阵的形状等。

二、规律

一、流浪

生活是无可避免的对抗，它是对无意义的对抗的对抗。

人一直在不可避免地流浪。

这次国庆出游只有我一个人。排除去天津那次单纯的为了干饭，这次的扬州之行可以说是我第一次自己一个人出游。

之所以选择自己一个人，是我感觉我之前对于旅游这件事情给予了太高的期望，需要一个人破一破妄。我希望旅游能够与爱人或者朋友一起去；还希望能玩遍所有著名的景点，吃遍所有的美食；还希望能深入了解本地人，在旅游滤镜扫射不到的地方，真实的生活文化；甚至还矛盾地期望着不期而遇的浪漫。我希望通过旅游，为我无意义的生活赋予意义，对抗虚无。

冷静分析下来，这几项基本上是矛盾的，在多个人的前提下，就会出现众口难调的情况。之前的我一直不肯认清这一点，我一直在等待，等待着那个恰好满足所有条件的天赐良机的出现。

一、总论

按理说，这种内容应该放到 Roam 中做一篇私人随笔，而不是作为一篇更为正式的博文。但是或许有些内容，在被人看见的时候，就能起到鼓舞作用呢。毕竟我也是被这样的文章所鼓舞。

认识自我的核心是认识到：“无论如何，只有真实的自己在那里”。

二、洪流