Category: Whisper

今天下午读完了《计算》这本书的导论章节。在导论章节中，关于数学提出了几个尚未解决的问题，其中一个是数学的本体论，也就是说，数学到底是发明还是发现？这个问题直到今天（2024年），依然没有结论。

这个问题在我读高中的时候就有疑惑。说这个，倒不是想说明我自己年轻时候有过什么天才的往事。恰恰相反，正是因为心里有类似疑问，才会对数学这门学科的学习有诸多疑惑，最终导致我内心无法理解这门学科到底是做什么的？学来到底是解决什么问题的？她跟物理学，化学，生物学等等这些学科的关系是什么？特别是物理学，为什么物理学里有很多复杂的数学公式？为什么物理学的很多证明非要靠数学来解决？

从结果来看，数学确实是其他学科的基础，确实推进了其他学科的发展。但为什么会是这样呢？在我过往求学的十多年里，几乎没人能回答我上边的疑惑。这直接导致我对数学的学习仅仅停留在「够用」就可以了。然而今天下午终于释然了。正所谓念念不忘，必有回响。原来这貌似是个极难回答的问题，至今都没有结论。如果搞清楚了数学和物理世界的关系，会对这个世界乃至整个宇宙的了解都会进入一个新的阶段。

举上边这个小例子，是想引出我自己在学习一门新的学科时，特别是入门阶段的一个强迫症似的学习习惯。我自己在学习一门新学科或者新知识的时候，首先想要搞明白将要学的新学科或者新知识是关于什么的？学习之后我会收获什么？这门学科的边界在哪里？坦白说，如果在入门阶段我无法解决这些疑虑，大概率我会迈不过入门这道门槛，或者即便学到了一些技巧，但终归是不得要领，统统都是照猫画虎，想要达到灵活运用，几乎是不可能的。自然，脑袋里对这门学科也不会有一个系统的清晰的认知逻辑。这应该算是我自己在学习一门新学科或者新知识的时候的一个「心理障碍」。相反，如果我解决了这些疑虑，那么接下来的学习对我来说就会非常的「主动」。因为我知道了要学习的内容边界在哪里，我对我自己的学习程度就会有一个比较客观的心理预期，也就是说我对自己的学习进展可以做到心中有数，不自大，也不菲薄。

这个心理障碍其实在很多方面对我都有很大的影响，包括上学时期的学生阶段，以及毕业之后的工作阶段。

大概一个月前，将 Arc 浏览器换成了日常使用的默认浏览器，替换了过去用了将近十年的 Safari 浏览器。Chrome 浏览器也仅仅用作开发浏览器，日常使用是不会用的，原因也很简单，太占用内存，用起来感觉非常的「笨重」。

大概三周前，从 Arc 浏览器里的可选搜索引擎里了解到 Kagi 搜索。

说起来，在 Arc 浏览器里最先体验的搜索引擎是 Perplexity.ai。但因为日常使用代理访问网络，每隔一段时间不用再次访问就会触发 Cloudflare 的「人类」验证机制，很烦人。在寻找替换搜索引擎的时候，这才了解到 Kagi。

话说 Kagi 搜索引擎用了大概两天，我就决定将 Google 替换掉。最核心的原因就是因为没有广告。由于 Kagi 的搜索结果里没有广告，所以 Kagi 的收入基本来自付费订阅。我目前订阅了「乞丐版」，按照 Kagi 文档里的推荐，对于大多数使用者来说，基础版就已经够用了。将近三周用下来，也确实如官方文档里所述，远远用不完。当然，也可能是因为最近这段时间工作太忙，导致没有时间划水有关……

Kagi 除了没有广告之外，目前体验下来，搜索结果比 Google 也不差，特别是英文内容，我自己体验下来没有什么太大的差别。中文内容也几乎没有出现搜不到有用东西的情况，当然比百度要强太多了，单就没有广告这一条就甩百度几条街。

使用 Kagi 搜索，需要用户登陆，因为 Kagi 可以提供个性化搜索。比如我在这段时间使用过程中，将中文搜索结果中的百度内容权重降低了很多，所以即便是中文内容，百度的搜索内容也会出现的很少。当然，也可以将某个网站的搜索权重提高，这样对于一些有价值的小型网站会友好很多，同时也可以帮助你更准确找到相关内容。

Kagi 对于更高级的付费用户提供 Ai 搜索，目前对我来说还用不到，或者说，我还有其他可以用的 Ai 替代品，也许以后其他替代品到期之后也说不定会继续订阅 Kagi 的更高级服务。

总体使用下来，搜索页面上再也看不到广告了，也不会因为前脚搜索某个商品，下一秒「某宝」上就会给你推荐相关产品。

使用搜索引擎这么多年，第一次让我对搜索结果有一种清新的感觉，非常棒！

今天早上醒来发现国外的很多网站上不去了，虎躯一震，立马看了一下代理，竟然是流量用完了。

