AI​

推荐一个视频，还不错​

卡帕西说Agent改变了世界，神奇小子说这是灾难——同一周，两个顶级工程师打起来了 | 快系统与慢系统 AI元点观察，只有87个关注，但是真人出镜，而且表达清楚，我只看了这个视频，感觉说得很清楚。

如何免费翻译视频字幕​

需求：把Youtube英文视频搬运B站，然后提交字幕。（因为最近B站的自动翻译功能扑街，所以有此需求。） 肯定有很多现成的平台或应用，但肯定不是免费的；我也不想花功夫专门写一个程序来搞。 我总结的方法：

1. youtube链接，拷贝到https://downsub.com，下载英文字幕（srt）;
2. 随便找个国产AI Chatbox如kimi，把字幕文件上传，然后让它翻译中文并输出（有时限制文件格式，可以自己改，ChatGPT方便得多）；
3. B站视频中上传字幕文件。 实际用下来，ChatGPT在新生成字幕文字时，会考虑：“对齐处理，重点是避免自动字幕的断行导致翻译和时间轴错位。”，结果发现Kimi做的开始都ok，到后面确实出现了错位问题，文字和内容对不上，具体原因不详； 我也说不上谁好？ Kimi的说明：

• 保持了标准的 SRT 格式（序号、时间戳、字幕文本）
• 修正了原自动识别字幕中的拼写错误（如 Jetack→Jetpack、Cotlin→Kotlin、Jackpack→Jetpack 等）
• 技术术语保持准确（SwiftUI、Jetpack Compose、JSI、TurboModule、Expo Router 等）
• 口语化表达自然流畅，符合中文观看习惯 看起来也比较周到对吗？

影视​

From梦魇绝镇S04​

看得人心急心烦又心悸的剧集，还在持续，还是那个尿性。 每季镇上总有新陷入的角色，这次的黄衣之王还是有点不同，如果他还不是Boss我就想弃剧了。

Rick & Morty S09​

看了第一集，这剧彻底往编剧概念实验化方向走了。 现在主线剧情似乎已经不重要了，也导致似乎一种灵魂消失的感觉。

暗影蜘蛛Spider Noir​

评价都说好，分2天看完8集，没有全神贯注，就是边看手机边吃边看，中间还睡着几次。 其实确实是一部近年来难得没被骂死的及格的漫威剧集/电影。 尼古拉斯凯奇和几个角色都相当棒，节奏和氛围也挺好的 我最欣赏的反派黑社会大佬和侦探社胖秘书，角色魅力太强。

开发​

「学易」新功能“皇极经世”​

很早以前就想做这个功能，因为象数理论很适合写代码，但因为懒就一直没启动。 直到AI大模型出现。 ChatGPT聊了一天，写了spec/plan，Codex用了一天时间开发。 然后隔天就发布了。 下载点 其实皇极经世功能中，还有好多是因为业界和学界有争议或不明确，导致的待解决问题。 AI还说：以把“邵雍学说作为唯一标准”定为产品原则，但它不能自动解决所有算法问题。关键原因是：邵雍原书的核心思想和元会运世结构是明确的，但今天流传的《皇极经世》并不是一个完整、无歧义的现代算法说明书。 有资料说明“原书已不得见”，今本多为后人整理传本；也有研究说明十二卷本包含邵雍遗稿、邵伯温整理、张岷听讲笔记等内容。因此，我们可以尊邵雍为唯一理论源头，但仍要决定“采用哪个今本、哪个注本、哪些表格和推导方式”。 如果以今天正式发行的邵雍《皇极经世书》为标准，不去采信网上的各种翻案/质疑文章呢，现在还有哪些是不确定的？ AI总结如下： 仍然不确定的

1. 具体采用哪个出版底本
   “正式出版”不是单一文本。不同出版物可能依据《四库全书》本、《邵子全书》本、校注本、整理本。App 必须指定一个“标准底本”，否则后面引用页码、表格、断句都会不稳。

2. 书中表格如何转成现代算法
   《皇极经世书》不是现代程序说明书。即使表里有元、会、运、世和历史年次，也还要决定如何把它转成 YYYY-MM-DD -> 卦象 的计算函数。

