跳到正文
10月10日周六
  1. Hacker News22

    GATE:Godot Engine 的 GDScript 超集

    GATE 是面向 Godot Engine 的 GDScript 超集,在编译为普通 GDScript 的同时加入类型前置声明、空值安全、结构体、接口与命名空间、泛型、联合类型等特性,采用 MIT 许可,要求 Godot 4.7+。合法的 GDScript 即为合法的 GATE,把 .gd 改名为 .gate 即可无错编译并保持行为一致,重新编译其自身输出可得到相同字节。

  2. GitHub12

    openclaw-codex-agent:在 Windows 上规划、运行与验证开发工作流

    openclaw-codex-agent 是一款面向开发者的工具,按 Plan、Run、Verify、Fix 四步引导代码项目的规划、执行、验证与修复,并生成可审计的记录。它支持 Windows 10 及以上 64 位系统,最低 4 GB 内存、500 MB 磁盘空间,安装后通过 .exe 安装包部署,计划以 JSON 格式保存在本地文档文件夹中。

  3. RadarAI62

    小米发布 MiMo-V2.6 论文:用强化学习扩展自我改进

    小米发布 MiMo-V2.6 论文,模型在 RL 训练循环中承担构建任务、审计测试、评分答案和排查作弊等工作,人类只设定预算和规则。论文指出 pass/fail 测试无法区分干净修复与 hacky 修复,因此引入 grader agent 比较各组通过的补丁,把奖励移向更干净的方案,否则智能体会倾向更长运行和吞掉异常等绕行做法。

  4. Hacker News27

    软件工程的“半人马时代”或将持续数十年

    人类工程师与 AI 编程系统协作的“半人马时代”可能像国际象棋一样持续约二十年,甚至更久。从 2022 年 GitHub Copilot 的自动补全,到 2024 年 Cursor 的 agent mode、2025 年初的 Claude Code,再到 2025 年 11 月 Claude Opus 4.5 发布后可完全无监督运行的智能体,人机组合仍强于任何一方单独作战。

  5. Hacker News22

    Axiom 0.7.8:用 Axiom 自身编写的函数式系统编程语言

    Axiom 0.7.8 发布,这是一门开源函数式系统编程语言,编译器本身由超过 119,000 行 Axiom 代码写成,可从提交的 LLVM IR 经 llc 与 C 链接器重建并校验两代字节一致。它通过类型与效果系统在编译期捕获遗漏分支和 I/O 副作用,直接编译为含分配器与系统调用的原生二进制,无 VM 和 GC,已为 macOS 与 Linux arm64 提供预编译版本。

  6. RadarAI48

    字节 TRAE 合并 TraeWork 与 TraeCode,升级为全链路开发平台

    字节旗下 TRAE 于 10 月 9 日宣布将 TraeWork 和 TraeCode 合并为全新 TRAE,升级为全链路开发平台,支持 Agent 模式与 IDE 模式无缝切换。新版覆盖桌面端、Web 端和移动端,并完整迁移聊天记录、账号数据、本地数据及商业积分。目前新版本仍处于灰度测试阶段,将分批次推送至全量用户。