整了个 Codex 中文教程站,求各位佬帮忙挑挑毛病

最近一直在折腾 Codex ,发现中文入门资料还是比较散,新手很容易卡在安装、环境配置和各种报错上。 所以干脆自己整了个 Codex 中文教程网站:CodexGuide 。 https://codexguide.io 目前主要有这些内容: Windows 环境安装与配置 Windows / WSL 安装 Codex CLI Codex 基础使用方法 常见问题和实际操作案例 先叠个甲:网站目前还在持续更新,内容和使用体验肯定还有不少能改的地方。 有问题直接指出就行,轻喷( doge ),我会继续慢慢完善 项目教程也已经开源,欢迎各位佬提 Issue 或 PR: https://github.co...

我从 157.3kg 减到 67.5kg,减肥其实就是戒🐷瘾,看站里好多减肥的帖子有感

最近看 V 站减肥的帖子还挺多的,我自己也算减下来不少了,最重 157.3kg ,现在 67.5kg ,随便说说自己的思路。不是什么专业建议,我也没系统学过营养学,纯个人经验,大家随便看看。 我觉得大体重刚开始真别急着运动,尤其别上来就想着跑步。157kg 那个时候让我跑,我估计脂肪还没减多少膝盖先 g 了。最开始其实就是从吃下手,但也不是第一天就水煮鸡胸肉西兰花,(那玩意让我吃半年我估计减肥还没成功人就得先没了) 我最开始做的事情很简单,就是先注意重油重盐高糖的东西,炸鸡 奶茶 烧烤 甜品这些东西少吃点,外卖油特别大的也尽量少点。也没说完全不碰,毕竟吃踏马 20 多年了你让我不出比杀了我还难...

我现在发现 workbuddy 做一些简单的事情还是不错的

我现在发现 workbuddy 做一些简单的事情还是不错的,总不能什么事情都让 Codex 去干,有些活还是适合 workbuddy 这种的,而且最近每天签到有积分,小任务完全够用了: https://www.workbuddy.cn/events/invite?inviteCode=1z5dbcy4hsev...

Anthropic 宣布在证明黎曼猜想过程中取得重大突破

Anthropic 今天宣布,一个未公开的研究版 Claude 在尝试证明黎曼猜想的过程中,虽然没能证明猜想本身,却在一个相关问题上取得了重大突破: 它把黎曼 ζ 函数的非平凡零点落在临界线上的已知比例下界,从 41.6% 提高到了 67.2%。 扩展阅读: 黎曼猜想是数学界最著名的未解难题之一,1859 年提出,至今 167 年无人能证明或推翻。它的核心主张是:黎曼 ζ 函数的所有非平凡零点都落在复平面上一条特定的竖直线上,数学家称之为“临界线”。 如果这个猜想成立,素数的分布就有了一种深层的规律性。这个问题列在克雷数学研究所的七大千禧年问题之中,悬赏 100 万美元。 既然全面证明太难,数...