主题

AGENT橘：Loop Engineering 中 user in the loop 最关键也最具挑战

AGENT橘在AI探索站分享观点，指出在Loop Engineering（循环工程）中，最重要也最困难的部分是确保user in the loop（用户参与循环）。他强调，除非产品并非为用户设计，否则用户参与是核心挑战。这一观点突显了在AI代理或系统开发中，将用户有效整合到反馈与迭代循环中的关键性。

阿里云发布Qoder企业版，推出云端知识库QMind与Credits资源池

阿里云正式发布Qoder企业版，为企业提供名为QMind的个人云端知识库，支持跨产品、跨设备、跨人员的知识共享功能。同时，该版本引入了资源池化的Credits付费模式，企业管理员可根据实际需求，动态地为团队成员分配使用额度，以提升资源管理的灵活性和效率。

英伟达前光互连高管Ashkan Seyedi加入艾迈斯欧司朗

艾迈斯欧司朗于7月2日宣布，任命英伟达前光互连技术高管Ashkan Seyedi为光互连业务线副总裁兼总经理。Seyedi此前在英伟达负责光互连技术研发，专注于AI集群和数据中心的高速光通信技术。他将负责推动公司面向下一代AI数据中心的光互连技术发展。

2Camera v1.4.7 重磅更新：新增人声增强与水印设置

iOS应用2Camera发布v1.4.7版本更新，主要新增麦克风人声增强开关以及水印颜色与透明度设置功能。在性能优化方面，单摄像头模式现支持1080P分辨率下60帧每秒的录制，并优化为仅保存单个媒体文件以节省空间。此外，更新统一了在新系统上的用户界面，并修复了特定设备录制时声音缺失以及立体声录制双声道的相关问题。

艾逗笔 cconline.sh 全面转向 Serverless 架构，实现存算分离

cconline.sh 已完全迁移至 serverless 架构，不再为每个用户分配独立沙箱，而是采用会话隔离并动态挂载沙箱进行 Agent 运算。对话记录存储于 D1，工作区文件存放于 R2，计算任务由 Worker 处理，所有服务均部署在 Cloudflare 上，利用边缘计算提升速度并降低成本。该平台在浏览器端运行 Claude Code，支持 BYOK 使用自有模型，将通用 Agent 的存算分离架构实践得较为彻底。平台无需本地编程工具，适合希望随时通过网页开发小产品的用户，强调零基础使用和零门槛上手。

三星获Meta超10万亿韩元AI芯片代工订单，2纳米工艺订单看涨

据报道，三星电子正成为全球科技巨头自研AI芯片（ASIC）的核心生产基地，其中长期积压订单有望逼近50万亿韩元。Meta正与三星晶圆代工合作，设计并生产价值超10万亿韩元的下一代ASIC，其自研AI加速器“MTIA”已锁定三星为合作伙伴，计划采用2纳米尖端工艺量产数十万组。同时，美国AI公司Anthropic也在评估使用三星的2纳米工艺开发芯片。

海光信息与数字电网共建电鸿数智创新联合实验室

近日，海光信息与南方电网数字电网科技（广东）有限公司共同成立了“电鸿数智创新联合实验室”。双方将围绕电力AI、行业操作系统适配及自主算力平台建设展开长期合作。实验室将依托海光CPU+DCU“双芯”架构，结合电鸿PES系统，重点攻关国产软硬件兼容适配、系统性能优化以及电力行业大模型落地等关键技术，并面向电网智能决策、实时仿真、自动化运维等典型场景持续开展联合创新。

三星4nm产能售罄，8nm满负荷，AI芯片需求重塑代工格局

据ChosunBiz报道，三星电子晶圆代工部门已调整供货策略，优先处理现有客户订单并选择性接受新客户。行业分析师指出，人工智能市场的爆炸式增长正改变晶圆代工需求结构，需求从智能手机应用处理器转向AI加速器芯片、ASIC芯片和高性能计算芯片。目前，三星的4nm工艺产能已基本售罄，甚至明年的产能也已预订完毕，部分8nm工艺产能也接近满负荷运转。

