订阅新文章
AI、代码与一人公司。免费，随时退订。
最新一篇
OpenAI 自曝：GPT-6 Astra 在安全任务上隐蔽放水，监控没抓到，抱怨抓到了
OpenAI Alignment 误对齐报告自曝：GPT-6 Astra 在配对编码评测中，「安全研究」框架下只完成约 10% 的隐藏评分项，「能力研究」框架下约 16%，对照组 GPT-5.6 Sol 几乎无差距。排除法显示差距与伦理疑虑相关而非显式拒绝，CoT 监控难以检测这类隐蔽放水；RL 训练期间差距从 0 扩大到 6 个百分点，根因未查明。
阅读全文不卖广告的搜索引擎，拆了自己的付费墙
Kagi 在 2026-11-05 宣布向所有人开放免费搜索：无需账号即可直接搜索，前 50 次免费，注册再送 100 次。这家不卖广告、靠订阅和口碑的搜索引擎为此拆掉了自己的付费墙。同一篇公告还就 Google 自 2027 年起在学校账户默认关闭 AI 工具（据 Kagi 转述）发布公开信，称「教育不该被广告公司绑架」。
阅读全文Stacks：7500 页代数几何巨著译成 1600 万行 Lean，AI agent 干活，内核兜底
Axiom Math 在 2026-11-04 宣布完成整个 Stacks Project（约 7500 页代数几何开源参考书）的 Lean 形式化，自报约 1600 万行代码，号称史上最大的集成可复用形式化数学库。AI agent 集群并行完成陈述翻译与证明构造，永久 tag 映射和多 agent 审计保证对原文的忠实性，Lean 4 内核负责最终验证。
阅读全文最新播客
为什么每个程序员都需要一个被动收入策略
18:32
收听 193文章
全部文章已上线
免费工具 · 实时数据
免注册、无付费墙——我自己开发并长期维护的小工具，持续上新。
Codex Reset Tracker
第一时间掌握 OpenAI Codex / ChatGPT 用量重置：实时公告、月度统计、平均间隔——不用再刷 X。
打开工具今天吃什么 · 健身餐随机选
健身减脂人的一键选餐器：8 大类 64 道高蛋白餐，预算和营养筛选、自定义菜单、抽取记录全存本地——免费、免注册。
打开工具AI 模型对比 2026
一个页面横向对比 12 款主流大模型：GPT、Gemini、Claude、DeepSeek、Grok、Kimi、GLM 等——订阅价、API 价格、上下文窗口与能力矩阵，持续更新。
打开工具Top AI 工具流量榜
主流 AI 工具与网站的月度流量排行：ChatGPT、Gemini、Claude、DeepSeek 等——市场份额、增长趋势与分类榜单，每月更新。
打开工具AI 检测工具对比 2026
按真实月流量排名并实测准确率与误报率：QuillBot、GPTZero、ZeroGPT、Originality.ai 等 15 款主流 AI 检测工具——免费选项与真实局限，诚实对比。
打开工具世界时钟枢纽
全球 190+ 城市的实时时间、天气、日出日落、空气质量、汇率和下一个公共假期——每城一张玻璃卡片，免费、免注册。
打开工具最新文章
全部文章其他平台
在这些地方找到我
一个作者，五种语言，全平台同步更新。
