Kimi Code 付费套餐因限额不透明遭投诉，涉嫌侵犯消费者知情权
近日，在 V2EX 社区引发了关于北京月之暗面科技有限公司旗下“Kimi Code”付费套餐的争议。多位开发者用户指出，该产品的 Coding Plan 付费订阅服务在计费与额度管理上存在严重的不透明问题，被指为国内“御三家”中最不透明的一家。用户反映，尽管服务设置了每 5 小时及每周的滚动限额，但系统仅向用户展示模糊的“使用百分比”...
阅读全文实时动态 / 第 193 页
前沿哨所
追踪 AI、开源与工程领域的重要动态。
- 日期
- 10-14
- 本页
- 20 条
- 累计
- 27,399 条
技术反噬：当AI代理开始接管人类的判断与生活
这篇发布于2026年7月的评论文章深刻剖析了硅谷科技圈在AI浪潮下的集体焦虑与异化现象。作者Armin Ronacher指出，曾经推崇“特立独行的天才”的硅谷，如今已被一种“害怕落后”的新型疯狂所占据。每个人都在追逐前方的人，却忘记了原本的目标。文中引用了两个极具代表性的案例来佐证这一观点。第一个案例中，一对夫妇年收入高达55万美元，...
阅读全文DeepSeek 疑似静默更新引热议：用户反馈指令遵循能力突然下降
近日，在开发者社区 Linux.do 中，有资深用户反馈 DeepSeek（D老师）的指令遵循能力出现了显著波动。据该用户描述，在长期使用 DeepSeek 处理日常辅助任务的过程中，近期遭遇了前所未有的“翻车”情况，即针对简单指令的处理出现明显错误。基于过往良好的使用体验与当前突发的性能下降，该用户推测 DeepSeek 可能正在进...
阅读全文AI 训练范式转向？Anthropic 被曝探索“演示工程”，屏幕录制数据或成智能体新粮草
随着大模型训练数据的日益紧缺，科技行业正面临从“提示词工程”向“演示工程”的技术范式转变。近期讨论指出，以 Meta 和 Anthropic 为代表的科技巨头，可能正在探索通过录制员工电脑屏幕或直接采集人类操作行为轨迹来训练下一代 AI 智能体。这种被称为“演示工程”的方法，旨在解决互联网文本数据枯竭的问题，转而通过观察人类与计算机的...
阅读全文AMD Ryzen 7 7700X3D 深度评测：3D V-Cache 技术下放，重塑中端游戏性能市场
本次评测的核心对象是 AMD 最新发布的 Ryzen 7 7700X3D 处理器，这是一款旨在将旗舰级的 3D V-Cache 技术引入中端市场的关键产品。基于 Zen 4 架构，该芯片拥有 8 核心 16 线程的配置，其最大的技术亮点在于通过垂直堆叠技术额外增加了 64MB 的 3D 缓存，使得总 L3 缓存达到 96MB。这一设计...
阅读全文Claude Desktop 被曝后台静默请求致费用激增，开发者质疑计费合理性
近日，在开发者社区 Linux.do 中，有用户反馈 Claude Desktop 应用存在异常的后台资源消耗问题。据多位开发者描述，在使用 Claude Desktop 的“Cowork”或“Code”模式时，即使仅在客户端进行翻阅历史对话等非生成操作，应用后台仍会发起高频网络请求。这种疑似“连通性检测”的行为导致了 API 额度的...
阅读全文LLM联网搜索痛点引发热议：开发者陷入成本与稳定性的两难博弈
随着大语言模型（LLM）应用从单纯对话向AI智能体和复杂任务处理演进，赋予模型实时联网搜索能力已成为打破知识时效性限制的关键技术环节。然而，近期在开发者社区Linux.do的相关讨论中，这一看似基础的功能模块却暴露了严峻的基础设施短板，引发了广泛的“痛点”共鸣。
阅读全文Grok 印区包年订阅评测：在区域价差与账号稳定性之间的选择
Linux.do 社区近期热议 Grok 印度区年度订阅的性价比问题。发帖者对比了持有的美区、英区 ChatGPT Team 账号及第三方注册机方案，指出 Grok 印区包年价格具有显著优势。虽然注册机方式成本极低，但存在封号与稳定性风险，而官方印区订阅被视为兼顾成本与安全的替代方案。该讨论反映了技术圈用户在多模型订阅背景下的成本敏感...
阅读全文利用 Lean 4 进行密码学形式化验证：一次性密码本协议实战教程
Hashcloak 发布了一篇深度技术教程，详细阐述了如何使用微软研究院开发的交互式定理证明器 Lean 4 进行密码学协议的形式化验证。教程通过实战方式，指导开发者从零开始构建密码学基础库，包括导入有限域库 ZMod、定义依赖长度的位字符串类型 Vector，以及实现异或（XOR）运算。文章核心亮点在于通过 Lean 编写代码来证明...
阅读全文Kimi 创始人杨植麟：AI 新贵褪去“江湖气”，技术理性回归
近日，Kimi 智能助手开发方 Moonshot AI 的创始人杨植麟接受媒体采访，其展现出的个人特质与企业发展逻辑引发业界深思。杨植麟拥有极为耀眼的学术履历，本科就读于清华大学期间成绩稳居年级第一，多门核心课程取得满分，是典型的“天才型”技术领导者。与过去二十年互联网草莽时代的创业者不同，杨植麟及这一批 AI 新贵身上几乎看不到传统...
阅读全文开源项目v0-auto发布：可自动化注册v0.dev并生成API Key
社区开发者发布了一款名为 v0-auto 的开源自动化工具，旨在解决 AI 编程平台 v0.dev 的注册与 API 获取问题。该工具能够自动完成从邮箱注册到 API Key 生成的全流程，并提供了三种使用模式：通过 Grok 或 GPT 等大模型直接调用；接入反向代理工具，将 v0 的 API 兼容 OpenAI 接口格式，从而在 ...
阅读全文谷歌Gemini 3.6 Flash发布：更便宜更快但智力未涨，跌出综合榜前十
谷歌正式发布了代号为 Gemini 3.6 Flash 的新模型，此次迭代的核心目标在于显著提升针对 AI Agent 任务的处理效率并大幅降低运行成本。然而，根据 Artificial Analysis 发布的最新综合智能指数显示，该模型得分仅为 50 分，与前代 Gemini 3.5 Flash 持平，并列榜单第 11 位，遗憾跌...
阅读全文ReadKinetic 发布：基于眼动追踪算法的本地化速读工具
Hacker News 社区近期推荐了一款名为 ReadKinetic 的本地化速读应用。作为一款完全免费且优先在本地运行的工具，它允许用户上传自己的电子书进行快速阅读。该项目最引人注目的技术特征在于其对“ RSVP（快速序列视觉呈现）”节奏的算法优化。开发者并未采用复杂的自然语言处理统计模型，而是选择了一套基于标点符号权重与单词长度...
阅读全文开发者AI编程选型指南：OpenCode套餐模型性能与性价比实测对比
来自开发者社区 Linux.do 的讨论聚焦于 OpenCode Go 套餐中的 AI 模型选型策略，旨在解决中高强度编程与文本生成场景下的模型选择难题。针对日均 2-4 小时、对话 20-50 次的使用频率，用户普遍倾向于采用“双模型”组合方案：即选取一款高性价比模型作为日常主力（如 DeepSeek V4 Flash 或 Kimi...
阅读全文开发者实战：让Claude Code调用低成本模型以优化API成本
近日，针对AI编程工具高昂的使用成本，社区内出现了一种旨在优化资源分配的技术探讨。话题焦点在于如何通过特定配置，让Anthropic推出的Claude Code能够调用OpenCode（指代其他开源或低成本模型），从而实现混合编程。该方案提出了一种分层处理的开发模式：利用Claude Code在逻辑推理、架构设计及代码审查方面的顶级能...
阅读全文极客时间重磅课程：RAG与Agent性能调优50讲深度解析
随着大模型技术的快速演进，RAG（检索增强生成）与AI Agent（智能体）已成为企业构建高阶AI应用的核心技术架构。然而，从实验性的Demo走向稳定的生产环境，性能瓶颈往往成为阻碍技术落地的最大挑战。极客时间推出的《RAG与Agent性能调优50讲》课程，直击这一行业痛点，系统性地梳理了从底层架构到上层应用的全链路优化方案。据悉，该...
阅读全文DeepSeek遭负面反馈触发2分钟长思考：推理模型陷入逻辑死循环与格式失序
近日，一位开发者在Linux.do社区分享了一起关于DeepSeek模型有趣的“内耗”案例。该用户在向DeepSeek识图模式发送表情包后，因模型未理解其梗，仅回复了“错误”二字作为反馈。这一简单的负面指令意外触发了DeepSeek深度推理机制的长时间运行。在随后的两分多钟内，模型展开了所谓的“雷霆大思考”，试图穷举用户指出错误的24...
阅读全文警惕“虚假通过”：Claude 工程师一天遇到的十种验证陷阱
本文记录了一次针对 2026 年某站点进行的审计过程，其中 Claude 扮演了工程师角色。文章揭示了一个令人深思的现象：当天每一个严重的软件缺陷背后，都伴随着一个显示为“通过”的验证检查。作者详细剖析了十种导致测试失效的典型模式：包括永远无法检测到错误的脚本、检查器与被测对象使用不同“方言”导致的误解、在源代码而非渲染层进行检查的偏...
阅读全文构建类Manus多Agent系统：实战MCP、A2A协议与沙箱技术全栈开发教程
Linux.do 社区发布了一套名为“mksz955”的实战课程资源，旨在指导开发者从零开始构建一个类似 Manus 的多 Agent 全栈应用。课程内容详尽，涵盖了从 Agent 理论基础、架构设计到工程化落地的全过程。在架构设计层面，课程深入讲解了多 Agent 协作系统的设计思路，重点拆解了 ReAct（推理与行动）模式、Pla...
阅读全文告别“古法编程”：开发者重金订阅AI工具后的真实效率反馈
在知名技术社区 Linux.do 上，关于程序员群体从传统“古法编程”向“AI 编程”转型的讨论引发了广泛关注。该话题直指当前技术圈的一个普遍现象：越来越多的开发者开始为各类 AI 编程助手支付高昂的月费，试图通过大模型能力提升编码效率。讨论不仅关注开发者每月为此支付的额外支出，更深层地探讨了这种技术范式转移是否真正带来了预期的生产力...
阅读全文