WorldClaw与百度智能云战略合作，文心5.0系列登陆WorldRouter

WorldClaw与百度智能云宣布达成战略合作，百度文心大模型5.0系列将正式登陆WorldRouter平台。此次合作旨在整合双方技术优势，推动大模型在更广泛场景的应用与部署。

iPhone 快捷指令实现锤子「大爆炸」文本分词功能

一篇教程介绍了如何通过 iPhone 的快捷指令功能，模拟实现锤子手机标志性的「大爆炸」文本分词特性。该方案利用系统内置的自动化工具，将选中的文本进行智能拆分与处理，提升了在 iOS 设备上处理文本信息的效率。文章提供了具体的操作步骤与指令配置方法。

三星电机计划至2040年在釜山投资15万亿韩元建AI数据中心封装基板与MLCC产线

三星电机宣布，计划到2040年在釜山投资15万亿韩元（约合110亿美元），用于建设人工智能数据中心封装基板和多层瓷介电容器（MLCC）母生产线。该投资旨在强化公司在AI相关核心电子元件领域的生产能力，以应对数据中心和高端电子设备市场对先进封装与被动元件的增长需求。

韩国计划投入9.9万亿韩元，推进AI基础设施与自主模型开发

韩国科学技术信息通信部副部长宣布，政府正战略性地重新审视自主人工智能基础模型的构建，并将推进以AI基础设施、物理AI及自主模型能力为核心的大规模项目。为实现跻身全球前三AI强国的目标，韩国今年将AI预算大幅提高至9.9万亿韩元，约为去年的三倍。政府计划扩大AI数据中心建设，预计到2029年建成8.4吉瓦容量，到2035年再新增10吉瓦。同时，韩国设定了到2030年在物理AI领域跃居全球第一的目标，并将推进“全民AI”项目，确保所有公民都能使用AI服务。

WAIC 2026算力展望：超节点与光互连能否突破单芯片物理极限？

2026年世界人工智能大会（WAIC）于7月17日至20日举行，核心议题聚焦于未来算力发展。面对单芯片性能提升面临的物理瓶颈，大会探讨了通过构建“超节点”集群与采用先进光互连技术来突破算力天花板的新路径。这些技术旨在通过系统级架构创新，而非单纯依赖芯片制程微缩，来满足下一代AI模型对海量计算资源的需求。

crustc：将 Rust 编译器 rustc 完整翻译为 C 语言

开源项目 crustc 旨在将 Rust 编程语言的官方编译器 rustc 的完整代码库翻译为 C 语言实现。该项目在 Hacker News 上引发关注，获得 231 个投票和 39 条评论。这一尝试涉及将 Rust 的核心编译器逻辑、类型系统和借用检查器等复杂组件转换为 C 代码，可能用于研究、教育或特定场景下的编译器工程实践。

Bramble：开源本地优先密码管理器，支持P2P跨设备同步

Bramble是一款开源的本地优先密码管理器，采用P2P跨设备同步技术，无需依赖云端服务器。其同步功能基于Nostr中继（可自托管），设备间通过WebRTC直接传输端到端加密数据，确保密码不会在云端留存。项目已发布Chrome扩展和Android应用，iOS版本正待审核，最新版本还支持全平台通行密钥存储。加密模块使用Rust编写，确保密钥在内存中的安全处理。开发者强调了对云服务商频繁涨价、数据泄露及透明度不足的担忧，旨在提供功能全面、透明可控的替代方案。

短绳AI编码方法：击败Fable的编程策略

本文介绍了一种名为“短绳”的AI辅助编程方法，旨在帮助开发者更有效地利用AI工具完成编码任务，特别是针对Fable这类挑战。该方法强调对AI生成代码的紧密控制和即时验证，通过分步指导、实时反馈和严格测试来确保代码质量与安全性。文章在Hacker News上引发热议，获得120个赞和139条评论，反映了开发者社区对AI编程实践的高度关注。

Postgres 事务：分布式系统的超级能力

