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 等）
• 口语化表达自然流畅，符合中文观看习惯 看起来也比较周到对吗？

开发​

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 的升级版，拥有更优的设计和扩展性，支持公历、农历、藏历、回历、星座、干支、生肖、节气、月相、法定假日等。

看来需要更换了。

标签 Tags​

川普来了, npm attack

日常​

昆明五一假期​

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

暗黑4 Diablo IV吃内存问题​

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

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

开发​

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"))

开发​

即使有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文档貌似丰富，但文字说明很不清楚。

创作​

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

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

Tauri写个自己用的​

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

开发​

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写的，我甚至没去看代码。

梗图​

标签 Tags​

BIGDONGDONG，manus