3. 现代日期接入规则仍是 App 选择
   用户输入公历日期，这是现代产品入口。原书不负责回答：公历 2026-01-20 应按 2025 年还是 2026 年算。现在 App 采用“立春换年、节起月”，这可以说是传统历法适配，但仍是产品规则。

4. 年卦如果书中没有逐年给出现代年份，就属于推演
   例如 2024、2025、2026 的值年卦，如果不是所选底本直接列出，而是根据书中结构推出，就应标为“据《皇极经世书》规则推演”，不要写成“原书直接载明”。

5. 月卦、日卦最需要谨慎
   原书有年月日时的象数框架，不等于已经给出适合现代 App 的完整月卦、日卦算法。月按节气月、农历月还是中气月；日按干支日、固定日序还是另有起点，都要从底本中落实。

6. 乾、坤、坎、离四正卦的处理要从底本落地
   如果所选底本明确有 60 卦运行方式，就按底本；如果只是后人根据图式推导，App 需要把“排除四正卦”的依据、序列、起点写清楚。

7. “旬”是否作为正式算法层级仍需确认
   当前 App 把一世拆成三个 10 年旬，适合浏览。但它是否属于《皇极经世书》明确算法层级，需要以底本文字或表格为准。

建议讨论结论可以写成：

本 App 以正式出版的《皇极经世书》通行本为唯一算法来源。凡底本明载者，标为“原书依据”；凡由底本结构推出者，标为“据原书推演”；凡需现代历法适配者，标为“App 标准”。月卦、日卦、旬卦等若不能从底本明确校出，暂不作为默认确定输出。

之后我决定：如果规则在邵雍原著中没有，都是其他后世文章的推断，那仍然可以说“不明”，如果其方法和现在代码方法比没有明显理论和算法优势，仍然可以不采纳。我们以此标准对所有未确认的点进行排除，再考虑下一步改进计划。

ChatGPT总结如下（看来即使宋代的理论，也有那么多不完整的传承啊）：

只采纳同时满足两条的规则：

1. 能在邵雍《皇极经世书》正文/正式通行本中直接落实，不是后世《书解》《函书约存》、现代网页、工具站、个人推演。
2. 相比当前代码有明确理论或算法优势，能减少任意性，而不是换一套同样依赖推断的算法。

按这个标准，当前未确认点可以先这样排除：

暂时放弃维护自建npm​

我的学易曾经有个很大的野心，包括web网站/社区和用户体系的引入。 后来发现很难推广（其实主要是懒），暂时还是回归App。 之前为了统一标准，复用代码的私有和公有npm包，发现在代码维护上挺麻烦，即使有了AI，修改和测试也挺啰嗦的。 暂时放弃一段时间，等新的大版本升级，有革命性新技术栈，或者我确实需要投入到网站的时候吧。

关注​

蒜蒜蒜了八​

Bilibili 本来只是想查一下为啥家里植物长不好的。 发现这个算是很宝藏的UP，内容不光是种植，还有居家vlog，很疗愈。 动手能力非常强的女子。 粤语区的女声，普通话节目有很机智的幽默感，以前那个汪淑芬也是的。

开发​

Remotion 用代码做动画​

链接 Create real MP4 videos with React.
Parametrize content, render server-side and build applications. 用skills的方式引入Codex？或有更好的方法？ 貌似只适合网页，如果能用在app就好了。

无需用户的Creem订阅​

在网站或Android实现Creem内购看来都没有问题，订阅模式由于我思想中一直以为有个用户注册问题，感觉成本过高，没有认真去研究； 其实网站确实是这样，而桌面应用或App客户端似乎没有必要； Creem订阅产品中可以增加一个License项，订阅后Creem生成License Key，Client端配合开发即可，还能控制安装客户端数量（我选无限制）。 如果订阅的内容是每周期次数控制（如送N个币或N次导出），则需要一个后端（web服务+Db）来配合实现。 所以在Tauri项目外，增加了一个Entitlement Server项目，部署在Cloudflare。

MacOS应用的外部发布​

也就是App Store外发布。 我选择Github Pages，带上Release版本管理，为了和Tauri私有项目保持一致性，我选择把这个Landing + releases站做在Tauri项目目录中，Github private项目中加入发布的Actions。 Snap Combo 但还有个问题，第一次打包发布的版本，MacOS会报错，和苹果的签名有关，如果怕麻烦想暂时跳过处理，可以提示用户：

