「核武使用」共找到 1302 篇相关文章
SDD 如何在复杂业务系统中真正落地？
文章围绕SDD在复杂业务系统落地展开，介绍OpenSpec库使用，对比与系分差异，分析其优势与问题，如LLM与IDE执行能力鸿沟、无update命令等，还对比OpenSpec和GitHub Spec Kit，并给出流程及提示词。
Codex 积分制计费上线，Claude Code 急了……
OpenAI Developers宣布Codex推出积分制度，重置速率限制，ChatGPT Plus和Pro用户可买积分获额外使用量，每1000积分40美元。云端任务将计入速率限制，社区反应不一，且积分会过期，Claude Code为挽回用户送会员。
工作场景AI化，一个月花100美元订阅AI工具值吗？
AICon 全球人工智能开发与应用大会 2025 北京站即将召开，InfoQ 直播栏目邀请来也科技胡一川、阿里汤威、美团邹明远、快手王东旭探讨 AI 时代「10x 个体」与「10x 组织」，分享落地路径、效率提升及工具使用经验。
The Batch: 883 | 美国两个州禁止人工智能驱动的心理健康治疗
美国伊利诺伊州成继内华达州后，第二个禁止用人工智能进行心理治疗的州。该法案限制聊天机器人独立治疗及其他AI使用方式，旨在保护患者和人类治疗师，但也引发对全面禁止利弊的讨论。
OpenAI强制「处死」GPT-4o！80万老粉全网拯救：它不是代码是爱人
1月29日OpenAI官宣2月13日强制退役GPT - 4o，80万粉丝不满，发起“拯救4o”运动，提出缓冲期短、保留访问权等诉求，还指出模型停用影响订阅价值。此前GPT - 4o就曾面临下线危机，其使用也有安全隐患。
AI本该助力新人，为何反而让高手更强？
人们曾认为AI能让初级程序员创造高质量代码，减少对高级工程师依赖。但现实是‘高手 + AI’才是有效组合。文章分析AI优劣，指出其让高手更强，还给出使用建议，强调要校准对AI的期待。
明星AI编码助手涨价10倍惹怒开发者！CEO 回应：有人花千元薅了我们10多万，不挣钱不可持续
10月16日，AI代码助手Augment Code更新定价模式，按AI使用量计费，用户称成本涨超10倍。CEO称原模式不可持续，举例有用户带来高额成本。行业内多家公司也调整定价，反映AI编码助手成本和定价难题。
vLLM Ascend超越MindIE？ 昇腾推理Qwen3与DeepSeek R1 Distill性能实测
国内开发者在昇腾NPU上进行大模型推理面临挑战，华为MindIE推理引擎使用门槛高。昇腾联合vLLM社区推出vLLM Ascend插件。本文用GPUStack平台实测其与MindIE性能差异，得出两者在不同场景各有优势的结论。
Thinking Machines新发现：Lora不是权宜之计，哪怕秩低到 1，也能匹敌全参数微调
Thinking Machines和John Schulman新研究刷新对LoRA的认知，实验显示正确使用时它能匹敌全量微调。团队系统研究训练集与参数关系，有层选择、学习率等关键发现，还给出实用建议，但LoRA在部分场景表现待验证。
TileLang深入详解-第二章-TileLang 核心编程抽象
文章深入解析TileLang核心编程抽象，介绍写kernel的方式，阐述TileLang三层抽象特点及适用场景，展示JIT工作流、接口和执行后端，还提及性能优化、基准测试、正确性校验，最后用GEMM示例对比三层抽象差异并给出使用建议。