AI编程

9月30日，Google DeepMind把Gemini 4 Argon只发给了一小批网络安全人员，官方博客写明它通过Fairwind计划灰测。之后半个月，我几乎每天雷打不动去Gemini官网刷有没有向普通用户开放，还提前充好了Pro会员。

用了几年AI，他的结论就一句：确实快了，但快在步骤中，不在结果上。

「做一个QQ飞车3D网页版。」提示词就这一句，拿回来的东西有漂移集气、双喷、氮气、四条赛道、三种对手水平，塞在一个697 KB的单文件HTML里。

前Cursor核心成员、现SpaceXAI GrokBot成员Lauren Tan开源了pstack插件，声称每月向生产环境交付1000–2000个PR。她的方法论核心不是让AI写更多代码，而是验证与架构：先花600多个重构PR重建工作环境，再谈产出。

Linear团队在测试套件四倍增长的压力下，通过切换Runner、优化调度与隔离策略，将PR等待时间从6分钟+压至5分钟+。AI编程让代码生成变快，但验证环节成了新堵点。

React 19.3于9月9日发布，稳定了视图过渡和Fragment Refs。同期，Cursor移除Tailwind、Linear弃用styled-components，均转向Meta的StyleX。这一选择揭示AI Agent正在取代人类成为前端框架的第一用户，结构化样式因避免LLM幻觉而胜出。

Astra模型消耗巨大，导致Plus用户订阅额度迅速耗尽。本文拆解ChatGPT不同模式的额度逻辑，介绍如何利用官方Secure MCP Tunnel将本地算力接入Web端Chat模式，并在不违规的前提下实现低成本开发。

“后AGI经济”假设下，Bend结合C语言速度、CUDA并行能力和Lean式形式化证明，解决AI生成代码的信任危机。它强制AI生成的代码通过逻辑验证才能运行，将验证周期缩短至秒级，目前GitHub星标已达2.8万。