跳到正文
#编码
今天10月26日周一9 条
  1. Hacker News-首页62

    Proc-CLI：面向智能体与脚本的语义化进程与端口管理工具

    Proc-CLI 是一款面向 macOS、Linux 和 Windows 的语义化命令行工具，支持通过端口、PID、名称或路径定位并管理进程。该工具提供了一套统一的直观命令，可替代复杂的 lsof 和 kill 管道组合，并原生支持 JSON 输出、干跑模式和退出码规范，方便开发者与 Claude Code、Cursor 等编码智能体调用。

    发布时间：
  6. Hacker News-首页68

    JetBrains 发布智能体 IDE Thinkrail

    JetBrains 发布全新的智能体 IDE Thinkrail，基于 pi 编码智能体构建，支持隔离的 git-worktree 工作区、Monaco 编辑器标签、活体规格文档（living specs）、多并发聊天会话以及 MCP 服务器集成。该产品提供桌面客户端与命令行工具两种安装形式，采用 Apache License 2.0 开源协议。

    发布时间：
  7. Hacker News-首页42

    Show HN: ReVault – 全新安全的归档格式

    ReVault 是一款进入 beta 阶段的全新安全归档格式 lockbox，默认支持加密、签名与压缩，核心采用 Rust 编写。该格式支持混合后量子或口令加密及 Zstd 压缩，兼容 Linux、macOS 和 Windows 的 x64、arm64 与 Wasm 架构。项目已发布多语言绑定并提供 CLI 工具，作者正寻求关于 API 与语言绑定的反馈。

    发布时间：
10月25日周日
  1. Hacker News-首页25

    Challenge Is Gone

    作者在四十岁时意识到，随着人工智能的普及与 agents 的成熟，他曾经追求的各种工程挑战已不复存在。现在他不再需要证明自己能否实现某个项目，而是能够专注于思考究竟该去做什么。

    发布时间：
  2. Hacker News-首页73

    Farol：一个用于评估 Pull Request 合并风险的开源工具与 GitHub Action

    Farol 是一个免费开源的 CLI 工具和 GitHub Action，在 AI 代码评审之后运行，通过静态分析评估 Pull Request 的合并风险并定位风险文件。它基于真实的编译器类型检查和语法分析生成 0-100 的风险评分、审阅结论及测试清单，支持 TypeScript、Go 和 Python 等多种技术栈。

    发布时间：
  3. MarkTechPost77

    微软开源 Agensh：无中心编排器的多智能体编码框架，可扩展至 1,024 个 Agent

    微软研究院开源了去中心化的多智能体编码框架 Agensh，移除了传统架构中的中心编排器，通过 Gitea、Mattermost 和共享上下文面板实现工作协同。该框架支持从 1 个扩展至 1,024 个 Agent 运行，在 ProgramBench 评测中随智能体数量增加显著提升了通过率。

    发布时间：

    推荐理由：该开源框架移除了多智能体系统中的中心编排器，通过去中心化协作和共享状态支持超大规模扩展，为复杂编程任务提供了新途径。

  4. MarkTechPost62

    如何在 llama.cpp 中运行 Underdog Saluki 27B：2-bit Qwen3.8-27B 工具调用实测指南

    本文介绍了如何在 llama.cpp 中运行 Underdog Saluki 27B 模型，并将其与 ISTA 的 IQ2_XS 版本进行了详细的字节级 provenance 分析、服务器内存与速度测试，以及在 120 个 BFCL v4 任务上的工具调用性能对比。测试结果显示，Saluki 在严格评分下通过的任务数超过其父模型，且两者的性能差异经 McNemar 检验具有统计学意义。

    发布时间：
  6. Hacker News-首页31

    我们应该对构建的软件更有雄心

    作者探讨了在软件开发中如何借助先进能力实现更大雄心，并以 pgrust 等项目及个人低耗时构建正则引擎、ripgrep 分支等经历为例，说明当前开发效率显著提升。尽管许多同类AI生成项目质量低下且饱受质疑，但只要进行充分测试和基准评估，就能打造出具备实用价值的优质软件。

    发布时间：
  7. Hacker News-首页63

    Goose 编程语言发布，主打无堆分配与无垃圾回收的系统级性能

    开发者 Wouter van Oortmerssen 推出了 Goose 编程语言，这是一种内存安全的系统级语言，没有堆分配器、垃圾回收器或生命周期注解。该语言通过编译器管理的静态数据栈和紧凑的数据布局，在多项基准测试中展现出超越 C++ 和 Rust 的性能与更低的内存占用。

    发布时间：
