ChatGPT IDE找不到gpt-6-astra模型？四步操作快速解决
近日，部分用户在更新gpt-6-astra模型后反馈，在ChatGPT IDE中无法找到该模型的选项...
Toy的文章
Toy开源AI编程终端Belfry连更四版：统一托管Codex与Claude Code，新增SSH与Provider切换
Belfry是一款跨平台AI编程终端工具，支持macOS和Windows系统，基于Tauri 2、R...
阿里云全线云产品特惠 · 一站采购
ECS / OSS / CDN / 云数据库一站采购,常用云资源集中选配;新用户与续费均有专场优惠,适合个人开发者与小团队长期使用。
Gemini Flash 3.8五轮对话构建AI小说创作管理工具，效果超出预期
Linux.do论坛一位开发者分享了使用Gemini Flash 3.8通过五轮对话构建小说创作管理...
GPT-6 Astra 引爆游戏复刻潮：马里奥、CS沙漠2、水果忍者一句话生成
Linux.do 社区一位用户汇总了多款由 GPT-6 Astra 生成的复刻游戏，在社区引发关注。...
Claude Code升级后初始上下文占用从2%飙至7%，内置工具膨胀引发讨论
据Linux.do论坛用户反馈，Claude Code CLI升级至2.1.258版本后，对话的初始...
反编译器对比平台 Decompiler Explorer 正式开源上架 GitHub
Decompiler Explorer（dogbolt.org）是面向逆向工程与安全研究领域的在线工...
谷歌HEIR同态加密编译器新进展：加密AI推理距实用还有多远
谷歌工程师Jeremy Kun发文介绍同态加密（HE）编译器项目HEIR的最新进展。HEIR可将普通...
开发者反映 DeepSeek 模型疑现质量波动：线上产品频繁出现低级错误
一名开发者在 V2EX 发帖询问 DeepSeek-V4-Flash 模型是否出现问题，称其线上产品...
Claude 11天自主证明费马大定理：1300万行Lean代码创史上最大形式化证明
Anthropic宣布，其AI模型Claude在11天内基本自主完成了费马大定理的首个端到端机器验证...
大模型周刊：3条主线看懂旗舰换代与商业化
观察区间：2026.08.29-09.04。系列内部编号为第43期；该日期跨 ISO 第35与第36周，所以标题直接使用日期口径。 这一周的信息很多，真正值得记住的只有三条线：旗舰模型开始围绕长任务和电脑操作换代；网络安全能力从评测项目变成受控产品；中美厂商越来越愿意谈收入、成本和分发入口。 榜单仍然热闹，但竞争坐标已
《财经》实测：国内大模型套餐 Token 单价反超国外，最高达 Codex 8 倍
《财经》杂志于 2025 年 7 月至 8 月自费订阅国内外主流大模型 Token 套餐，使用开源智...
IBM推出AI编程助手Bob：直接嵌入代码库，与开发者并肩工作
IBM正式推出名为Bob的AI驱动开发伙伴产品，产品页面已在bob.ibm.com上线，并在Hack...
开源工具video-prompt-reverse：上传视频自动反推中英双语提示词
开发者在Linux.do社区发布开源项目video-prompt-reverse，这是一个用于视频反...
企业RAG知识库为何都要配知识图谱？真实价值引技术社区热议
Linux.do社区近期一则技术讨论帖聚焦企业AI落地中的常见困惑：为什么众多企业在构建RAG（检索...
让 AI 直接修订 Word 文档，为何卡死在文本精确匹配上？
一位开发者正在构建基于大模型的 Web 文档审阅应用，目标是让 AI 分析文档内容后，直接在 WPS...
小米 token plan 实测：34元 Lite 套餐用 Pro 模型两天耗掉一半额度
一位开发者近期开始系统体验各家 AI 编程 token 订阅套餐，均购买最低档版本，以测试实际工作量...
九大AI厂商模型横评工具开源：选完模型还能比API渠道价格
一位开发者近日在V2EX分享了一款AI模型横向评测工具，旨在解决AI API选型中的两个核心问题：先...
开源项目llmdoc：为AI Agent构建代码库记忆，直击AI编程六大痛点
V2EX用户分享了一个名为llmdoc的开源项目，旨在解决AI编程中Agent缺乏代码库记忆的问题。...
OpenAI官方确认：Codex长上下文超272K不加价，缓存写入免费
围绕OpenAI Codex平台长上下文计费规则的争议有了官方结论。此前，OpenAI企业级Toke...
开源工具 QuotaView 0.4.5 发布：灵动岛实时呈现 Codex 任务进度
开源工具 QuotaView 发布 0.4.5 版本，这是一次较大规模的更新，安装包已推送至 Git...