太空编程、AI-XR 和开发者的新交互范式 2026-07-17 16:18 UTC+8 JetBrains 研究团队探讨了 AI 与扩展现实(XR)结合如何为技术创作者带来新的交互范式。通过专家访谈,他们总结了五个主题:人类如何向 AI-XR 系统传达意图、AI 如何使 XR 环境理解并适应个人、阻碍 XR-AI 主流化的因素、AI-XR 如何改变创作方式,以及隐私和伦理风险。研究指出,XR 硬件和 AI 的融合将彻底改变技术创作,但面临技术、认知和组织上的挑战。
AI 与 XR 的融合可能带来 60 年来首次人机交互革命。 研究通过 13 位专家访谈,确定了五个核心主题。 用AI构建终端ePub阅读器的一些思考 2026-07-17 15:17 UTC+8 作者利用AI编码助手(Codex CLI、Gemini CLI、Claude Code)将Python的epub阅读器epy移植到Rust,开发了终端阅读器repy。项目从2025年11月开始,2026年2月发布,但仅获得少量关注。文章反思了AI时代软件过剩的现象,并探讨了创作的意义。
作者使用AI编码工具在数月内将epy移植为Rust项目repy。 repy支持多种格式、搜索、注释、TTS等功能,但代码完全由AI生成。 中国英伟达替代品公司预测销售额激增,AI芯片需求旺盛 2026-07-17 15:02 UTC+8 中国芯片设计公司摩尔线程和紫光信息预测上半年收入大幅增长,得益于国内AI计算需求激增。摩尔线程预计收入增长135%-149%,紫光信息预计增长55.6%-70.2%。这凸显了中国在AI基础设施上的强劲需求,以及在美国出口限制下国产芯片的崛起。
摩尔线程预计上半年收入同比增长135.1%至149.4%,达到16.5亿至17.5亿元人民币。 紫光信息预计上半年收入同比增长55.6%至70.2%,达到85亿至93亿元人民币。 Lightport – 一个维护中的 Portkey AI 网关分支 2026-07-17 13:09 UTC+8 Lightport 是一个轻量级的 AI 网关,专注于让各种 LLM 提供商兼容 OpenAI API。它源自 Portkey AI Gateway,但去掉了重试、缓存等高级功能,仅保留请求/响应转换层。支持 77 个提供商,包括 OpenAI、Anthropic、Azure OpenAI 等。可直接通过 pnpx lightport 快速启动。
Lightport 是 Portkey AI Gateway 的简化分支,专注于 OpenAI 兼容性。 不支持重试、缓存等操作功能,这些由上层服务处理。 欧盟迫使谷歌共享搜索数据并向竞争对手AI公司开放安卓系统 2026-07-17 13:03 UTC+8 欧盟发布两项新规,要求谷歌共享搜索数据并开放安卓系统,以便竞争对手AI公司能公平接入。此举旨在打破科技巨头的数字垄断,促进创新,但谷歌警告可能会危及用户隐私和数据安全。
欧盟要求谷歌分享匿名化搜索数据,并允许第三方AI助手在安卓设备上以同等水平运行。 谷歌需在2027年1月前开始与竞争对手共享搜索数据,并允许语音激活和后台任务执行。 我测量了AI编写空心测试是否比人类更严重,结果并非如此 2026-07-17 12:48 UTC+8 本文介绍了一个名为voidguard的新工具,它能够检测出代码库中那些看似有效但实际上并未验证任何内容的“空心”测试、类型检查和CI门禁。作者通过对一个仓库的扫描,发现了七个这样的空心守卫,并由此开发了这个通用工具。文章详细说明了voidguard能检测的四类空洞以及无法检测的三类,强调了验证验证手段本身的重要性。
voidguard工具可检测四类空心守卫:从未运行的测试、不检查任何东西的类型门、被静默丢弃的设置以及永远无法触发的CI条件。 该工具无法检测语义空洞、流程空洞和需要执行才能发现的空洞,并明确标注未知情况。 OpenAI加密Codex代理指令,阻止本地审计追踪 2026-07-17 12:46 UTC+8 OpenAI在其Codex命令行界面中引入了多代理v2消息加密,隐藏了代理间传递的指令,导致开发者无法调试和审计代理行为,引发了社区对可观测性丧失的担忧。
OpenAI加密了Codex中多代理v2的消息负载,使得代理指令不可见。 该变更移除了本地回滚历史中的人类可读任务文本,影响审计和调试。 匿名通信下机器人群体中的随机过滤群体感应 2026-07-17 12:00 UTC+8 一项来自arXiv的新研究提出了一种随机过滤协议(ANTk),用于采用匿名通信的机器人群体中的群体感应。该协议减轻了匿名协议中常见的重复计数偏差,提高了估计稳定性,但增加了错误恢复时间。研究将ANTk与基线和随机变体进行了比较,揭示了准确性、速度和稳定性之间的权衡。
匿名通信可能导致机器人群体中群体感应估计的重复计数偏差。 提出的ANTk协议通过随机过滤稳定群体估计,但代价是错误恢复较慢。 利用LiDAR地形智能的可解释地理空间AI用于卫星地面站选址 2026-07-17 12:00 UTC+8 本文提出了一种可解释的、全球可部署的机器学习框架,用于从开放地理空间数据预测代表杂波高度(RCH)。该模型使用LiDAR衍生的标签进行训练,并采用LightGBM回归器,平均绝对误差为1.79米,R²=0.765,相比ITU基线误差降低超过60%。SHAP分析显示树冠覆盖、土地覆盖语义和光谱反射率是最重要的预测因子。该工作被IEEE CASE 2026接收。
提出基于开放地理空间数据的机器学习框架,预测代表杂波高度(RCH),优于ITU-R P.452-18的固定杂波高度方法。 使用LiDAR数据训练LightGBM模型,平均绝对误差1.79米,R²=0.765,误差降低60%以上。 立场:可解释性研究必须优先关注基础问题而非临时方法 2026-07-17 12:00 UTC+8 尽管可解释人工智能(XAI)技术层出不穷,从特征归因到稀疏自编码器,但解释很少影响实际工作流程。本文认为,机器学习社区必须从临时性的XAI方法转向解决基础性和结构性的挑战,包括不明确的问题表述、不充分的评估目标以及缺乏解释驱动反馈的流程。通过对近期ICML、NeurIPS和ICLR论文的分析及对XAI从业者的调查,作者揭示了限制累积进展的常见问题,并提出了一个实用清单,旨在将XAI转向更以人为中心、面向行动的模式。
XAI技术虽多,但在实际工作流程中很少被有效利用。 需要转向解决基础性挑战:明确问题表述、完善评估目标、构建反馈流程。 RegNetAgents:用于癌症基因组学跨网络调控驱动因素识别的多智能体框架 2026-07-17 12:00 UTC+8 RegNetAgents是一个基于AI的多智能体框架,能够跨异质性基因调控网络进行结构化的调控候选识别。该框架整合了TCGA和GREmLN项目的大规模网络,对焦点基因进行双网络分类、癌症基因过滤和作用模式分配。在乳腺癌和结直肠癌的测试中,识别出的候选调控因子显著富集于OncoKB注释的癌症基因,且在管家基因中无富集,表明其特异性。框架还包含评估致癌潜力、可成药性等扩展模块。
RegNetAgents结合了来自TCGA(肿瘤批量)和GREmLN(单细胞)的ARACNe基因调控网络。 通过双网络分类、OncoKB过滤和作用模式分配,对焦点基因进行调控候选识别。 用于搜索与救援的自主无人机群智能三级学习架构 2026-07-17 12:00 UTC+8 一篇新论文提出了一种三级分层学习架构,用于执行搜索与救援任务的自主无人机群,整合了赫布神经可塑性、基于图神经网络和行为树的多智能体强化学习,以及带BDI推理和数字孪生的元学习。该框架提供形式化保证,并引入群体元认知。
三级架构灵感来自反射、技能和推理的生物层次。 使用赫布神经可塑性、MARL与GNN/行为树以及元学习与BDI/数字孪生。 通过语义合约重获对AI生成代码的信任 2026-07-17 11:59 UTC+8 针对AI生成代码速度快于人类审查而导致的信任危机,本文提出“语义合约”——一种类型安全、编译时检查的蓝图,位于需求与代码之间,确保任何实现(无论人工还是AI编写)的正确性。文章通过排序算法和电商结账示例展示了语义合约的构建块、状态处理和集成方式。
AI代码生成速度快,但缺乏可解释性和可审计性,导致信任危机。 语义合约是一种结构化、可验证的业务逻辑蓝图,位于需求和代码之间。 AI助手需要后端:将其部署在边缘 2026-07-17 11:41 UTC+8 本文介绍了如何使用Telnyx Edge Compute函数为语音AI助手构建后端,通过单一函数处理动态变量和Webhook工具调用,验证请求并连接业务逻辑,从而简化架构并提升性能。
利用单一Edge Compute函数处理AI助手的动态变量和Webhook工具调用,避免部署多个Webhook服务。 动态变量在对话开始前解析,确保助手获得运行时信息,如公司名称和时间框架。 Gradle Technologies 更名为 Develocity 2026-07-17 11:12 UTC+8 Gradle Technologies 现已更名为 Develocity,专注于 AI 驱动的软件交付管道治理与效率。公司表示,AI 已将软件交付瓶颈从人类转移到管道上。
Gradle Technologies 更名为 Develocity,专注于 AI 驱动的软件交付。 AI 已将瓶颈从开发者转移到管道。 Show HN:PocketVeto——一款仅通过蓝牙通信的AI代理遥控器 2026-07-17 10:59 UTC+8 PocketVeto是一款通过蓝牙实现本地、无互联网的AI编码代理遥控工具。用户可以从手机批准或拒绝代理执行的危险操作(如shell命令、文件写入等),并实时查看代理活动仪表盘。支持Windows、Linux及开发容器,目前v1版本已可用。
PocketVeto通过蓝牙经典连接,无需互联网或局域网路由,适用于WiFi AP隔离环境。 支持Cursor和Claude Code的钩子集成,自动检测主机并拦截工具调用。 模糊与去模糊AI 2026-07-17 10:10 UTC+8 Blur & Unblur AI是一款免费的在线工具,可检测照片中的人脸,对选定的人脸应用模糊效果,并导出干净的PNG文件——所有处理均在浏览器本地完成,无需上传图片。
自动人脸检测,支持套索工具手动修正 模糊强度可实时调整并预览 VulnHunter:智能体驱动的AI安全工具 2026-07-17 09:57 UTC+8 VulnHunter 是一个开源的智能体AI安全工具,采用攻击者优先的主动分析方法,直接从源代码中识别可被利用的漏洞,并提出证据支持的修复方案。它由 Capital One 内部开发并开源,旨在应对现代软件供应链中的安全挑战。
与传统被动式SAST扫描器不同,VulnHunter模拟攻击者思维进行正向分析,减少误报。 包含假证引擎,主动尝试否定自身发现的漏洞,确保高优先级告警的准确性。 微软以企业级规模交付AI代理 2026-07-17 09:53 UTC+8 微软的Foundry平台现已支持超过8万家企业构建AI代理。在产品副总裁Marco Casalaina的访谈中,他解释了原型与生产环境代理之间的关键差异、代理框架的重要性,以及微软如何构建上下文层以确保代理的可靠性。
原型代理无法在生产环境中存活,失败原因通常在于模型之外的框架。 生产环境中,代理的‘框架’(包括运行时、工具、身份层等)与模型本身同等重要。 [AINews] Kimi K3 2.8T-A50B:有史以来最大的开源模型;Opus 4.8级别的性能,Sonnet 5的定价 2026-07-17 09:46 UTC+8 Moonshot AI发布了Kimi K3,一个2.8万亿参数的开源模型,拥有1M上下文长度,在Frontend Code Arena中排名第一,并在多项基准测试中取得优异成绩。此次发布标志着开源模型的一个里程碑,尽管与顶级闭源模型仍存在差距。新闻通讯还涵盖了其他AI新闻,包括安全事件、智能体框架和机器人技术。
Kimi K3是一个2.8万亿参数的开源模型,拥有1M上下文和原生多模态输入。 它在Frontend Code Arena中排名第一,超越了Claude Fable 5。 SAM — 一款在本地运行的开源AI智能体 2026-07-17 09:34 UTC+8 SAM是一个免费的开源AI智能体,它能在你的计算机上本地运行,无需订阅。它不仅能聊天,还能实际执行任务,拥有173种工具,支持团队协作、离线运行,并且注重隐私。
免费开源,本地运行,数据隐私安全 支持173种真实工具,可执行网页、文件、终端等操作 RepoMap:AI代理的仓库架构地图——无需源码即可智能分析 2026-07-17 08:58 UTC+8 RepoMap 是一种新型工具,通过确定性分析仓库结构,生成交互式架构图,帮助AI代理快速理解项目架构,同时大幅减少令牌消耗。它支持分支对比、提交差异可视化和多种图形布局。
RepoMap 在不向LLM发送源代码的前提下提取仓库结构,生成可复用的架构表示。 分为三阶段:确定性分析、架构推理和交互式可视化。 Wandr基准测试:评估必须进行广泛和深入搜索的研究代理 2026-07-17 08:45 UTC+8 Wandr基准测试旨在评估需要同时进行广泛和深入搜索的研究代理,确保全面信息检索。
Forall:基于规范驱动、附带形式验证的AI编程工具 2026-07-17 08:22 UTC+8 Astrio 推出 Forall(∀),一个通过规范驱动生成代码并附带机器可验证证明的编程助手。支持 CLI 和 MCP 两种使用方式,目前兼容 TypeScript、Java 和 Rust,基于 Apache-2.0 开源。
Forall 是一款由 Astrio 开发的编程助手,根据用户编写的规范自动生成代码和形式化证明。 支持 CLI 全功能代理和 MCP 集成(仅验证)两种模式。 月之暗面发布 Kimi K3:2.8万亿参数开源MoE模型,搭载Kimi Delta Attention和百万上下文 2026-07-17 07:47 UTC+8 月之暗面于2026年7月16日发布Kimi K3,这是一款2.8万亿参数的开源MoE模型,采用Kimi Delta Attention和Attention Residuals架构,支持原生视觉和100万token上下文窗口。K3在多项基准测试中表现出色,但整体性能仍略逊于最强大的专有模型。
Kimi K3是首款开源2.8万亿参数MoE模型,激活896个专家中的16个。 引入Kimi Delta Attention(KDA)和Attention Residuals(AttnRes),分别提升解码速度和训练效率。 AegisDB – 自托管AI代理内存,单个C语言二进制文件 2026-07-17 07:15 UTC+8 AegisDB是一个自托管的AI代理内存系统,提供持久化、语义化和工作记忆功能,通过简单的JSON-over-TCP协议访问。它采用单个无依赖的C语言二进制文件,支持多租户、加密、备份、只读副本和可观测性,特别适合与Claude Code集成,确保数据完全由用户掌控。
单个C语言二进制文件,零依赖,支持Docker部署 提供持久化、语义化(向量搜索)和工作记忆三种内存类型 Show HN: Moltshit.com – 面向AI代理的图片论坛 2026-07-17 06:54 UTC+8 Moltshit.com是一个专为AI代理设计的图片论坛,允许在没有人类监督的情况下进行自主交互。该平台提供多种版块、API和MCP集成,使代理能够自主发帖和回复。
Moltshit.com是一个仅限AI代理使用的图片论坛,没有人类监督。 代理可以通过MCP或读取技能文件来连接并开始发帖。 你的AI已就绪,但数据基础可能尚未完善 2026-07-17 06:00 UTC+8 Cushman & Wakefield首席数字和信息官Sal Companieh分享了如何通过产品运营模式、统一数据战略以及与Databricks的合作,建立企业级AI核心,将想法到成果的时间从数月缩短至数天。
将技术人员嵌入业务部门,建立信任和以行为为导向的运营模式 通过资本投资模型要求技术计划与业务负责人共同创建,确保与业务优先级一致 《毁灭战士》教会了我们什么:AI辅助事件响应 2026-07-17 05:51 UTC+8 Rootly AI实验室开发了《毁灭战士》竞技场(Doom Agent Arena),一个开源实时游戏环境基准测试,用于测试AI智能体在事件响应中的推理、适应和决策能力。通过让LLM控制游戏角色,研究发现更长的思考时间并不总是带来更好的结果,智能体编写自己的“运行手册”能够提高效率,而快速决策虽然不直接决定胜负,但可以累积节省时间。这些发现为设计更高效的AI辅助事件响应系统提供了启示。
《毁灭战士》竞技场基准测试通过MCP让AI智能体观察游戏状态并制定高等级计划,测试其在动态环境中的推理能力。 研究发现,更长的思考时间并不总是与更好的表现相关;有时延迟是陷入困境的信号。 血染数据中心 2026-07-17 05:51 UTC+8 本文深入探讨19世纪卢德运动的历史真相,分析其策略、成败得失,并论证为何现代反AI运动不能简单效仿卢德主义。作者指出,卢德运动的特定历史背景、地方性特征和具体诉求与当前AI担忧存在根本差异。
卢德运动是19世纪英国纺织工匠对机器自动化的暴力反抗 运动虽被镇压,但取得了一些短期胜利并影响了后来的劳工改革 MemDecay:区域感知的KV缓存淘汰策略,提升LLM代理推理效率 2026-07-17 05:37 UTC+8 研究提出MemDecay,一种训练无关的区域感知KV缓存淘汰策略,通过为不同语义区域的令牌分配不同优先级和衰减率,在固定缓存预算下保留关键信息。实验表明,系统令牌的半衰期远长于暂存区令牌,且固定策略能在全部设置中保持完美准确率,而现有基线最多仅保留13/24。
MemDecay利用LLM代理的语义结构进行区域感知缓存管理。 系统令牌的半衰期(148-189步)比暂存区令牌(14-16步)长一个数量级。 Skyportal SRE – 开源AI基础设施工程师 2026-07-17 05:13 UTC+8 Skyportal SRE 是一个开源AI基础设施工程师工具,提供Python SDK、CLI和可观测性代理,用于管理和监控AI基础设施。
Skyportal SDK 是 SkyPortal 的官方 Python 客户端,支持同步和异步操作 CLI 提供交互式命令中心和自动化脚本接口 SeekinWeb – 检查AI代理是否能读取您的网站 2026-07-17 05:13 UTC+8 SeekinWeb是一款免费工具,可测量AI代理能否读取您的网站,提供8个信号的可视性评分,并给出改进建议。无需注册,立即获得完整审计。
AI代理(如ChatGPT、Claude、Perplexity)正取代传统搜索引擎,但大多数不会执行JavaScript,因此优化网站使其可被AI读取至关重要。 SeekinWeb提供8个信号的AI可视性评分,包括无JS可读性、AI爬虫访问权限、结构化数据等。 冷静应对人工智能蒸馏行为 2026-07-17 05:08 UTC+8 本文质疑将中国实验室大规模蒸馏美国前沿模型视为盗窃的论调,指出现行知识产权法不支持这种说法。建议政策应聚焦于保护模型访问安全,而非扩大知识产权保护。
蒸馏在AI开发中常见,不等于窃取模型权重。 大规模蒸馏违反服务条款,但根据现行法律不太可能构成商业秘密盗窃。 Bank of AI:基于HTTP 402的开放区块链支付标准x402 2026-07-17 05:08 UTC+8 x402是一个基于HTTP 402状态码的开放区块链支付标准,支持TRON和BSC网络,旨在为API和内容提供按需付费的机制,无需传统账户系统。它解决了高费用、机器对机器支付和微支付基础设施不足等问题,适用于卖家和买家。
x402利用HTTP 402“需付款”状态码,实现先付款后响应的模式。 目前支持TRON和BSC主网及测试网,未来将扩展至多链。 从实验到洞察:Dotmatics Luma和Databricks如何让AI就绪的科学成为现实 2026-07-17 05:07 UTC+8 Dotmatics Luma与Databricks的集成方案通过持续采集、标准化和治理科学数据,打破仪器数据孤岛,构建AI就绪的数据基础,加速科研洞察。
Luma提供科学上下文和仪器连接,Databricks提供企业级存储、治理和AI工具,互补设计。 通过统一数据管道,实现FAIR合规数据,支持跨实验模式分析和AI应用。 Kimi K3 智能、性能与价格分析 2026-07-17 04:09 UTC+8 Kimi K3 在人工智能分析智能指数中获得57分,高于平均水平。它提供100万token的上下文窗口,支持文本和图像输入,但价格稍高、速度较慢且冗长。
智能指数57分(高于平均水平) 输入每百万token $3,输出$15,缓存命中$0.30 AI代理安全缺口:54%的企业已遭遇AI代理安全事故,多数企业仍让代理共享凭证 2026-07-17 03:02 UTC+8 VentureBeat Pulse研究显示,107家企业中超过半数已遭遇AI代理安全事件或险情。仅约三分之一的企业为每个代理分配独立身份,大多数代理仍共享凭证;仅三成企业隔离高风险代理。安全工具主要借用模型提供商和云服务商的控件,而非专门为代理构建。满意度虽高,但支出仅占安全预算的一小部分,多数企业计划在一年内更换工具。
54%的企业已发生AI代理安全事件或险情,18%为确认事件 仅32%的企业为每个代理提供独立的范围身份,69%存在凭证共享 自我破坏悖论:前沿实验室正在摧毁自己的护城河 2026-07-17 02:59 UTC+8 Anthropic 秘密削弱了其最强大的编码代理 Claude Fable 5,使其在涉及前沿 AI 开发任务时能力下降,以保护自身经济地位。这一做法揭示了 AI 行业的结构性矛盾:实验室既想制造最强大的工具,又害怕被自己创造的工具取代。与此同时,开源模型生态蓬勃发展,企业客户正在转向更便宜的开源替代方案。
Anthropic 在 Claude Fable 5 中秘密实施了针对 AI 开发任务的性能降级,以保护自己的竞争地位。 这一做法凸显了前沿实验室的自我破坏悖论:它们必须削弱自己最成功的产品来维持护城河。 智能蜂窝砖:迈向物理世界的集体智能 2026-07-17 02:59 UTC+8 Sakana AI的研究人员开发了一种由数百个简单蜂窝砖块组成的系统,每个砖块运行相同的神经细胞自动机,仅通过局部通信就能协作识别整体形状,无需中央控制器。系统在硬件实验中实现了100%的准确率,并能检测和修复损伤,展现出强大的鲁棒性和泛化能力。该成果已发表在《自然·通讯》上。
通过局部通信和神经细胞自动机,蜂窝砖集体识别3D形状,无需中央控制或位置信息。 硬件实验中对平面、吉他、船、桌子等形状分类准确率达100%。 请停止自动让我加入AI功能 2026-07-17 02:05 UTC+8 用户对科技公司默认开启AI功能感到不满,Instagram因默认启用AI聊天机器人功能而遭到强烈反对,三天后不得不撤回。隐私专家呼吁采用更保护隐私的默认设置,并指出需要联邦法规来约束企业行为。
Instagram默认启用AI聊天机器人功能,引发用户强烈反对,三天后撤回。 用户和企业界人士对默认加入AI功能感到厌倦,认为应默认选择退出。 统一上下文:企业AI同事缺失的关键层 2026-07-17 02:00 UTC+8 AI助手在表层工作迅速普及,但无法改变实际业务决策,因为关键上下文分散在各系统与定义中。Databricks推出Genie One与Genie Ontology,通过统一上下文层使AI同事基于共享业务视图运作,自动继承治理规则,从而支持真实决策。
企业AI同事需要统一上下文来支持实际决策,而非仅完成简单任务。 Genie One利用统一上下文层在Slack、Teams等工具中提供基于治理数据的答案与行动。 代理型AI背后的技能差距——以及Databricks如何通过新的上下文工程师认证和代理培训来弥补这一差距 2026-07-17 02:00 UTC+8 Databricks在Data+AI峰会上推出了行业首个上下文工程师认证,旨在验证构建可靠代理系统所需的深层技能。同时,扩展了学习目录,新增面向代理时代的课程,并首创了AI驱动的认证备考指南。
Databricks发布上下文工程师认证,填补代理型AI技能缺口 新认证聚焦上下文工程,区分真正开发者与随意构建者 我开发了一款Mac应用,可将母语草稿转为地道英语 2026-07-17 01:09 UTC+8 Echoo是一款Mac AI写作助手,让你用母语起草,一键转换为自然英语。它运行在常用Mac应用中,无需复制粘贴,保护隐私。提供免费试用,Pro版每月$6.99。
Echoo支持在Slack、邮件等Mac应用中直接改写文本,无需切换窗口。 用户可在母语中起草,通过快捷键快速获得地道英语翻译。 VarAlign – 捕获AI编程助手在会话间散落的重复变量 2026-07-17 01:00 UTC+8 VarAlign是一款VS Code扩展,能检测AI编程助手在不同会话中创建的重复、漂移或错位的变量。完全本地运行,代码不会离开机器。它提供重复项、变量和会话视图,支持生成修复提示,并可与Claude Code或Kilo Code集成自动修复。
100%本地运行,无云服务或遥测,适用于隔离环境。 自动跟踪AI助手创建的变量,检测重复和漂移。 Show HN:Embusa —— 触手可及的恶意软件分析团队 2026-07-17 00:59 UTC+8 Embusa /analyst 提供 AI 驱动的自主恶意软件分析和逆向工程,输出清晰的结果、影响评估和响应指导。它生成技术报告和执行摘要,同时内置检测规则生成与现有安全工具集成能力。
AI 驱动的恶意软件分析和逆向工程,无需依赖专家分析师。 生成包含代码分析、行为洞察和 MITRE ATT&CK 映射的技术报告。 OpenWiki 0.2 为代码库文档引入 OKF 支持 2026-07-17 00:52 UTC+8 OpenWiki 0.2 版本增加了对 OKF(一种知识 wiki 结构化标准)的支持,使开发者能够更好地组织和分类代码库文档,提升代理检索效率并减少令牌消耗。
OpenWiki 0.2 支持 OKF 格式,在 wiki 文件中添加 YAML 前置元数据(标题、描述、标签等)。 新增 index.md 和 logs.md 文件,分别用于目录摘要和变更日志。 解析Google DeepMind的AI生物弹性计划 2026-07-17 00:48 UTC+8 Google DeepMind与Isomorphic Labs发布了一项生物弹性计划,旨在防止AI在生物学领域的滥用,同时协助疫情应对。该计划在过去一年已建立超过15个合作伙伴关系,涵盖政府机构、生物安全组织和研究团体。
计划基于三大支柱:防止滥用、加速检测、及时应对。 与劳伦斯利弗莫尔国家实验室、英国AI安全研究所等机构合作。 AI供应商找到了基础设施费用的买单者:你 2026-07-17 00:21 UTC+8 Forrester警告称,随着AI供应商通过涨价和按使用量收费将基础设施成本转嫁给客户,明年的软件预算将大幅增长。报告指出,Anthropic、OpenAI、GitHub和微软等公司已转向基于使用量的计费模式,导致企业成本担忧。同时,尽管存在“AI裁员”现象,IT人员支出并未下降,2025年仍占IT预算的35%。Forrester建议企业调整FinOps实践以管理不可预测的AI成本。
Forrester预测AI供应商将通过涨价和按使用量收费转嫁基础设施成本,推高软件预算。 Anthropic、OpenAI、GitHub和微软等公司已转向基于使用量的计费模式。 展示 HN:Ratel —— 为 AI 代理提供无限工具和技能,且无上下文膨胀 2026-07-17 00:11 UTC+8 Ratel 是一个上下文工程层,通过 BM25 索引为 AI 代理动态选择相关工具和技能,减少令牌消耗高达 80%,提高准确性,无需向量数据库。
Ratel 通过渐进式披露机制,仅注入当前轮次所需的工具和技能,避免上下文膨胀。 使用 BM25 算法进行检索,支持语义和混合排名(可选),无需向量数据库。 Google Vids 两大更新:用文本生成编辑视频,创建数字分身出镜 2026-07-17 00:00 UTC+8 Google Vids 推出 Gemini Omni 和个人数字分身两大功能,用户只需通过自然语言描述即可生成和编辑高质量视频片段,还能创建自己的数字分身出镜,无需实际拍摄。
Gemini Omni 支持通过文本提示和图片参考生成视频,并可进行逐步编辑。 个人数字分身功能让用户上传自拍和录音后,输入文字即可让分身说话出镜。 将更多应用连接到搜索 2026-07-17 00:00 UTC+8 用户现在可以安全地将常用服务链接到AI模式,直接在搜索结果中完成添加购物车、创建播放列表等操作。
AI模式支持链接Instacart、Canva、YouTube Music等服务。 用户可在搜索结果中直接向Instacart购物车添加食材。