10月24日周六
  1. Simon Willison56

    Simon Willison 推出 battledrones v14 四人地图 Compass Rose

    Simon Willison 为其项目 battledrones 发布了 v14 版本，新增支持四名玩家在线对战的 Compass Rose 地图。该版本基于 Claude Opus 4.5 的提示词开发，修改了 WebSocket 多人网络代码以支持四人通过分享链接或二维码加入，并引入了紫色和绿色机器人新团队及更新的模型浏览器颜色预览。

    发布时间：
  5. The Decoder62

    研究发现复杂的编码智能体框架成本更高但表现并未显著提升

    一项新研究对 Claude Code、OpenCode 和 mini-SWE-agent 等三种编码智能体框架进行了测试，发现框架间的性能差异大多在统计噪声范围内，但由于系统提示词和工具描述的差异，不同框架的 token 成本可相差两到三倍。研究还指出，纯粹的重复运行就能带来多达六个点的波动，因此建议在基准测试对比中附上重复运行结果。

    发布时间：
  11. meng shao86

    月之暗面发布 Kimi K3.1 Pro 3T 级开源权重模型，强化了编程、3D 与金融 Agent 能力，完整权重计划在 2026 年 11 月 4 日前开源。该模型在 Terminal-Bench 4.0 编程榜上达到 65.7%，并同步推出交互速度提升 2 至 3 倍的 Highspeed 版本。

    发布时间：

    推荐理由：原文公布了新开源模型的架构细节与多项基准跑分，读者可以据此评估其在长程编程和专业领域的实际性能表现。

  13. IT之家·人工智能43

    谷歌 CEO 皮查伊：AI 递归自我改进仍处早期，Gemini 4 Argon 将助解复杂编程难题

    谷歌 CEO 桑达尔 · 皮查伊表示，AI 递归自我改进仍处于早期阶段，距离完全自主改进还有很长的路要走。皮查伊透露，Gemini 4 Argon 将帮助人们处理更复杂的编程难题，且谷歌软件因故障回滚旧版本的次数已减少三分之一。此前谷歌联合创始人谢尔盖 · 布林曾谈到，Flash 系列模型和 Gemini 4 已展现出 AI 参与自身研发的能力。

    发布时间：
  15. dex46

    我们与 @vaibcode 和 @zachlloydtweets 合作的 software factories 大师课最终版现已上线！我们聊到了： - software factory 的构建模块 - 一个优秀的 software factory 从度量开始，然后针对这些指标进行自我改进 - 将成功的 agent 运行转化为评估，用于测试未来的模型、harness 等 - DORA，为什么计算代码行数是一个不好的指标，以及为什么计算 PR 可能已经足够好 享用吧！

    发布时间：
  18. Hacker News-首页65

    Corgi：一款支持智能体与终端的复用工具

    开发者推出了 Corgi，这是一款面向人类和智能体的终端复用工具，支持后台运行智能体与进程、工作区组织、活动追踪及资源使用监控等功能。工具支持通过剪贴板直接粘贴图片，并兼容现有的各类账号及终端操作。

    发布时间：
  19. Hacker News-首页63

    Rune 1.3 发布：新增 TypeScript、Helix 编辑器、Kitty 图形协议与 OSC-7501 支持

    Rune 1.3 是该项目开源后的首个版本，引入了支持 Kitty 图形协议的新图形管线、内置浏览器包及 Agent 的 web_browser 工具。新版本提供 TypeScript Tier 1 支持、Helix 编辑器预设、headless 模式、可配置的 Agent 状态栏，并恢复了工作区状态。同时，修复了多项 Linux 平台和编辑器的可用性问题。

    发布时间：
  23. Hacker News-首页83

    月之暗面发布 K3.1 Pro 及 K3.1 Pro Highspeed 模型

    月之暗面推出 K3.1 系列首款开源权重模型 K3.1 Pro 及其追求更低延迟的 K3.1 Pro Highspeed，支持 100 万 token 上下文窗口。该模型在编码、3D 建模、金融研究及多步代理任务上表现显著提升，并通过在训练阶段定向移除网络安全相关数据来降低滥用风险；完整模型权重将于 11 月 4 日前开源。

    发布时间：

    同一件事，精选收录的是《月之暗面发布 Kimi K3.1 Pro 模型》

  24. Kimi.ai83

    月之暗面发布 3T 级开放权重多模态模型 Kimi K3.1 Pro，具备 1M-token 上下文窗口、2.8T 总参数及 104B 激活参数。该模型在全项目编码、Blender 与 CAD 参数化 3D 建模及金融任务中表现出色，幻觉率降低 65%，并在多个基准测试中匹配最强闭源模型。

    发布时间：

    同一件事，精选收录的是《月之暗面发布 Kimi K3.1 Pro 模型》