为什么我越来越愿意在 Linux 上办公
从 Tibo 的一条推文，想到与 AI Agent 共用电脑的日常
刷 X 的时候，看到 Tibo 发了一句话。
[阅读更多]
Jev 与快慢思考
我为什么对 System One 感兴趣，却决定先让子弹飞一会儿
Jev 在 9 月 15 日发布，几天之内就出现在我关注的开发者讨论里。TypeSafe AI 把它称为第一个公开的 System One 模型。它接收一段状态和一组带类型的问题，返回选择、评分或是非概率，让程序直接使用。它不负责写一段给人阅读的答案。
[阅读更多]
从一条线段理解凸集合、凸组合与凸包
把几何直觉写成公式，再证明所有凸组合为什么恰好构成凸包
我学过线性代数，当时比较熟悉怎么算。最近遇到凸包，看到“所有凸组合构成凸包”这句话，又有些拿不准。橡皮筋围住一堆点，这个画面不难想象，可一写成求和公式，就有好几步想追问。
[阅读更多]
推荐 BrowserSkill，让 AI Agent 使用已登录的浏览器
沿用现有账号和扩展，在独立 Agent Window 中完成网页任务
如果你已经在用 Codex、Claude Code 这类 Agent，又希望它能帮忙操作日常使用的网页，我推荐试试腾讯开源的 BrowserSkill。
[阅读更多]
给 Linux 上的 AI 一套独立桌面
从本机 Computer Use 到 QEMU/KVM 隔离桌面的实践与验证
让 AI 替我操作电脑以后，我还能不能继续用这台电脑？
[阅读更多]
我怎样组织 Codex 的上下文与工具
用一次博客阅读时长修复，串起项目规则、任务执行与结果验证
在上一篇我目前推荐使用的 Codex Skills里，我把自己的 Codex 环境分成了三层。
[阅读更多]
我目前推荐使用的 Codex Skills
按实际工作流选择，覆盖调研、工程验证与内容处理
四个月前，我写过一份自己推荐的 Codex Skills 清单。那时我还在按技能名字做选择，记得当时刚开始时关注点还是在收藏量，web-access、mem-search、humanizer 这些词看起来像一组可以长期保存的工具，但实际上距离真正提升效率以及与 Agent 本身的搭配还差得远。
[阅读更多]
在 Linux 云服务器上配置 V2Ray 代理客户端
安装 v2ray-core，用 Shell 脚本管理进程与代理环境变量
对于一台全新的国内 Linux 云服务器来说，网络问题往往是限制学习和科研效率的重要障碍。和个人电脑类似，我们也完全可以在云服务器上使用代理，从而解决网络访问问题，更顺畅地开展学习与研究。
[阅读更多]
在 Windows 上配置 GitHub SSH 认证
在 Git Bash 中管理密钥，添加公钥并测试连接
GitHub 不接受用账号密码认证 HTTPS Git 操作。HTTPS 可以使用 token 或凭据管理器，SSH 则使用密钥对。这些方式与登录 GitHub 网站是不同的场景。本文在 Windows 的 Git Bash 中完成 SSH 密钥生成、添加公钥和连接测试。认证方式的区别可以参考 GitHub 的认证指南。
[阅读更多]
Code Review 入门
审查的目标与反馈流程，以及 GitHub Pull Request 的辅助作用
Code review 通过阅读和讨论源代码来发现 bug 和可维护性问题。通常，一次 code review 会发生在代码合并进主代码库之前。
[阅读更多]
我为什么开始写博客
从 Blog-Driven Development 开始，用写作梳理学到的东西
时间来到 2024 年 5 月 19 日的清晨，而我的第一篇个人博客也将在这个时刻诞生。我想，我会一直记住这一刻。
[阅读更多]