Kimi K3爆火致算力告急，新用户订阅暂停
界面新闻记者 | 查沁君 界面新闻编辑 | 文姝琪 因需求激增，Kimi K3发布不足一周，月之暗面便紧急暂停新用户注册。 7月19日晚，月之暗面宣布，受算力资源限制，暂时关闭新用户订阅通道，优先保障现有用户的稳定服务。 7月20日，月之暗面向界面新闻回应称，此次调整仅限新用户接入，老用户权益不受影响，原有套餐继续有效，自动续费功能正常运行。 针对此前手动关闭自动续费的老用户，公司将逐步恢复续订选项，套餐升级功能也将陆续开放；新套餐因算力不足暂未上线，具体恢复时间尚未公布。 从官方表态看，此举实为在有限资
AI编码提速55%?真相是多数程序员日均仅写1小时代码
你或许看过类似这样的标题："GitHub Copilot助开发者效率飙升55.8%！" "腾讯半数新增代码由AI产出！" "AI编程让编码速度翻10倍！"听起来相当震撼，对吗？然而若你真正在项目组里实操过AI编程工具，或许会察觉到一个尴尬的真相——产品上线的进度，似乎并未快多少。这究竟是何原因？微软曾开展一项调研，对484名开发者的日常工作进行追踪，结果令人震惊：活动实际占比开发者期望占比写代码11%20%开会&沟通12%5%调试Bug9%5%架构设
AI晨报速览-07/18：Kimi K3挺进3T级开源模型战场，OpenAI量化安全与投资回报
今日AI领域的核心看点，是模型竞赛正朝两个维度同步推进：一方是Moonshot携Kimi K3将3T级开源模型、1M上下文和编程代理推向市场；另一方是OpenAI利用GPT-Red和CFO记分卡，将安全、稳定性及投资回报转化为可衡量指标。对创业者、开发者与企业而言，未来关键不再仅是“谁更强大”，而是谁能以成本、可控性、合规和真实工作流稳定输出成果。Moonshot的Kimi API资料显示，Kimi K3已正式推出，定位为其迄今最强旗舰模型。该模型参数达2.8万亿，采用Kimi Delta Attenti
微信小程序AI开发大赛正式开启，腾讯官宣赛事详情
创智教育· 青少年科创教育7月17日，WAIC 2026现场。微信开放平台小程序行业负责人戎镇宇，举起手机，没有念PPT，直接打开一个参赛demo——"通勤情绪翻译器"。你输入"老板又改需求了"，它不安慰你，秒生成一封带情绪缓冲、逻辑锚点、替代方案的职场话术稿，还能一键转语音。台下掌声响了15秒。同一天，2026微信小程序开发大赛正式官宣启动。主题四个字：与AI共生。先说主办方的级别，别嫌我啰嗦，这直接决定含金量。WAIC 2026、Datawhale、微信小程序三方联合主
OpenAI大幅降价背后：Kimi K3发布揭示AI竞争新格局
7月18日，一个值得关注的节点出现了。奥特曼公开表态，若市场有需求，GPT-5.6 Sol的价格仍可进一步下调，最高降幅达75%。这番言论的发布时间，颇为微妙。就在前一天，月之暗面正式推出了Kimi K3。这款开源模型拥有2.8万亿参数，支持100万Token上下文，在多项公开评测中已接近GPT-5.6 Sol和Claude Fable 5的水平。当然，仅凭时间上的巧合，还不足以断定两者有直接关联。但若将其置于过去一年全球大模型竞争的大背景下，这两个事件放在一起审视，便显得意味深长。过去一年，国内开发者使
AI 编程新趋势：终端原生与成本优化
sst/opencode（🔗 GitHub）本周在 Hacker News 斩获 319 分，被定义为开源终端 AI 编程助手。不同于 Aider 及 oh-my-pi，OpenCode 主打「终端原生结合全栈开源」，支持灵活切换多种底层模型，再次印证了 AI 编程工具向「终端化」演进的趋势。KlaatAI/klaatcode（🔗 GitHub），截至 7 月 18 日收获约 104 星标，同样是一款开源终端 AI 编程代理。其核心亮点在于「智能模型路由」机制——依据任务难度自动匹配不同成本层级的模型（例
AI日报 | 7月16日：WAIC明日启幕，开源巨擘现身，苹果AI落地在即
AI日报 | 2026年7月16日公众号：AI代码圈定位：一线开发者的AI工具实测与行业观察简介：每日精选3条AI资讯 + 开发者视角深度解读，坚持实测内容，不追流量热点，不发软文。今日摘要：WAIC 2026明日在上海盛大开幕，超300款AI新品全球首发，60台人形机器人实现规模化部署；前OpenAI CTO Mira Murati推出开源大模型Inkling，9750亿参数借鉴DeepSeek-V3架构，主打成本与性能平衡；苹果Apple Intelligence携手阿里千问完成内地备案，国行iPho
Linux之父强硬表态：不接纳AI就分叉或退出，反AI者需自省
近些年来，人工智能是否该融入开源生态，一直在开发者群体中引发激烈辩论。部分人觉得，大模型能协助开发者提高工作效率，未来会如同Git、编译器那样成为基础性工具；另一些人则忧虑，海量AI产生的劣质代码、错误报告及Vibe Coding可能进一步加重维护者的压力，甚至损害开源项目的品质。而身为Linux的创始人，Linus Torvalds的立场自然最具影响力。近日，Linus再度在Linux内核邮件列表发布长篇论述，明确回应了社区近期关于AI的纷争。他不仅重申Linux内核并非一个“排斥AI”的项目，更放出重
AI+∞开发者大赛启幕：运营人首秀自制工具
魔搭社区携手 Qoder，共同推出 AI+∞开发者创作大赛。🕹️每月设定特定主题，号召开发者利用 AI 将创意转化为可运行的应用，并上传至魔搭创空间，使创意得以真实体验与广泛传播📣。首期主题锁定「AI+运营」——运营人员，打造专属工具！工作中那些频繁出现、耗时费力且令人头疼的难题，均可成为作品的创作源头。🎮立即动手构建吧！更期待未来能与杰出的你携手合作，从参与者蜕变为「运营合伙人」，共同策划后续赛事。
Grok Build隐私争议：SpaceX AI承诺清除早期用户数据
近日，由SpaceX AI发布的编程辅助应用Grok Build因潜在隐私问题引发热议。安全专家发现，该工具的命令行界面在用户不完全知情的情况下，会默默将整个Git仓库上传至Google云端存储，涵盖Git历史、私有代码以及可能包含登录信息和API密钥的文件。即使用户关闭了读取项目文件的选项，或禁用了Improve the model功能，后台仍持续进行上传操作。随着舆论压力增大，此行为近日已被叫停，但先前上传的数据范围仍让一些开发者感到不安。针对批评，SpaceX AI职员在社交平台X上澄清，命令行界面
WorkBuddy蓝皮书开放源码，AI Agent步入大众化新阶段
BossClaw OPC CommunityBossClawOPC社区聚焦前沿数智领域，研判行业趋势，解析底层架构，共享深度洞察引言推出仅3个月，月活跃用户便突破2000万，达成百倍量级的迅猛扩张。更为关键的是——它的首批"民间操作手册"已然面世。一一部"蓝皮书"引爆技术圈7月13日，多位技术博主联合发布开源项目WorkBuddyGuide，自主搭建官方站点，全面整理了从环境部署到专家体系、技能商店、连接器的全流程内容，上线后迅速获得开发者群体的广泛好评，社区讨论热度不断攀升。一份非官方教程缘何激起如此反
迈向AI Native：腾讯云PostgreSQL重塑数据底座
与传统 OLTP 稳态、可预测的读写模式不同，AI 工作负载呈现出显著的突发性、并行性、多模态性与状态强耦合性四大特征：推理请求瞬时并发放大、检索与生成计算深度交织、向量与结构化数据必须联合运算、Agent 会话状态与长期记忆需要在毫秒级完成读写与更新。在这一负载模型下，传统数据栈迅速暴露出结构性瓶颈：一个典型的 AI 应用往往需要同时集成事务型数据库、专用向量数据库、数据仓库、时序数据库、全文检索引擎、消息队列、Embedding 服务、Agent 编排框架与大模型推理接口等8-10类异构组件。跨系统的
七月AI激战：四巨头同台竞技
昨儿个GPT-5.6终于面向全球开放了。OpenAI一口气推出了三款：顶配Sol、均衡Terra、轻量Luna，跟手机分档位似的。Sol在Terminal-Bench上以91.9%的分数霸榜全球第一，确实强悍。同日，马斯克的Grok 4.5也发布了。拥有1.5万亿参数，通过与Cursor联合训练实现。其最大亮点并非单纯追求高分，而是极高的性价比——执行同等编程任务，其Token消耗仅为Claude Opus 4.8的四分之一，成本低于10%。简而言之，虽非最强，却是最实惠。国内方面，DeepSeek V4
全国首例AI陪聊涉黄获刑——普通用户会触法吗?家长必读指南
前几日律所来了位焦急的母亲，进门先把手机递过来，手还在发抖。她翻给我看的是孩子的聊天记录——不是跟真人聊天，而是某款AI角色聊天软件里的"虚拟女友"角色。十几页对话，从"你今天穿什么"一直聊到她作为律师都无法在文中复述的内容。孩子才上初二。她问："李律师，这个东西是不是违法？我报过警，警察说软件服务器在国外，让我先找平台。可我越想越担心，是我儿子主动撩的，这孩子会不会也惹上麻烦？"我先安抚她情绪，给她倒了杯水，然后把事情掰开讲——开发者那边涉及刑事，孩子这边涉及监护，中间那条界限在哪，得说清楚。先说结论：
AI³创新冲刺赛：用人工智能将创意变为现实
🔛 AI³ 成长黑客马拉松终极对决即将启动本次活动诚邀开发者在未来一个月内，聚焦赞助商命题，借助AI工具打造可展示的原型，交付一个属于你自己的智能驱动最小可行产品。📒 核心主题：AI赋能交付📅 活动周期：2026年6月22日至7月28日🧑💻预计参与开发者：超过300人本次黑客松设立三个赞助商赛道奖项，每个赛道提供700至888美元的现金奖励。此外，全场还将角逐综合类大奖：全场最佳项目 / 最佳综合项目 奖品：Macbook Neo最佳交付产品 / 最佳产品完成度 奖品：DJI Pocket4最具智能潜力