代理的流量计算是上行和下行的总和。登录后台，看了一下过往一个月的流量统计，发现上行流量占了将近两百个 G。上行流量突然增加的时间是从 2 月 23 日，也就是大年初三开始。那些天没有用过电脑，在家一直用手机上网，一时想不出来为什么流量猛增，而且还是上行流量。

紧接着又查了一下过往 24 小时的流量，发现 Proton Drive 仅在过去 12 小时上行流量就用了 7 个 G。虽然 2 月份的流量数据统计在 macOS 上已经不太好查到，但就过去 24 小时的流量使用情况来看，基本可以初步确定是 Proton Drive 干的。还有另外一个重要的原因，Proton Drive 上一共存储的数据也就 5 个多 G。单就这一晚上上传 7 个 G 流量来看，就完全不正常。

短暂考虑之后，决定将 iOS 和 macOS 上的 Proton Drive 立刻删除，并且以后会非常警惕第三方云端硬盘的 App。现在手机上只保留了一个 Dropbox，里边只会对 Ulysses 的文章做可选项的备份服务，其他数据全为空，并且日常处于关闭状态，需要的时候手动开启同步，用完立即关闭。以后自己搭建 NAS 之后再考虑开启日常备份。

大概在十二年前，也就是 2012 年左右，在 Vimeo 上看了 Bret Victor 的几次演讲视频，其中包括著名的《Inventing on Principle》。

当时给我的理解认知，仅仅停留在 UI 设计以及创意的层面，对背后的核心理念完全没有感知。对于这一点的佐证，也是因为我在搜索 Bret 相关中文内容的时候，无意间搜到了当年 Coolshell 上的一篇文章，在文章的下方，竟然惊奇的发现了我的留言。坦白说，我不太喜欢在网上给人留言，如果真的需要沟通，大概率会发邮件。不过这更加侧面印证了当年的演讲内容确实触动到了我，但很可惜，也只停留在看得见的 UI 设计层面，对于背后的理念，完全没有意识。

时隔十二年，因为今年计划尝试开发自己的产品，所以又想到了当年的 Bret Victor。这一次，有了不一样的理解。

十二年前第一次访问他的网站¹的时候，完全没有理解网站的导航为什么会是那样设计？而且还划分了「章节」，搞的一头雾水，以为仅仅是为了标新立异，完全没兴趣进一步了解，所以很快关闭了网页。

这次当我认真看了网站上的大部分内容，包括一些论文以及设计的 Demo，结合他自己写的简介，我终于理解了这个网站的信息架构。Bret 的个人网站其实是他自己写的一本书，这本书就是他的人生，章节是人生中的不同阶段。甚至，在他的网站中发现了很多年前给自己设计的一个仆告。

在简介的左侧，介绍了他曾经探索的两个方向。一个方向是对「技术」的探索。正如他所说：

But technology has no soul, and code no conscience.

技术没有灵魂，代码没有意识，他认为在这条路上行走的人，仅仅是对代码的狂热。所以，他认为这条路是错误的。

另一个方向，是对「设计」这条路的探索，比如本文开头提到的那个演讲。经过一些实践和思考之后，他认为这条路也是错误的。他认为这条路只能教给人类回答问题。

最后，他希望能够找到一条路，里边「没有」技术，「没有」设计，只有人类自己的愿景，以及通过实现这个愿景的自驱动力。所以，他在 2014 年，开启了人生的第四篇章——dynamicland。

在他的网站上，看到曾经推荐的一些资料，其中有一本书，名字叫《一个数学家的叹息》，在这本书的开篇有一句引言，我认为可以作为 Bret 探索方向的一个比喻：

如果你要造船，不要招揽人来搬木材，不要给人指派任务和工作，而是要教他们去渴望那广袤的大海。—— 安托万·得·圣埃克苏佩里

Bret 的网站上有很多有趣的资料，包括一些高质量的论文以及一些有趣的设计。对我的启发很大，帮助我跳出了「技术男」的思维框架。也让我明白了，「UI 设计」到底意味着什么？

不过，虽然我明白了前方道路意味着什么，但想要抵达前方，还是要一步一个脚印的走。但好在，我不会在迷茫中前行，也不会对前方的「景色」有不切实际的幻想。

感谢 Bret 将他的想法分享出来，也希望他的探索在未来能够有新的发现。

1. Bret Victor 网站首页于 2024 年 3 月 1 日改版。之前的网站首页链接变成了 https://worrydream.com/Home2011/。 ↩

几天前，Bluesky 开放注册了。

我大概是前两个月申请的邀请码。当时注册账户之后只是关联了 micro.blog，上边发的信息几乎都是同步的 micro.blog 上的文章， 基本上没有特地上去单独发过信息。

相比 Bluesky 网络，反而 Fediverse 关注得更多一些。

对于两者的区别，从使用者角度来说，客户端方面我更喜欢 Ivory。内容上来说，我没啥发言权，毕竟 Bluesky 上的信息看得少。技术上来说，还没有深入研究过，据说是同宗，希望以后能和 Fediverse 融合。

另外，目前想找一款社交类聚合 App 好像还没有，特别是跟 Web 结合在一起的发布工具。