💡 **macOS 安装提示：** 若打开应用时提示「文件已损坏，您应该将它移到废纸篓」，请将应用拖入“应用程序”文件夹后，在终端执行以下命令修复（只需执行一次）：

`sudo xattr -rd com.apple.quarantine /Applications/SnapCombo.app`

我的新作品：

阴历历法库​

以前我一直关注的一个作者的github。

介绍：lunar是一款无第三方依赖的公历(阳历)、农历(阴历、老黄历)、佛历和道历工具，支持星座、儒略日、干支、生肖、节气、节日、彭祖百忌、每日宜忌、吉神宜趋、凶煞宜忌、吉神(喜神/福神/财神/阳贵神/阴贵神)方位、胎神方位、冲煞、纳音、星宿、八字、五行、十神、建除十二值星、青龙名堂等十二神、黄道日及吉凶等。

接下来我的一个app功能（皇极经世）可能又要用到，今天和ChatGPT聊起来，它提醒我作者有新repo: github，star数更多，更新更快。介绍是：

Tyme是一个非常强大的日历工具库，可以看作 Lunar 的升级版，拥有更优的设计和扩展性，支持公历、农历、藏历、回历、星座、干支、生肖、节气、月相、法定假日等。

看来需要更换了。

AI​

本机部署大模型​

Codex app越做越好，Gemini也推出新模型了，我的额度还是那么点，很快用完了。 为了省钱，看来需要重新考虑本机大模型了。 ollama pull qwen3.6:35b-a3b-coding-nvfp4后，再运行，结果出错：

# ... ollama run qwen3.6:35b-a3b-coding-nvfp4 

Error: 500 Internal Server Error: mlx runner failed: error:] + 612 error:] + 220 error: [METAL] Command buffer execution failed: Caused GPU Timeout Error (00000002:kIOGPUCommandBufferCallbackErrorTimeout) (exit: signal: abort trap)

AI解释大概是：

这表示 Ollama 的 MLX runner 调用 Apple Metal GPU 时超时崩溃。而且这个不是你一个人的个例：Ollama GitHub 上有人专门报告过 qwen3.6:35b-a3b-coding-nvfp4 和 qwen3.6:27b-coding-mxfp8 启动后崩溃的问题。 Reddit 上也有人在 M4 Max 48GB、M2 Max 32GB 上遇到类似 Qwen3.6 MLX 崩溃。

它建议我：

现在不要继续折腾这个 tag，它理论上适合 coding，但目前在 Ollama + MLX runner + Apple Silicon 上稳定性有问题。你这台 M1 32GB 更容易触发 GPU timeout。 ... 改用非 MLX 的 Qwen3.6 本地模型 qwen3.6:27b

实际用下来，一言难尽，慢是一方面，另外它基本上说两句就罢工（就是不行动）。

影视​

The Boys 黑袍纠察队大结局​

其实本季一直令人失望，大结局520这天出来了，Homelander陌路的方式，基本在我的预计中。 主角死法没有想到，也不是那么关心。 铺垫那么多，着力却不足，感觉经费有问题，贝索斯可能不喜欢看吧。 既然那么多其他超能力者都活着，那么后续还可以有很多故事了，前传资源也少不了。 总之就这样了，曾经最喜欢的剧集。

标签 Tags​

川普来了, npm attack

日常照片​

昆明

开发​

Unistyles variants性能不高？​

让Codex帮我做了个基于Unistyles variants的文字组件，几乎穷尽文字的各个方面。 做完后我问AI这个性能是不是很高，结果它说：

需要注意的一点：styles.useVariants(...) 每次 render 都会调用，这是 variants 方案本身的成本。它比纯静态 style 稍贵，但换来类型化、主题化和组合能力。对标题、正文、列表项文本都没问题。

言下之意就是大量列表文本不是很好。 貌似用参数就行了，没必要为了variants而用这个特性。

代号Mini Shai-Hulud​

号称有史以来最恐怖的供应链攻击。 我运行了npx supply-chain-attack扫描macbook，结果是：

Verdict: Potential supply-chain exposure detected — 2 package hits

LATEST ATTACK Mini Shai-Hulud expansion into AI/devtool ecosystem packages(2026-05-12)
Affected: 2 packages