DBOS 博客文章探讨了将工作流状态与数据共置在 Postgres 中的优势。Postgres 的事务特性，如 ACID 保证和可序列化隔离级别，使其成为构建可靠分布式系统的强大基础。通过将应用状态直接存储在数据库中，可以简化架构、减少网络开销，并利用数据库的内置一致性机制来管理复杂的分布式工作流。该文章在 Hacker News 上获得 160 分和 65 条评论，引发了技术社区的广泛讨论。

Anthropic 与三星洽谈定制 AI 芯片合作

继 OpenAI 与博通宣布合作开发定制 AI 芯片约一周后，Anthropic 被曝出正与三星电子就开发新的定制芯片进行讨论。此举表明，领先的 AI 公司在核心硬件层面寻求更多自主权和控制力，以减少对英伟达等传统芯片供应商的依赖，并可能优化其模型运行的成本与性能。

ctx：本地搜索编码代理历史记录的Rust CLI工具

ctx是一个Rust命令行工具，旨在解决编码代理缺乏长期记忆的问题。它将存储在用户机器上的代理对话记录和日志导入结构化的SQLite数据库，并通过排名文本匹配进行搜索，整个过程完全本地化，无需图数据库或托管记忆服务。开发者通过让代理在开始任务前搜索历史记录，可避免重复错误，例如当测试运行因磁盘空间不足失败时，代理能快速找到先前的工作方案。此外，ctx还能生成简洁的会话记录供分享，并支持利用历史数据递归改进代理驱动的软件开发生命周期。

Raycast 发布 Glaze：AI 驱动的 macOS 窗口管理工具

Raycast 团队在 Product Hunt 上发布了新产品 Glaze，这是一款专为 macOS 设计的 AI 驱动窗口管理工具。Glaze 旨在通过智能算法自动排列和组织应用程序窗口，提升用户在多任务处理时的工作效率和屏幕空间利用率。该产品目前处于社区讨论和早期发布阶段，具体功能细节和性能数据有待进一步披露。

AI 赋能运营卓越：从精益六西格玛到智能流程管理

本文探讨了人工智能如何继承并发展精益六西格玛和业务流程管理等传统运营框架，以应对复杂运营挑战。传统方法强调统计严谨性、质量控制和端到端的跨部门工作流映射，提供了可重复的优化路径。AI 技术通过数据驱动分析、自动化与智能决策，有望为混乱、庞杂的运营带来新的清晰度与结构化秩序，推动运营效率与质量的持续提升。

Slopo：基于嵌入模型的非精确代码重复检测 CLI 工具

开发者 Rafal-qa 在 GitHub 上开源了 Slopo，这是一个命令行工具，旨在利用嵌入模型检测代码中的非精确重复片段。项目在 Hacker News 上获得 80 点热度并引发 35 条评论。该工具通过语义相似度分析，能够识别功能相似但写法不同的代码块，帮助开发者优化代码结构、减少冗余。

Mail Memories：桌面应用从Gmail中找回被遗忘的照片

Mail Memories是一款桌面应用，可将用户Gmail账户中多年积累的照片直接下载到本地硬盘。该应用最初为SaaS服务，后改为完全本地运行的Mac/Windows应用，无需云端处理或订阅。用户可免费下载50张最旧的照片体验，完整下载需一次性支付29美元。应用特别适合拥有2010年前Gmail账户的用户，帮助找回旧友、家庭照片及历史表情包等记忆。

Immich 3.0 发布：开源自托管照片备份方案重大更新

开源自托管照片与视频备份解决方案 Immich 发布了 3.0 版本。该版本引入了多项关键更新，包括全新的照片查看器、改进的搜索功能、增强的元数据管理以及性能优化。作为 Google Photos 的开源替代品，Immich 允许用户完全控制个人数据，并支持在私有服务器上部署。此次大版本更新在开发者社区（如 Hacker News）引发了广泛讨论，获得了 311 个赞和 156 条评论，显示出项目活跃的社区生态和用户关注度。

