日常​

昆明五一假期​

在南悦城看狗狗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

关注​

鞑厨高寒​

其实他的内容我没啥兴趣，真正吸引我的是这期： # 向一群初中生揭露餐饮真相【中英字幕】。 在深圳的国际中学，可以看到衡水的反面。 我觉得是所有国内家长都应该看到的视频。

历史预测​

Jiang（江学勤）教授最近很火，我虽然不同意他的一些观点，但也不得不承认他知识面和深度足够，而且预测的这些事情不但会发生，而且正在发生中。 哎，见证历史的一代。

标签 Tags​

关注​

悲怆先知​

Bilibili F1新赛季开始了，我还在犹豫要不要订阅腾讯。 这个up上传了全套极速争胜第八季。其实B站毫无节制的大家都在上传，不知为啥他的弹幕多。 相关内容很丰富，可以关注一下先。

食影双修​

貌似B站的黑社会影视专业户，B站。 之前看过有人直播。 由于我只对古惑仔系列感兴趣，就看了他相关片子。 制作品质可以，内容方面叠满了甲，敏感地带都躲开了。 精彩对白和场景只要不敏感，还是展开讲了。 其中我对这系列电影的制作速度和很肝的女编剧（写手）很震惊和敬佩，名字叫做# 秋婷（Ting Chau）。 还有一首东星专属说唱古古惑惑

5季《流人》食物完整图鉴，剧粉考据癖​

对了这个是某个视频而已，B站，这几年我最喜欢的英国剧集，考据的内容也很有意思，其实不光是讲吃。 up叫“水当酒”，其他的作品呢还没细看，感觉从标题看有部分属于我的兴趣范围。

一些X上的有钱人/程序员​

郭宇庆祝35岁生日及退休6年纪念，最近除了晒海滨度假外，基本都在vibe coding，回国时忙着解决网络问题。 尤雨溪基本上都在研究各种大模型编程，当然他估计不用国产的。 孙割（太空版，不知真假，Justin版也在扯这个）写了个推荐数字游民去惠州的帖子，很诡异，如同他一贯风格。 另外都在讨论QWen的Lin Junyang被逼退。