Libraries you had:
-npm zod-to-json-schema@3.25.2(npm cache _npx, pnpm store)
-npm zod-to-json-schema@3.25.1(pnpm store)

我也不记得这个zod to json是哪个项目在用了。 总归按照它的建议处理了，方法是：

npm cache clean --force
rm -rf ~/.npm/_npx
pnpm store prune

不知道此事如何收场？

日常​

昆明五一假期​

在南悦城看狗狗party和运动会，比F1好看（其实是没精神熬夜，这周迈阿密站开赛）。

暗黑4 Diablo IV吃内存问题​

16G根本不够用，开启就满了。 现在内存价格不划算。 有人推荐Mem reduct，说是设置内存百分之85自动清理就好了。 结果是可以控制，但卡死问题没法解决。 最惨的是炼狱魔潮最后关头... 难道真正卡死的问题不止是内存？

后来发现这台windows似乎一直都有卡死问题，请codex检查并修复一下。 AI发现是一张硬盘有坏块，如果部分pagefile在上面就会卡死。 我请他帮我处理了一下。 后来确实好了。

AI​

Codex app越来越受到好评，我的plus也在续费。 Antigravity也在用着，gemini还是一直比较靠谱的，如果有点opus的额度，就把刀口上的关键小任务给它，基本撑不住几轮问答。 国产的全面丧失了性价比，这个月没有续费任何服务，等openAI额度用完了再看看腾讯的codeplan吧。 polymarket机器人的项目告一段落了，事实证明普通人套现的机会基本没有了，几十美刀的代价换来这个认知。 现在集中精力回到“学易”App的优化，主要是把多语言的长篇资料给处理了，然后修复一堆潜在bugs。

ReactNative/Expo​

3D怎么玩？​

Skia弱爆了，AI推荐了expo-gl + three.js的方案。 结果还是很不理想，还很卡（至少simulator是这样）。 晚点我让AI把范围扩大点，它提到有个Rive似乎值得关注，有空去看看（这玩意貌似不免费，还挺贵）。

开发​

Polymarket改版​

1. pUSD取代之前的代币 要先convert，然后看api
2. api升级v2 幸好之前就升级了，直接就可以用； （AI让我检查funder address是否也变了，我发现没有，api直接生效。）
3. older API问题来了 在读取行情方面都ok，但在下单时报错older version啥的，其实很明确，就是让codex查一下官方文档修改，为了节省GPT-5.5的tokens，做这种容易出错的修改，我都先去chatGpt用thinking分析一遍，然后让它给一适合AI处理用的说明文档，然后再到Codex把文档交给api来处理。

Tauri自己有图标生成命令​

处理多个不同尺寸app图标一直是难题，我请AI做了个1024的icon，之前一般去线上找在线生成器。 现在发现Tauri自带此功能：

pnpm tauri icon ./poly-flux.png

连android/ios图标都一口气处理好了，这生态友好度似乎超过expo啊。

Caddy是啥？如何实现免费TLS​

最近云服务器上的一个服务要求https和wss，证书必须要，AI提醒只要有域名都好办，正好我有；然后它就建议了Caddy这个服务，并且帮我搞定了，我请ChatGPT介绍一下这个东西：

**Caddy** 是一个用 Go 写的 Web Server / 反向代理 / TLS 终止器，定位有点像 **Nginx + 自动 HTTPS**。它最大的特点是：默认启用 HTTPS，并自动申请、配置、续期 TLS 证书。