微软斥资25亿美元成立独立AI部署公司

微软宣布成立一家专注于人工智能部署的新公司，并承诺投入25亿美元资金。此举使微软加入了亚马逊、OpenAI和Anthropic等科技公司的行列，这些公司均已设立了专门负责AI模型落地应用的实体或部门。新公司的成立旨在加速和优化微软AI技术在企业及产品中的实际应用与规模化部署。

ZeroFS：面向 S3 的日志结构文件系统

ZeroFS 是一个专为 Amazon S3 设计的日志结构文件系统，旨在提供高效、可靠的对象存储管理方案。该项目在 Hacker News 上获得 121 点关注和 52 条评论，显示出开发者社区对新型云存储技术的兴趣。ZeroFS 通过日志结构优化写入性能，并兼容 S3 接口，适用于需要大规模数据持久化的云原生应用场景。

Show HN: 浏览器内生成矢量PDF网格纸工具

开发者发布了一款名为freegraphpaper.net的在线工具，可在浏览器中直接生成矢量PDF格式的网格纸。该工具支持自定义网格尺寸、线宽和颜色等参数，生成的PDF文件保持矢量特性便于打印和缩放。项目在Hacker News获得98点热度并引发23条技术讨论，展示了前端技术实现文档生成的新应用场景。

开源AI助手Valmis：安全优先的Claude Cowork替代方案

开发者因现有AI助手OpenClaw在API集成与安全性上的不足，创建了开源替代品Valmis。Valmis通过代理系统设计解决安全问题：将AI代理运行在Docker容器中，仅能通过凭证ID请求主机执行API调用，主机完成实际请求后返回JSON数据，此设计甚至允许在断开容器网络访问的情况下工作。目前该系统已支持超过100款商业与生产力应用集成，包括Google Workspace、Slack、Notion等。Valmis还提供自动化工作流功能，支持通过cron、webhook或应用事件触发多步骤工作流，并包含条件与循环控制。

AI与涡轮机共舞：工业智能运维新篇章

人工智能正从消费级应用向工业核心领域渗透，在物理基础设施、运营连续性与安全至关重要的行业中，AI正演变为核心操作层。文章聚焦于工业系统，探讨AI如何利用持续产生的运营数据流，在远离公众视线的场景中发挥关键作用，其影响深远，远超出聊天机器人或图像生成器等大众熟知的应用范畴。

AReaL 2.0开源：打造面向自演进智能体的RL基础设施

AReaL 2.0作为强化学习基础设施正式开源，旨在与社区共同推进自演进智能体生态的发展。该项目专注于为智能体提供持续学习和自我优化的能力，通过构建可扩展的RL框架，支持智能体在复杂环境中实现长期性能提升与自主演进。

全球首个无英伟达硬件的万亿参数模型，成海外开发者热门选择

一款完全未使用英伟达硬件的万亿参数模型在海外开发者社区引发关注，成为热门选择。该模型在OpenR排行榜上表现突出，展示了在非英伟达硬件生态下实现大规模模型训练与推理的可行性。这一进展为开发者提供了更多硬件选择，可能推动AI基础设施的多元化发展。

推荐理由：我认为所有关注算力成本和硬件锁定的AI开发者都该看看这个——它证明了不用英伟达也能跑万亿模型，直接抄作业就能打破生态依赖。

天工 3.2 发布：Skywork Tags 功能上线，Agent 可加入工作群聊

昆仑万维天工 3.2 版本迎来重磅升级，核心新功能 Skywork Tags 正式上线。该功能旨在让 AI Agent 更深度地融入工作流程，用户可为 Agent 生成专属“工牌”，并将其邀请至飞书、钉钉、企业微信等工作群聊中。此举使得 Agent 能够像人类同事一样，在群聊中接收信息、理解上下文并执行任务，实现“和人并肩工作”的协作模式。此次升级标志着大模型应用正从工具型向协同型 Agent 演进，进一步探索 AI 在具体工作场景中的落地方式。

钉钉A1录音卡入选Gartner AI可穿戴设备报告

