德普王

AI 写下的那把 Redis 锁

Tue, 08 Sep 2026 13:51:22 GMT

配套代码：transaction-lock-demo。文中的代码位置都可以直接跳转到 GitHub 查看。一个具体的技术问题最近看 AI 写的一段后台代码时，我遇到一个具体、也很容易被忽略的技术问题。代码里有这样一行： HjEventDtos.CreateResult result = lockService.inTransaction( idemKey, () -> { // 创建活动 // 创建行程 return result; }); 方法名叫 inTransaction，第一眼看起来只是「把操作放进数据库事务」。但继续看它的实现，才发现它先获取了一把 Redis 分布式锁，然后才开启数据库事务： public T inTransaction(String key, Supplier action) { RLock lock = redissonClient.getLock("activity:" + key); lock.lock(); try { return transactionTemplate.execute(status -> action.get()); } finally { lock.unlock(); }} 也就是说，它实际做的是： Redis 分布式锁└─ 数据库事务这把锁不一定有问题。原来的系统是一个后台管理系统，操作人数不多，同一活动很少被多人同时修改。用一把活动级锁，简单，也可能足够安全。但我还是停了下来：这段代码是真的需要 Redis 锁，还是 AI 只是习惯性地加了一把「大锁」？

读《万历十五年》：人物、制度与一个王朝的问题

Sun, 30 Aug 2026 02:47:11 GMT

我原来以为《万历十五年》是一本讲明朝某一年发生了什么事的历史书，或者更直接一点，是一本写万历皇帝的书。读下来才发现不是这样。它当然有历史事件，也写了很多真实人物，但读起来更像一篇很长的历史文章。黄仁宇不是把史料一条条摆出来，而是从万历皇帝、张居正、申时行、海瑞、戚继光和李贽几个人身上，写出他自己对明朝制度的理解。人物写得很具体，可读性也很好，但背后其实一直在讲同一个问题：明朝当时的社会已经在变化，治理国家的制度和思想却没有完全跟上。黄仁宇的经历也让我觉得挺厉害。他早年有从军经历，后来到美国研究明史。《万历十五年》的英文书稿在 1976 年就完成了，最开始还多次被出版社拒绝。最后他把这样一本本来很严肃的明史研究，写得很白话、很通俗，也没有把历史写成简单的忠奸故事。理解这本书，还要先放回明朝的社会背景里。它仍然是一个以农业为根基的国家：土地、赋税、军饷和基层治理，都绕不开农村和农民。可真正承担国家治理的，已经不是春秋战国时期那种以宗族和名门望族为中心的贵族，而是通过科举进入官场的士大夫文官。文官既是国家建立起来解决问题的人，也是国家最难处理的问题之一。

《大空头》里的金融术语与个人理解

Sat, 29 Aug 2026 09:37:25 GMT

看完《大空头》以后，我原本以为 2008 年金融危机的逻辑很简单：美国人借了太多房贷，还不上，于是房价下跌，银行就出问题了。但电影真正讲的不是一笔笔房贷本身，而是这些房贷后来被华尔街不断打包、出售、再打包，以及在上面反复下注。危机的核心，是大量低质量的次级房贷被证券化，并通过 MBS、CDO 和衍生品扩散到整个金融系统。最开始只是少数人还不起房贷，为什么会变成全球金融危机？我把自己看电影时想问的几个问题，按这条链路重新整理了一下。

一副牌的惯蛋玩法

Sat, 22 Aug 2026 09:52:31 GMT

大侄子来到我家过暑假，我想提升一下他的逻辑思维能力，所以就一起打扑克。打扑克的话，现在我们比较常玩的是「干瞪眼」，这是最开始只有五张牌的这种玩法，看谁先出完。但是这种玩法相对简单一点。稍微复杂点的就是「斗地主」，但是只能三个人玩。我们有四个人，这种不太适合大家一起玩。所以我想四个人怎么一起玩？开始是一起打那个「跑得快」，「跑得快」也有四个人玩法，通过随机叫牌组队，输了抽牌加惩罚，但是容易玩腻。我发现「掼蛋」的这种玩法挺适合四个人玩，有升级戴帽的概念，固定搭配，考验配合，又有一些成就感。但是因为他的手比较小，拿两副牌的话拿不下。另外他才十岁，所以这个逻辑思维能力还不是很好。

电信宽带携号转网到联通宽带

Wed, 05 Aug 2026 15:22:49 GMT

01 为什么转主要是因为价格与动态 IPv4 公网 IP。我原来用的是电信融合宽带，99 元一个月，300M 的宽带，但是只有 20G 流量。之前给我装电信宽带的师傅后来跳到移动了，上个月他问我合约期到了没有，要不要换移动宽带。我这边是不想换移动宽带的，因为移动宽带口碑太差了。我就查了我的合约期，了解到我这个宽带合约期确实要到期了。我就问电信合约到期之后能不能降费，电信这边并不给我降。我就了解了一下其他宽带，联通这边 79 元一个月，是 1000 兆宽带，其实宽带速度我这边并不是太 care，因为正常来说，下载速度更多地取决于服务商的速度，而不是宽带的速度，基本上都跑不满。除此之外，它还有 100G 全国不限速流量，而且可以开四张副卡（加 1 张副卡加 1 元的费用）。这样家里面的人也可以一起共用这个流量，可以给家里面省下一些流量费用。电信 99 元的融合套餐，最多只能加两张副卡。电信其实也可以加 1 元加 10G 流量，最多加 30 G，但是它总的也只有相当于 50G 的流量，而且好像副卡加的流量好像只能副卡使用，不是共用的。联通还有一个优势，就是 79 元以上的套餐可以赠送一个动态 IPv4 公网 IP。其实上个月的时候，联通还有一个 59 元的套餐，70G 流量、500M 宽带。但是到了这个月，这个套餐就没有了。我问了一下宽带安装师傅，他说是因为联通被电信投诉，所以这个套餐停了。我也不知道是不是真的，但至少现在已经办不了这个 59 元的宽带了。

低成本实现国行 iPhone 使用 eSIM 漫游流量

Sat, 18 Jul 2026 12:47:36 GMT

最近 Shadowrocket 出了 Tailscale 功能，解决了因为 iPhone 只能开启一个 VPN，Shadowrocket 与 Tailscale 不能同时开启的问题。但使用下来发现 Shadowrocket 的耗电量还是挺高的。因为手机大部分时间都连 Wifi，本身使用流量不多，所以还是保留 eSIM 漫游流量 + Tailscale 的使用方式。 eSIM 漫游流量简单来说就是让外国人来中国用的漫游流量，可以访问国外服务。正常国行 iPhone 只有实体卡，不支持 eSIM，可以通过 9eSIM 之类的品牌实体卡实现 eSIM 卡写入实体卡。现在也有更低成本的小白卡可以实现。来说下我的折腾过程。

使用 Sub2API 在 Mac mini 中搭建一个自用 AI API 中转站

Fri, 03 Jul 2026 01:59:02 GMT

现在我订阅了两个 ChatGPT Plus 美区账号来使用 Codex，但现在 Codex 额度缩水严重，两个账号也不够用了。因此，我打算买一个 20 倍的 Pro 账号。不过，我一个人又用不完，所以打算搭建一个中转站，来找几个搭子一起来用。因为我也在使用家里 Mac mini 当服务器，所以我打算先安装在 Mac mini 上面测试一下，然后通过 Tailscale 来建立异地局域网，这样我在其他非家庭网络下也可以使用。我是使用 Sub2API 这个工具来搭建的 API 中转站。其功能还是很全，也很强大的。

AI 语音输入工作流：DJI Mic Mini 2、Wispr Flow 和 Vibe Coding

Thu, 25 Jun 2026 15:20:37 GMT

我买 DJI Mic Mini 2，最开始不是为了语音输入，是为了拍视频录音。拍视频时，自带麦克风的问题很明显。人离远一点，声音就会变小；环境里有一点噪音，也会一起被收进去。如果是手机、运动相机或者相机拍摄，声音这块经常比画面更容易出问题。所以当时买 DJI Mic Mini 2，主要看中的就是两个点：降噪和长距离录音。人可以离设备远一点，声音还能收得比较稳；环境没那么安静的时候，也能少收一点杂音。对拍视频来说，这两个点就够实用了。后来用了一段时间，我发现它在另一个场景里也很有用：语音输入。说到底，DJI Mic Mini 2 对语音输入的作用，就是提升输入质量。当语音转文字输入时，不是只看软件识别能力，前面声音收得怎么样也很关键。声音太小、背景音太多，后面的识别就更容易出错。麦克风输入质量越高，识别出来的文字自然会更稳定。

研究了一下 QDII 纳指基金

Tue, 16 Jun 2026 14:41:18 GMT

因为 AI，最近纳指涨了不少，国内跟踪纳指的 QDII 基金也越来越热门。我在京东金融、腾讯腾安等平台看了一圈，发现一些基金已经暂停申购，另一些单日只能买 200 元甚至更少，想买还不一定买得到。这类基金名字里大多都有「纳斯达克 100」，但不能只看名字就直接买。虽然它们跟踪的是同一个指数，但管理费、跟踪误差、A 类与 C 类收费、是否限购都有区别。场内 ETF 还多了一个很容易踩的坑：溢价。另外还有一个最基础的问题：对于只有境内人民币和境内证券账户的大多数中国人来说，不能像买 A 股一样直接买 QQQ / QQQM。 QQQ 和 QQQM 是在美国上市的 ETF，需要美股证券账户。所以，对大多数中国人来说，用人民币买 QDII 纳指基金，才是更现实的选择。先说我的结论：QDII 纳指基金本身没有什么隐藏的大坑，正规公募基金也不用担心基金公司拿钱跑路。真正需要注意的是长期费率、汇率、跟踪误差、限购、场内溢价，以及发起式基金的规模。普通人长期定投，我会优先看场外 A 类基金，再比较费率、规模和是否能持续申购。

给踏板摩托车换轮胎

Sun, 07 Jun 2026 00:56:07 GMT

前两天在小区骑踏板摩托车取快递突然发现摩托车方向不受控制了，以为是摩托车龙头出现问题了，结果发现是后轮爆胎了。运气很好，在小区爆胎，没有在上班骑行过程中爆胎。

我对钱的理解

Tue, 02 Jun 2026 16:13:52 GMT

钱是王八蛋，长得真好看。一个人只要活着，就会需要用钱。钱到底是什么？这个问题好像很好回答，我们可以说：钱就是货币嘛。但好像也不太好回答。钱和价值是什么关系？什么是资产，什么是负债？为什么钱会贬值？房价为什么会影响整个社会的消费能力？ GDP 和金融这些听起来很大的概念，和一个普通人又有什么关系？今天我就来谈一下我的理解。

Spec 驱动开发与自验证闭环：我如何让 AI 更稳定地写代码

Tue, 19 May 2026 14:28:54 GMT

最近在公司内部做了一次 AI 编程实践分享，主题叫「Spec 驱动开发与自验证闭环」。这是我这段时间在真实项目里使用 AI 开发后，总结出来比较有价值的两个点。现在大家用 AI 写代码已经不稀奇了。把需求丢给 AI，让它帮你生成代码，很多工具都能做到。但如果只是这样用，很容易遇到几个问题：第一次生成看起来还可以，后面越改越乱；AI 忘记前面讨论过的需求；代码能跑，但和业务真实想要的不完全一致；改完以后也不知道有没有把原来的功能搞坏。所以我现在更关心的不是「AI 能不能写代码」，而是「怎么让 AI 稳定地写对代码」。我目前觉得比较有效的方法就是两件事：先写 Spec，再写代码让 AI 自己验证自己写的代码

青甘大环线

Thu, 07 May 2026 12:10:36 GMT

自从过年听朋友说，青甘大环线自驾是他旅行体验最好的一次经历后，我就一直想着，有机会也去感受下祖国的大好河山，尝尝地道西北美食。这不五一假期就去了。我是五一前请了 4 天年假，我们一行 4 人，从重庆自驾出发，反穿青甘大环线。计划从重庆一路开到西宁，再经张掖、敦煌、大柴旦、茶卡盐湖、青海湖，最后从兰州回重庆。走完这一圈后，我觉得青甘大环线最迷人的地方，不只在于那些景点，而在于景点和景点之间的路：植被一点点退场，雪山忽然出现在远处，直路通向天边，黄土、黑山、盐湖、铁路、风沙和落日轮流从车窗外经过。你会明显感觉到，自己正在从一种生活空间，驶入另一种更空旷、更粗粝的世界。

手机的作用

Mon, 20 Apr 2026 15:29:39 GMT

现在智能手机基本是每个人不可缺少的设备了，也可以说是我们的外接器官。玩手机可能是我们一天花时间最多的事了。但我最近捋了一下手机的作用，发现真正离不开手机的功能其实很少，大部分使用时间都花在了锦上添花甚至不必要的功能上。你可以对照看看，你平时用手机最核心的功能是什么。

我买 1000 元左右显示器时主要考虑的几个点

Sat, 11 Apr 2026 14:12:46 GMT

最近给家里的 Mac 加了个新显示器，对比了几款产品，也做了点功课。显示器这东西参数一大堆，但真正影响日常体验的其实就那么几个点。先说结论，如果预算充足，又是 Mac 用户，直接上 Studio Display 就行，省心。以下内容更适合像我这样对预算不足（1000 元左右预算），对显示器要求也不很高的人。我最终买的是红米 A27U 4K 节能版，下面说说我在挑显示器时主要考虑的几个方面，以及为什么我没买看起来更好的 Type-C 版。