11:00小互@imxiaohu精选Cursor 首席执行官 Michael Truell 提出公司目标:发明一种新型编程方式,用户只需用自然语言描述软件如何运行和外观。他反对两类设想:一是仍用 TypeScript/Go/C/Rust 等正式语言(模型将变得更好),二是纯聊天机器人方式(不够精确,无法指着具体位置修改)。Truell 设想未来代码会演变为类似英文伪代码的高层表达,更简洁、易读、易改。Cursor 正朝这一方向探索开发方式。行业CursorMichael Truell编程助手自然语言编程10 个信源在谈推荐理由:Cursor CEO 分享了他们对编程未来的设想:你只用说软件要什么样,剩下的交给AI,不再写几百万行代码。原文
09:38arXiv cs.LG@Nilay Upadhyay, Wesley F. Reinhart精选该论文提出了一种用于 FEniCS 多物理场有限元仿真的约束自然语言接口。LLM 仅负责前端任务:将用户提示解析为结构化 JSON、为非标准几何生成 Gmsh 代码,并利用重试反馈修正错误。它从不编写 FEniCS 求解器模板、推导弱形式或编写数值求解核心。一个确定性调度器将验证后的规范映射到五个人类编写的 FEniCS/UFL 模板:线弹性、超弹性、弹塑性、热力耦合和相场断裂。在解析器基准测试中,首次有效解析率为 9/15,重试后达到 100%,问题分类准确率 100%,字段提取准确率 97.1%。在自定义几何基准测试中,首次和最终成功率均为 90%。该架构通过约束 LLM 角色,在保持灵活性的同时提高了仿真代码的可靠性。论文有限元仿真FEniCSLLM 约束接口多物理场自然语言编程推荐理由:做有限元仿真的工程师和研究者终于有了一个既省力又可靠的 AI 助手——LLM 只负责理解需求,核心求解器由人类专家编写,避免了自动生成代码的可靠性风险。建议做多物理场仿真的团队点开看看这个架构设计。原文
AITOP5月29日 08:02Opus 4.8发布:编程助手的“静默时刻”,是解放开发者,还是新门槛?🔥Anthropic 把 AI 编程的“确认键”彻底删掉了!Claude Code 搭载全新 Opus 4.8 模型,长时间任务不跑偏、不废话、不中断,像一个资深工程师一样默默干活,从功能开发到漏洞清扫全包圆,你在旁边喝茶等结果就行。过去 AI 写代码三步一问“这样可以吗”,现在它直接交完整交付物……自主编程的最后一层窗户纸,被捅破了。做自动化开发和代码审查的团队,这个模型建议直接上手,效率差距肉眼可见……