Gartner近期发布的AI可穿戴设备报告中，钉钉A1录音卡作为案例入选。该报告指出，AI硬件的竞争重点正从参数比拼转向其背后是否拥有真正的企业级AI协作平台。钉钉A1录音卡是钉钉推出的智能硬件，旨在通过AI技术提升会议记录与协作效率，其入选反映了市场对硬件与平台深度融合价值的认可。

Basedash Actions：为内部工具添加自动化工作流

Basedash Actions 是一款新产品，旨在为基于数据库构建的内部工具添加自动化工作流功能。它允许用户根据数据库变更等事件触发自定义操作，例如发送通知、更新记录或调用外部 API，从而简化团队内部流程，减少手动操作。该产品专注于提升内部工具的效率和自动化水平，帮助团队更高效地管理数据和业务流程。

清华、中科院团队联合华西医院研发康养转运机器人，布局居家养老

深圳可立点科技近日完成战略融资，由力合科创领投。公司聚焦“AI+机器人”养老场景，已推出面向居家养老的主动陪伴机器人与联合华西医院研发的GR-150康复助行转运机器人。后者基于SLAM导航与多传感器融合技术，可实现室内自主导航与智能转运。陪伴机器人则集健康监测、情感陪伴、安全巡检于一体，并针对老年人优化了NLP引擎与多模态情感交互。公司核心团队来自清华大学与中国科学院，产品已获部分采购意向，预计2027年逐步实现规模化营收。

PieterPost MCP：开源AI代理协作平台

PieterPost MCP 是一款基于模型上下文协议（MCP）的开源AI代理协作平台，旨在促进不同AI代理之间的高效通信与任务协调。该平台通过标准化接口简化了代理集成流程，支持开发者构建复杂的多代理系统，适用于自动化工作流、数据分析及智能助手等场景。其开源特性鼓励社区贡献与生态扩展，为AI代理技术的实际应用提供了基础设施支持。

Salt：集成 Z3 定理证明器的系统编程语言

Salt 是一门新的系统编程语言，其编译器内置了 Z3 定理证明器。该项目已在 Hacker News 上引发讨论，获得 43 个赞和 42 条评论。开发者旨在通过形式化验证技术，在编译阶段提供更强的正确性保证，可能用于需要高可靠性的系统软件开发。

Pglayers：将 PostgreSQL 扩展打包为可堆叠的 Docker 层

Pglayers 是一个开源项目，旨在将 PostgreSQL 扩展打包成可堆叠的 Docker 镜像层。该项目在 Hacker News 上获得了 39 个赞和 10 条评论。其核心思路是通过 Docker 的分层特性来管理 PostgreSQL 扩展，使得扩展的部署、版本管理和组合更加灵活和高效，有助于简化基于 PostgreSQL 的容器化应用开发与运维流程。

GolemUI：开源声明式表单引擎，支持多框架与MCP工具

GolemUI是一个开源库，可通过JSON定义动态生成表单，并提供类型化编程层简化编写。核心特性包括：JSON引擎支持存储、版本控制及LLM生成验证；提供28个无头组件，可通过CSS变量或Material等库自定义样式；同一JSON定义可渲染为React、Angular、Vue、Lit或原生JS组件；集成确定性MCP工具，用于验证模型输出、生成JSON或代码，确保LLM返回的定义始终有效。该库由三位拥有十年表单与开源经验的开发者共同创建。

Google 智能助手 Gemini Spark 登陆 Mac，支持实时追踪与多应用

Google 的 24/7 智能助手 Gemini Spark 现已正式登陆 Mac 平台。此次更新不仅带来了 Mac 版本，还引入了实时追踪功能，并扩展了对更多应用程序的支持。Gemini Spark 作为一款具备自主行动能力的智能助手，旨在为用户提供全天候的自动化服务体验。

推荐理由：我认为Mac用户和效率控值得看：Gemini Spark的24/7自主行动能力加上实时追踪，可能直接改变桌面自动化玩法，开发者也能抄它的多应用支持思路。