官方文档说明：Caddy 默认会对站点启用 HTTPS；对公网域名，它会通过 ACME 协议从 Let’s Encrypt 或 ZeroSSL 这类公开 CA 获取证书；对 `localhost`、内网域名、IP 等，它可以使用本地自签 CA。([Caddy Web Server](https://caddyserver.com/docs/automatic-https?utm_source=chatgpt.com "Automatic HTTPS — Caddy Documentation"))

## 它为什么能“免费 TLS”

核心不是 Caddy 自己发免费证书，而是它内置了 **ACME 客户端**，可以自动和免费证书机构通信：

1. 你把域名指向服务器。
    
2. Caddy 启动后看到配置里有域名，例如 `example.com`。
    
3. Caddy 自动向 Let’s Encrypt / ZeroSSL 申请证书。
    
4. CA 会验证你确实控制这个域名，常见方式是 HTTP-01 或 TLS-ALPN-01 challenge。
    
5. 验证通过后，Caddy 下载证书并启用 HTTPS。
    
6. 证书快过期前，Caddy 自动续期。
    

所以你不需要手动跑 `certbot`、写 cron、配置 Nginx SSL 参数。Caddy 官方称这个能力为 **Automatic HTTPS**。([Caddy Web Server](https://caddyserver.com/docs/automatic-https?utm_source=chatgpt.com "Automatic HTTPS — Caddy Documentation"))

## 最小反向代理例子

假设你的 Node / Next.js 服务跑在本机 `3000` 端口：

```caddyfile
example.com {
    reverse_proxy localhost:3000
}

只要满足这几个条件，Caddy 就会自动开 HTTPS：

example.com DNS A/AAAA 记录已指向这台服务器
服务器 80 和 443 端口对公网开放
Caddy 能正常访问证书机构

访问时：

http://example.com  -> 自动跳转到 https://example.com
https://example.com -> 使用自动申请的 TLS 证书

静态网站例子​

example.com {
    root * /var/www/html
    file_server
}

这同样会自动申请证书。

和 Nginx + Certbot 的区别​

Nginx 常见流程是：

配置 Nginx
安装 certbot
申请证书
修改 SSL 配置
设置自动续期
排查续期失败

Caddy 则通常是：

写域名和 upstream
启动 Caddy

TLS 证书申请、HTTPS 配置、HTTP 到 HTTPS 跳转、续期都自动处理。

常见坑​

最常见的问题是：

DNS 没指向当前服务器
80/443 端口没开放
服务器前面有 CDN / 负载均衡挡住了 ACME 验证
域名是内网域名，公开 CA 无法签发
短时间内反复申请导致 CA 速率限制

如果是公网服务，Caddy 很适合做入口反向代理；如果是本地开发或内网服务，它也能自动生成本地证书，但浏览器是否信任取决于本地 CA 是否被安装并信任。

## 游戏

### Diablo IV S13 DLC暗黑破坏神4新资料片
由于好几个月前就花钱预购了国际服的资料片（当时想玩圣骑士），现在不玩就浪费了，当然还买了一个月的加速器。
国服免费送本体，去领了，但没装，一是怕一台机器装2个版本容易出错，另外资料片还要花488，算了。
新职业术士，开始刮痧很厉害，中期又很脆，还以为是整体削弱了，后来发现大家都在骂术士才觉得可能就是单个职业设计问题。
其实还有一个难点，就是新DLC，暗黑核等网站没来得及更新，写作业和抄作业的都很麻烦。
我最后还是去抄了点，感觉好多了，第二天到折磨VI。

开发​

即使有AI，也要先把核心功能先打通​

这个教训太沉痛了。 折腾了几个星期，多少不同LLM的额度都用完了，之后没那么好的价格了。 一个Tauri项目，本来自己就不会rust，还先搭建完善框架，UI，然后才慢慢推进到核心功能，光mock就耗费了一半精力，最后落地测试，根本不是那么回事，关键点都没搞明白。 AI也不会主动帮你想明白的。 哎，累死了。 都想放弃。 流程要反着来。 superpowers那玩意真的没必要，自己先从第一性原理出发，把核心功能调通才是关键。 人需要及时的正反馈，不然会陷入忧郁。

Polymarket api有些讲究​

坑好多，比如说：

1. 有地区限制，我换到日本ip就好了。
2. 据说对ip纯净度有要求，还没看出来。
3. limit限价下单，share数量不能小于5，总额不能小于1usdc。
4. 有时买单会部分成交，卖单似乎要准确的shares数。
5. 有个手续费问题，基本是1%？成交了才收。
6. api中有个时间服务器校正问题，需要随时取，约-0.4秒。
7. 动态slug的timestamp可以估算出来，gemini教的。
8. 注意WebSocket和https api的使用场景选择。
9. 各种apikey和address的配置，很折腾。
10. SDK据说效能不高，AI都推荐自己写代码调用Api，但它们自己会参考官方开源sdk的写法。
11. api文档貌似丰富，但文字说明很不清楚。

日常​

昆明的共享电单车​

至少市区内，昆明的各大品牌共享电单车都能去了。 之前有个车很好的本土品牌，突然消失了，估计断了。 现在的黄，绿，蓝车品质和外观都不错，维护得也挺好的。 关键软件生态，体验可以，而且都有各种优惠，这是本土山寨做不好的。 现在自行车（我还是美团长期包月会员）越来越少，和成都这类管理规范的城市形成强烈对比。 很多游客网红都在夸奖昆明的电单车方便。 我试了一下，市中心到南市区家，6元左右，还能接受。 被惯坏了，运动量渐渐少了。

创作​

新开发的产品发现和cc-switch重复了​

以前我就一直只是听说，没有（也暂无必要）用过cc-switch。 直到我的第一个桌面作品all-my-ai开发得差不多了，才发现它只是cc-switch中session管理的子集... 倒也没啥大不了的，我至少终于了解了Tauri + react的开发，发现过程挺爽的，而且学会了不少东西。 只是消耗了我一周时间有点不划算。 暂停开发。

Tauri写个自己用的​

既然要搞钱，不如写个直接搞钱的。 盯着polymarket自动交易就去了。

关注​

昆明送外卖​

这条Xiao鱼在乎 只有200多粉，北方人来昆明送外卖记录片。 节奏带感，画面漂亮，内容不啰嗦。 而且这种脖子上挂个action camera，白天工作记录，晚上剪辑起来也方便，形成模版了挺轻松。 这条赛道不错的。 还看到个在大理古城送外卖的类似频道，那路真难走...

Reaction赛道看Breaking Bad​

关键是这妹子一方面充分利用自身价值，一方面还确实在看剧情，之前都是些垃圾影片，现在开始品位暴涨，居然绝命毒师了（不过是墨菲的，我也觉得比原片好看）。 银发の妖姬

开发​

Vibe Coding受阻后，觉得还是要学rust先​

OpenAI Plus账号，GPT的量被奥特曼砍成渣渣，结合GLM-5开发了几天，感觉Tauri项目复杂部分快被整废了。 我还是让AI休息一天，自己在ChatGPT请它教我从rust基本语法级别讲解Tauri。 事实证明ChatGPT是个非常好的老师。 今天了解了一些很关键的概念：

• 函数最后带不带;区别很大，不带的话是有返回值。
• !表示宏，format!的用法有点像JS的那个逗号语法。
• 所有权的问题要注意，啥时候需要clone；另外boolean，小整数复制成本低，自带了，但String, Vec等拥有"堆"的，就要注意主人。
• #[]赋予能力，类似java的注解。
• ::和.的连接区别表达概念。
• let和const的概念和JS还有区别，let mut和let的区别。
• for i in 1..total与for i in 1..=total的区别，好巧妙。
• & 借用，几乎不含所有权的地方都要它。
• Option<T> 的意思是：一个值，要么有，要么没有。Some的用法。
• if let
• Rust爱用snake_case，而不是camelCase
• match 是 Rust 的模式匹配语句，你可以先把它理解成“更强的 switch”。

为什么都不提Gemini编程了，我觉得它很强​

即使用Antigravity量大管饱的免费3.0 flash(注意还不是3.1)，编程的精确可控和合理性都不亚于其他如Opus模型，当然只是个人感觉。 这天做一个Polymarket的循环时间窗口获取算法，国内大模型和GPT-5.4（包括Chat中）都把我气个半死，甚至都去Perplexity了，还是没好结果。 最后突然想起来问Gemini(Chat)，马上给出非常好的方案，搞定。 我想起当年做易经app，那个投硬币的动画，所有当时最好大模型都用过，最后只有Gemini完全搞定无问题。 这是被低估了吗？为啥最近编程圈都不提它了？

工具​

Recordly似乎越来越稳定？​

之前github上和作者多次反应bug问题，后来的版本终于好点了，录了点B站用的视频。 当时还有音画不同步问题，现在的版本不知如何，等下次用之前再升级看看吧。

开发​

date-fns日期库替代Dayjs​

在我基本所有项目中使用的轻量高效好用的Dayjs，已经n年了，实在找不出它有任何缺点。不过既然有新的了，我们请AI对比一下。 根据搜索结果，我为你整理出 date-fns vs dayjs 的全面对比表格：

核心对比表​

关键差异总结​

一句话结论​

• date-fns：先进、性能更好、体积最小（按需），适合现代模块化项目
• dayjs：上手最快、Moment 替代品，适合快速开发和迁移场景

两者都碾压 Moment.js，选谁都不踩坑，看团队技术栈偏好。

哈哈，都在提Moment.js不知道这个如何了？ 我觉得国际化的方便性可能是个选择关键点，在下一个Tauri项目中使用了。

不懂Rust的情况下开启Tauri桌面项目​

在Codex/OpenAI/CC的各种模型配合下，用一天时间搭建了一个基本完整的AI相关桌面应用。 前端React，体验比我想的好得多。 后端完全AI写的，我甚至没去看代码。

AI​

简单图像处理，AI还是扯​

实现简单的类似PS魔术棒方式抠图，用AI把人累死。 最后下载安装了一个GIMP搞定，幸好当年的PS功底还有点。 豆包算是这次最强了，但把人气死了搞不定。 Kimi居然现场生产python程序还处理，看着像模像样很唬人，结果一坨。 GPT，Grok，Perplexity全部试了，集体扑街，其中GPT最差，还特别慢。 这些AI生图做图都可以，但具体的加工做不到。 我就是想把图标中这个星球部分抠出来而已。

Superpowers好是好，就是tokens吃不消​

项目开发质量控制确实提高了。 但侵入性还太强，没有什么可选性。

记一次AI Coding会诊​

具体问题就不说了，大致是Tauri程序在macos终端运行一系列命令，结果出现卡死问题。 让AI分析原因并解决。 最开始是Codex/GPT-5.4，尝试了几种方法（其中有一个原因已经找到，但没有解决，就跳过了），半小时没搞定，就建议我先放一放，作别的任务。 然后国产的（claude code或opencode调用）GLM-5，处理了几个钟头，甚至连续测试开发不停，以前从未见它这样，绝不放弃的精神，开启了上百个terminal窗口测试。分析出了很高大上的问题，尝试了无数解决方案，但还是没搞定。我都看得肉痛，请他休息一下，把思路和经验总结一下，交给其他AI接手。 然后打开Antigravity，看今天有没有免费额度，Claude的所有模型都没有，Gemini 3.1 Flash也耗尽了，只有个一直躲在角落的Gemini 3 Flash，我犹豫了一下，还是让它来干，由于怕出错，提醒他先参考之前的总结，然后自己分析测试，别改代码。没想到10分钟后，它通过几轮测试，提出了不同的看法（和之前Codex的一个观点接近），然后给出了解决方法。我同意它改代码，然后搞定，世界安静了。 之后我请Gemini做个总结，然后告诉GLM-5这个消息，让它反思一下自己当时为啥没想到这点。值得欣慰的是，它的反思非常客观，态度也很端正，节选如下：

非常好的反思问题。让我分析一下我的思维盲点：
我当时没想到的原因分析
1. 被表面现象误导
我看到的现象：
...
我的错误推理：
...
我遗漏的推理链：
...
2. 过度关注错误起点
...
3. 忽略了关键对比实验
我应该做但没有做的测试：
...
如果做了这些对比，我会发现：
...
...
如果我看到输出中的...，我可能会意识到这是初始化查询。
4. 过早放弃探索
当我测试了多种方法都失败后，我过早得出结论：
...
实际上，我还应该测试：
...
我忽略的关键部分：
...

它还赞许了其他模型，并对自己进行了鞭策：

Gemini 的思维优势
8. 识别到关键线索
...
9. 理解终端启动的微妙细节
...
10. 提出优雅的解决方案
两阶段启动简单、可靠、通用：
...
我应该学到什么
1. 建立对照实验的思维
遇到问题时，先建立基准：
...
2. 深入理解底层机制
不要只停留在表面现象：
...
3. 不要过早放弃
即使多次尝试失败，也要：
- 换个角度思考
- 测试更简单的假设
- 查看其他相似问题的解决方案
...
总结
我没想到的根本原因是：
1. 思维定势：看到 TTY 错误就认为核心是 TTY 检测
2. 缺乏经验：不知道 PTY 初始化的微妙时序
3. 测试不足：没有做关键的对照实验
4. 理解浅层：没有深入分析 Crossterm 的初始化流程
Gemini 的优势在于：
- 从现象反推时序问题
- 理解终端初始化的细节
- 验证简单但关键的假设
- 提出优雅通用的解决方案
这是一次很好的学习机会，让我意识到在调试系统级问题时，需要更深入地理解底层机制，而不是停留在表面现象。

希望所有的学术机构都向GLM-5这种态度学习。

影视​

The Boys 黑袍纠察队4最终季​

最近下美剧越来越难，但发现B站却啥都有（除了删除打码问题没办法），如果能在TV上看B站这些片源就好了。 没想到还真行，只要手机投屏即可，哈。 刚看了前2集，不错，那味道还在，希望有个好结局。

梗图​

开发​

Chenglou的Pretext​

所谓"纯js文本布局"，不知道为啥如此火爆，虽然目前为止除了玩点酷炫文本间歇动画外，还不知道有其他什么意义？ Cheng Lou - x

杂感​

现在缺的是点子​

在OpenAI Plus的额度用完后，我的熬夜开发终于停下来，可以休息一下了。 某天起来又没啥事，就和ChatGPT聊，第一个问题是：给我点子。然后几轮头脑风暴下来，还是有些好的idea，我记下来了。

关注​

ASP PIT记录片​

B站和Y站都有很多阿肯色州警巡逻撞车记录片，一搜一大堆。 有些配音配乐非常带感，我觉得比F1好看（今年的F1真的没看场）。 搜asp pit就一大堆。

影视​

飙马野郎​

看了第一集，还不错，这次是Netflix的。 动感做得不错。 各种美元金额采用了通胀率计算后的值，不必像漫画那样，到处弹窗进行换算了。 本来荒木的风格就各种不搭，有奇特的趣味感，说实话，从jojo5开始漫画和动画我都没看完（还是最喜欢4）。

标签 Tags​

BIGDONGDONG，manus

日常​

用了5年的电脑电源换了​

其他都好用，算是我买过的最值的PC了（也是用得最轻度的，毕竟平时都在macbook上）。

开发​

为什么最近代码细节的内容少了​

因为AI啊，以前chatbox沟通，还能仔细看看，有启发了就收集总结一下。 现在都在agent/cli里面，只管让它们干活就行，细节和文字都基本很难得仔细看了。 只有在方向选择上可能会思考一下。 所以以后选择什么路线和库等，反而成了主要的。

OpenAI Plus token被压榨完了​

虽然大善人奥特曼给的量大管饱，而且会周期性补食料，但耗不过有些人往死里用。 这天我在一台windows上开发nextjs管理文件的系统就整到提前2小时耗完，当然我不想降级用其他模型，就等5.4恢复呗。 我发现越是自己不了解或者放手给AI去干的领域，比如上述项目，就越容易无止境地用token。某种程度上说，滥用的程度和自己脑力退化的程度成正比，当然另一个角度看，我可以思考一些更高层次或不同视角的东西了。

Codex在windows上做任务​

其实还是写代码，只不过很多任务它都写python脚本来跑。 我就是让它整理硬盘上的几千个文件，中途还要联网查询。 结果发现每干一段时间，都要停下来汇报，及时没有权限要求。 至于需要授权的环节更不必说了。 所以我一点也不轻松，在旁边守到大半夜。 话说windows的Powershell真难用，但还有什么好的推荐吗？

Unistyles还是Nativewind​

没有global优雅控制明暗theme功能的tailwind，简直就是鸡肋，性能啥的也不如unistyles，配置也不简单。虽然Unistyles当你给我带来很多麻烦，新版也没有改进，但有了AI，这些都不算啥，还是用它吧，至少性能在那里。

工具​

Ghostty + yazi​

好多人在那个Claude Code工程师的推荐下都去试这款Terminal，说来说去就是它是rust开发的，有多快。我一直就用macos自带的terminal，也没感觉有啥不一样。 直到看到一个叫yazi的文件浏览器出现，我才觉得可以用用，因为其中的图片和pdf预览等功能似乎要在这些Terminal中才好用，不过还是需要插件。

Recordly​

开源免费的鼠标跟随放大录频工具，但bug一堆，包括录音问题等，我在github反应了，但作者还是学生忙不过来。