Proc-CLI:面向智能体与脚本的语义化进程与端口管理工具
Proc-CLI 是一款面向 macOS、Linux 和 Windows 的语义化命令行工具,支持通过端口、PID、名称或路径定位并管理进程。该工具提供了一套统一的直观命令,可替代复杂的 lsof 和 kill 管道组合,并原生支持 JSON 输出、干跑模式和退出码规范,方便开发者与 Claude Code、Cursor 等编码智能体调用。
Proc-CLI 是一款面向 macOS、Linux 和 Windows 的语义化命令行工具,支持通过端口、PID、名称或路径定位并管理进程。该工具提供了一套统一的直观命令,可替代复杂的 lsof 和 kill 管道组合,并原生支持 JSON 输出、干跑模式和退出码规范,方便开发者与 Claude Code、Cursor 等编码智能体调用。
微软发布了专用决策模型 Microsoft-Decision-1,该模型基于阿里开源的 Qwen3.5-9B 微调构建,不生成自由文本,而是在单次前向传播中对预定义选项输出校准概率。该模型首发登陆 Microsoft Foundry 并随后上线 OpenRouter,定价为每百万输入 token 0.042 美元且输出免费,主要用于路由、分类、验证和工作流控制等场景。
根据英伟达 10 月与 6 月文档对比,英伟达下调了 Rubin GPU 系统的 HBM 与 NVLink 带宽,同时提升了网络带宽。其中 Vera Rubin 超级芯片的 HBM4 内存带宽由 44TB/s 降至 38.5TB/s,NVLink 带宽由 7.2TB/s 降至 6TB/s;降低带宽门槛有望让更多 HBM4 内存符合要求并提升产量。
网友通过定制固件成功破解索尼 A7C II 相机,直接解锁了 FL2 和 FL3 胶片模式,并支持导入外部 LUT 及富士、理光直出色调。目前该工具已推出 3.0 版本并提供图形界面,仅支持固件 2.01,使用此类非官方固件可能面临功能异常及影响官方保修等风险。
IBM CEO Arvind Krishna 在财报电话会议上表示,开源权重模型目前能以闭源前沿模型 10% 到 25% 的 token 成本提供约 90% 的性能,使本地企业应用极具吸引力。他指出,绝大多数日常任务并不需要最高昂的闭源模型,这正推动企业对本地 AI 基础设施的需求激增。
iFixit 对苹果首款折叠屏手机 iPhone Duo 进行了拆解,评出 5/10 的临时可修性分数。拆解发现该机采用了可电解剥离的电池胶、单层主板和平整的拆解结构,但内屏更换成本高昂且铰链仍会积尘,部分用户在设置阶段即遭遇屏幕损坏。
Mastra 发布 Knowledge 自托管服务,为企业 Agent 提供公司级和团队级知识上下文。该服务作为独立服务运行,能够连接 Slack 和 Monday 等系统并自动保持更新,支持按职能划分知识库并设置多级权限。
作者分享了将《F-Zero X》反编译版本移植到任天堂 3DS 的 v1.0.0 完整复盘,涵盖历时 24 天的首期 New 3DS 适配及后续 43 天的 Old 3DS 支持、原生渲染器与 64DD 扩展包开发。项目通过一人指挥、Claude 会话调度与大量子智能体协同,实现了双机型原生 60 帧立体 3D 赛车体验。
作者在 AGNTCon 上探讨了上下文工程的演进、长上下文带来的四种失效模式(如上下文中毒与分心)以及应对这些问题的六大工具。随着模型向长周期智能体发展,新出现了对抗权重和上下文惯性等挑战,未来的关键在于平衡确定性代码与概率模型的驱动。
JetBrains 发布全新的智能体 IDE Thinkrail,基于 pi 编码智能体构建,支持隔离的 git-worktree 工作区、Monaco 编辑器标签、活体规格文档(living specs)、多并发聊天会话以及 MCP 服务器集成。该产品提供桌面客户端与命令行工具两种安装形式,采用 Apache License 2.0 开源协议。
ReVault 是一款进入 beta 阶段的全新安全归档格式 lockbox,默认支持加密、签名与压缩,核心采用 Rust 编写。该格式支持混合后量子或口令加密及 Zstd 压缩,兼容 Linux、macOS 和 Windows 的 x64、arm64 与 Wasm 架构。项目已发布多语言绑定并提供 CLI 工具,作者正寻求关于 API 与语言绑定的反馈。
Farol 是一个免费开源的 CLI 工具和 GitHub Action,在 AI 代码评审之后运行,通过静态分析评估 Pull Request 的合并风险并定位风险文件。它基于真实的编译器类型检查和语法分析生成 0-100 的风险评分、审阅结论及测试清单,支持 TypeScript、Go 和 Python 等多种技术栈。
来自斯坦福大学和 UC Berkeley 的研究人员推出了 TokenGate,这是一个专为大语言模型长上下文 prefill 阶段设计可训练 token 门控注意力模块。
开源网络安全平台 ARGUS 在 GitHub 发布,整合了 AI 驱动的威胁检测、七个专用 AI 智能体、持续渗透测试及 AI 安全防护。该平台由 Thomas Unise 开发,采用 MIT 协议开源,支持在 AWS、Azure 和 Kubernetes 等环境中部署。
本文介绍了如何在 llama.cpp 中运行 Underdog Saluki 27B 模型,并将其与 ISTA 的 IQ2_XS 版本进行了详细的字节级 provenance 分析、服务器内存与速度测试,以及在 120 个 BFCL v4 任务上的工具调用性能对比。测试结果显示,Saluki 在严格评分下通过的任务数超过其父模型,且两者的性能差异经 McNemar 检验具有统计学意义。
Cerebras 介绍了如何在 wafer-scale 芯片上部署约 3 万亿参数的开源模型 Kimi K3,通过将模型层分布在多个 WSE-3T 晶圆上并采用流水线并行运行,实现高并发和高吞吐。文章详细说明了单层大小计算、晶圆数量分配、晶圆间通过 Ethernet RDMA 互连以及并发请求处理方式。
开发者 Xiangpeng Hao 推出了 bbtree,这是一个号称最快的有序映射(ordered map)数据结构。它在单线程下比 Rust 标准库的 BTreeMap 快 5 倍,在 96 线程下比 crossbeam-skiplist 快 12 倍,内存消耗降低 30%,具备零依赖、no_std 兼容以及开箱即用的特点。
我在我的 pstack 指南中写了关于这个的内容! https://x.com/poteto/article/2097732320606507506
Roku 已完成将所有开发者资源从 GitHub 迁移至 GitLab,涵盖 RSG 2.0 SDK、文档、示例及工具仓库。开发者需要更新已有的书签、Git 远程地址、子模块及检索管道中的仓库 URL。原 `github.com/rokudev/` 现已变更为 `gitlab.com/rokudev/`。
GPU-unlock 1.0.0 正式发布,通过 Linux 内核模块在 NVIDIA 驱动加载前解锁 GA102、GA103、GA104 和 GA106 卡的 FP/BF16 指令下发速率至专业卡水平。该工具结合了 CMP 解锁器的技术与 UEFI 方法的预驱动时序,避免了每次更新驱动时手动打补丁的需求,实测可使 3090 Ti 的 BF16 密集矩阵乘法性能显着提升。
Anthropic 开源了 sandbox-runtime(srt),这是一个基于操作系统原生隔离原语的轻量级沙箱工具,无需容器即可限制 AI 智能体、MCP 服务器及命令行程序的文凭系统与网络访问。该工具在 macOS 上使用 Seatbelt、Linux 上使用 bubblewrap,并提供 npm 安装包与 TypeScript 库供开发者在本地及 CI 环境中灵活配置域名白名单。
推荐理由:该工具在不使用容器的情况下实现了操作系统级的智能体隔离,为开发者运行本地 Agent 和 MCP 服务提供了轻量级安全方案。
本文介绍了使用 Letta 框架构建有状态工程副驾驶的实战教程,涵盖核心记忆块、多agent共享状态、 archival 向量检索、自定义工具及状态导出等完整实现步骤。
Netflix 引入 Observability Ontology 与自研 RDF 知识图谱 QuipuDB,把运维各系统孤立的数据建模为确定性三元组,将排障时间从约 4 小时缩短。
纯函数式编程语言 Roc 编写的 roc-deflate 压缩库在基准测试中表现出色,在 2021 M1 MacBook Pro 和 AMD Ryzen 9 3900X Ubuntu 机器上,其速度平均仅比经过精心调优的 C 语言 libdeflate 库慢不到 10%。
谁还需要 1password,如果直接用 vaults 就行的话 👀
亚马逊 CEO 安迪 · 贾西表示,AI 推理成本需降至目前的十分之一左右,才能实现其在企业软件中的广泛应用。他指出目前市场需求极为旺盛,亚马逊 2026 至 2028 年的算力供应额度已基本售罄或被预订。亚马逊自研的 Trainium 芯片性价比较同类处理器高出约 30% 至 40%,旨在帮助客户降低推理成本。
作者使用 Cindy 在 iPhone Duo 上复刻了复古电脑皮肤,实现了远程访问和操作真实电脑,并提供了相关开源代码。
Figma 宣布 code layers 功能进入开放测试,并介绍了来自 Superside、Dell、Cox Automotive 等六家团队的实验用法。该功能允许团队在画布上直接探索和构建基于代码的原型,付费计划用户在 2026 年 11 月 4 日前可免费创建和编辑。
Day 19/ 小幅更新。dots 的呼叫连接速度大幅提升,在 codex 中更改推理以及在对话中途工作不再使缓存失效,并且我们还更新了 codex cli。