LeetCode你就学吧，AI顶流招聘开始不考了
刷了这么多年LeetCode，突然有人说不考了。一时还真不知道，该松口气，还是该感慨。就在刚刚，Anthropic工程经理Felix Rieseberg的一条帖子直接引爆了程序员圈:编程面试已死!
解谜游戏还有未来吗？——注意力危机时代的《沉星之序》
几块石头与一颗沉星十九世纪诗人丁尼生（Alfred, Lord Tennyson）在名作《尤利西斯》（Ulysses）中，塑造了一位归乡后觉得自己正在日渐生锈的老国王。他每天守着炉火、向臣民颁布法令，心里却始终不甘把余生尽数耗在王座上，总想在仅剩的岁月里再找寻一点新鲜的事物。
实测讯飞 Spark-X2.6，这 10 亿免费额度值不值？
科大讯飞的年度版本 Spark-X2.6 来了:293B 总参数、1M 上下文，主攻代码和智能体，从训练到推理整条链路都跑在国产算力上。25 年 1 月的 X1 做深度推理，11 月的 X1.5 补通用能力。
rollout预算最该花在哪？不是Transformer，而是风险预测的向前一步
论文标题:Bridging Risk Approximation Gaps in Model Predictive Task Sampling via In-Context Modeling。
代码迁移准确率从 5.4% 飙至 97.9%！OpenAI 挑战 COBOL，几十年的老系统真能交给 AI 了？
10 月 19 日，OpenAI 发布了一项针对低资源编程语言的最新研究，试图改变这一局面。在一项 COBOL 代码迁移评测中，上一代 GPT-5.6 Sol 在低推理强度下的准确率只有 5.4%。
九成代码AI写，谁来审？Claude Code亮出6道关卡！
Claude Code约90%的自身代码，已经交给Claude编写。写代码的换成了AI，改动数量也跟着暴涨:6月到9月，合并进代码库的PR数量，翻了一倍多。
实测从一问一答到自主代办，个人智能体开启AI新竞争周期
Personal Agent（个人智能体）赛道骤然变得拥挤。10月27日，蚂蚁集团发布灵光2.0，定位为“能管事的个人AI助理”，官方数据显示产品上线6天下载量突破200万。同样，阿里千问、字节、腾讯也已纷纷下场。仅仅两个月前，这条赛道还近乎无人问津。
16.5 有些不通过的测试用例，不能允许 AI 自己修改
一个"AI 把'防越权'测试改成了'测试越权能成功'"的故事某团队工程师 P——重构订单查询模块——交给 AI 自迭代执行。
Claude狂写1.8亿行证明，万亿次测试漏掉的Bug，被AI一锅端
短短48小时，全球就爆了27起重大网络攻击，现在人们都在疯传，「最暗十月」来了。短短几周，Claude拿下了123个开源代码库中的239个测试入口的形式化验证，狂飙1.8亿行Rocq数学证明代码，全部通过机器核验!
格式化也没用！旧手机换掉前，一定多做这一步
淘汰的旧手机，很多人会考虑置换或是卖到二手市场，先别急！账户、隐私、工作信息若没清干净，就可能被不法分子利用，留下风险隐患。那么，换下来的旧手机该如何处理？