2026年7月16日 AI 行业日报：前沿开源大模型中外对决，AI 软硬件与监管合规生态加速重塑

Kimi K3 一句话复刻的网站,增加了测试,加了几个风格。 复刻的是昨天分享的前端UI学习网站。 https://learnui.qiaomu.ai/ 改天写一个详细评测,模型真的牛逼!

Kimi K3 一句话复刻的网站，增加了测试，加了几个风格。 复刻的是昨天分享的前端UI学习网站。 https://learnui.qiaomu.ai/ 改天写一个详细评测，模型真的牛逼！

Kimi K3 seems really good, closest to the frontier yet, but also wow does the model/harness love to loop back over and over again over tasks tweaking ...

宾夕法尼亚大学沃顿商学院教授 Ethan Mollick 发推分享了对 Kimi K3 的初步评价。他指出 Kimi K3 表现非常出色，是目前最接近前沿水平的模型；但同时也发现该模型或其运行机制非常喜欢在任务中反复循环，以极高的程度不断进行微调和修改。

Kimi K3

月之暗面（Moonshot AI）在其官方文档中公布了最新多模态模型 Kimi K3。该模型是 Kimi 迄今为止最强大的模型，拥有 2.8 万亿参数，支持原生视觉理解和 100 万 token 上下文窗口，专为软件工程、知识工作和深度推理等前沿智能场景设计。此外，早期的 Kimi K2 系列模型已于 2026 年 5 月 25 日起正式停用并停止维护，建议用户迁移至最新的 Kimi K3。

Inkling Benchmark Results

Thinking Machines 发布了其首个生产级语言模型 Inkling，该模型目前成为美国性能领先的开源权重模型，在 Artificial Analysis 智能指数中排名第 41 位。 - **模型规格**：总参数量 975B，活跃参数 41B。原生支持文本、图像和音频多模态输入（文本输出）。 - **基准性能**：其智能指数得分（41分）超越了 Nemotron 3 Ultra、Gemma 4 31B 等美国开源模型。在 Agent 性能（GDPval-AA v2 和 𝜏³-Banking）测试中，其表现超越了 Kimi K2.6 和 DeepSeek v4 Flash。 - **Token 效率**：在测试任务中平均输出 25K 个 token，相比 GLM-5.2、Kimi K2.6 和 DeepSeek v4 Pro 更加节省 token。 - **获取方式**：可通过 Tinker 平台 API 访问（支持 256K 上下文），且已在 HuggingFace 开源模型权重（支持 1M 上下文）。

Former OpenAI CTO does what Altman won't, releases a frontier AI model

前 OpenAI CTO Mira Murati 创立的初创公司 Thinking Machines Lab 发布了其首款开源权重模型“Inkling”。该模型参数量达 9750 亿（激活参数约为 410 亿），采用 MoE（混合专家）架构，支持 100 万 token 上下文，并基于 Apache 2.0 协议开源，是目前美国参数量最大的开源模型。Inkling 是一款通过强化学习训练的推理模型，声称在 Terminal Bench 2.1 上以三分之一的 token 消耗达到了英伟达 Nemotron 3 Ultra 的水平。此外，该公司还预览了较小版本的 Inkling-Small 模型（2760 亿参数）。

Newer Models, Same Advantage

Back to Articles Despite newer architectures, DharmaOCR outperformed Mistral OCR4 and Unlimited-OCR on Brazilian Portuguese through domain specialization and targeted training. This article presents the evidence and the mechanism behind tha

Chinese AI startup Moonshot to launch model challenging Anthropic's lead

据报道，中国人工智能初创公司月之暗面（Moonshot AI）计划推出一款新模型，旨在挑战 Anthropic 在人工智能领域的领先地位。

Ex-OpenAI CTO Murati's Thinking Machines drops Inkling, a 975B parameter model that leads US labs but trails China

Thinking Machines Lab, founded by former OpenAI CTO Mira Murati, has released Inkling, a multimodal open-weights model with 975 billion parameters. It leads U.S. open-weights models on the Artificial Analysis Intelligence Index, though top Chinese open models still beat it on some tasks. Pricing starts at $1.87 per million input tokens, and Thinking Machines is pitching Inkling as a base for fine-tuning rather than the most powerful model available. The article Ex-OpenAI CTO Murati's Thinking Machines drops Inkling, a 975B parameter model that leads US labs but trails China appeared first on The Decoder.

Gemma 4 gets a stealth update that fixes tool calling bugs and truncated responses under the same name

Google shipped an update to its open AI model Gemma 4 that speeds up performance on Nvidia Hopper GPUs, fixes tool calling bugs, and addresses problems with truncated responses. The article Gemma 4 gets a stealth update that fixes tool calling bugs and truncated responses under the same name appeared first on The Decoder.

AI That Never Forgets – Dendritron Transformer Explained [video]

网络上发布了一段名为《AI That Never Forgets – Dendritron Transformer Explained》的视频，对被称为“永不遗忘的 AI”的 Dendritron Transformer 架构进行了介绍和解析。

这次模型很不一样,respect,只能说这么多。

这次模型很不一样，respect，只能说这么多。 Kimi.ai:

My Throw Decides My Aim

July 15, 202610 min read♪My throw decides my aimAnd with a phony voiceUnserious to the endAs if I had a choice I have been listening to Naked (But Still Stripping) by D-A-D on repeat. Partly because it is a good song. It fits my style. But

Happy to see a new open weights model, but, so far, Inkling is pretty rough in my tests, not close to frontier Chinese open weights models. As one exa...

沃顿商学院教授 Ethan Mollick 对新发布的开源权重模型 Inkling 进行了测试，并指出该模型目前表现较为粗糙，与中国前沿的开源权重模型相比仍有较大差距。在具体测试中，Inkling 未能通过“Lem 测试”（Lem Test），而自 DeepSeek R1 和 Claude 3.5 Sonnet 以来的前沿模型普遍能通过该测试。

Is a "Phi-Zero" AI architecture viable for safe robotics?

Skip to content Navigation Menu Pricing Provide feedback Saved searches Use saved searches to filter your results more quickly Sign up Notifications You must be signed in to change notification settings Fork 0 Star 0 Folders and filesNameNa

用世界模型给VLA当教练,原力灵机发布DW0.5,把RL搬进虚拟世界

后训练中真机数据需求骤降60%

A closer look at improved intelligence in GPT-Live: the model can keep a conversation going while helping with multiple tasks at once, like checking f...

OpenAI 展示了 GPT-Live 模型在智能上的提升。该模型能够在保持对话流畅进行的同时，实时并发处理多项任务，例如查询航班、获取当地天气以及规划旅行行程。

Inkling Model Card

1. General information Model name Inkling Legal name of the model provider Thinking Machines Lab, Inc. Date of release July 15, 2026 License Apache 2.0 Intended uses Inkling is a general-purpose multimodal model that accepts text, image and

RT clem 🤗: Inkling from @thinkymachines just made it into @huggingface trending models. How high will it go? https://huggingface.co/thinkingmachine...

Thinking Machines 开发的 Inkling 模型已登上 Hugging Face 的趋势模型榜单。该消息由 Hugging Face 联合创始人兼 CEO Clement Delangue 在社交媒体上分享。

Germany launched one of the best open-source AI models

该消息仅包含一个模糊的社交媒体标题，声称“德国发布了最好的开源AI模型之一”，但未提及任何具体的模型名称、开发机构、技术细节或评估指标，缺乏实质性内容。

I demonstrated the incredible power of o1-preview/ reasoning less than two years ago by showing it could solve this crossword puzzle with only one hin...

宾夕法尼亚大学沃顿商学院教授 Ethan Mollick 分享了 Riley Goodside 的测试，展示了 ChatGPT 5.6 Sol Pro 在推理能力上的巨大进步。该模型在没有任何单独数字提示的情况下，成功解出了一个由 Claude Fable 5 Max 设计的、包含前 150 个宝可梦的空白填字游戏。相比两年前需要一个提示才能解决填字游戏的 o1-preview，新一代模型的推理与逻辑能力表现出显著提升。

Archer Announces Zee, AI Foundation Model Purpose-Built for Aviation

Archer Aviation 宣布推出 Zee，这是一款专为航空领域设计的 AI 基础模型，也是其具身智能（Physical AI）战略的关键支柱。

RT Nathan Lambert: Thinky with a ~1T param, 41B active, apache-2 model Benchmarks are a clear step up from Nemotron Ultra (55B active), new best Ameri...

John Schulman及其团队发布了名为Thinky的开源大模型。该模型采用Apache-2.0协议，拥有约1万亿（1T）总参数，其中激活参数为410亿（41B），支持全模态（omni）输入。基准测试显示，其性能明显超越Nemotron Ultra（55B激活参数），被称为目前美国最强的开源模型。在Agent评测上略逊于GLM 5.2，在多模态评测上略逊于Kimi K 2.6。

Thinking Machines Lab Drops Its First Model

由前 OpenAI 核心成员（包括 Mira Murati、John Schulman 和 Lilian Weng）创立的 AI 初创公司 Thinking Machines Lab 发布了其首个开源权重（open-weight）模型 Inkling。该模型拥有 9750 亿参数，原生支持音频、视频和文本输入，具备出色的高级推理与编程能力。值得注意的是，该模型在自我微调训练过程中展现出一种独特现象：其思维链（Chain of Thought）随着时间推移变得更加精简，在去除语法冗余的同时保持了理解能力与最终输出的准确性。公司表示此举旨在推动 AI 技术的去中心化。

Thinking Machines amps up its bet against one-size-fits-all AI with its first open model, Inkling

It's the company's first public proof point after a year and a half spent building AI infrastructure largely out of public view.

GPT-5.6 Sol reportedly disproves a 30-year-old statistics conjecture in 90 minutes after humans couldn't crack it

A University of Pennsylvania statistics professor used OpenAI's GPT-5.6 Sol Pro to disprove a central open conjecture about the Benjamini-Hochberg method in roughly 90 minutes. The predecessor model, GPT-5.5, couldn't find a solution even after 20 hours. The answer combines known methods in a new way, keeping the bigger question alive: can AI produce genuinely new knowledge, or does it just recombine what it already learned? The article GPT-5.6 Sol reportedly disproves a 30-year-old statistics conjecture in 90 minutes after humans couldn't crack it appeared first on The Decoder.

Show HN: Open-source AI app builder you can embed into your own SaaS

Totalum Labs 开源了 AI App Builder Open，这是一个免费、可自托管、支持白标的 AI Web 应用生成器，可作为 v0、Lovable、Bolt 和 Replit 的开源替代方案。用户只需输入 Prompt 即可生成、预览并部署完整的全栈 Next.js 应用。该项目支持多租户，允许 SaaS 企业和开发者将其无缝嵌入到自己的产品中。其后端基于 Totalum VCaaS API 运行，提供沙盒、数据库、GitHub 同步等基础设施支持。

Show HN: PokeTokenBar – Raise a Pokémon with your AI token usage

Your AI coding tokens, hatched into Pokémon — right in your menu bar. English · 한국어 · 日本語 PokeTokenBar turns the AI coding tokens you're already burning — Claude Code, Codex & Gemini CLI — into a growing Pokémon companion in your macOS menu

Show HN: A commerce Network built on UCP for agents to discover and Pay

I kept hearing about how e-commerce was dead and how a lot of brick-and-mortar stores and sellers will go out of business soon because of AI. I am a product manager and studied machine learning while in school. The last thing I want is for engineers to be losing their jobs 'because of AI', and also for small businesses barely getting by to see the same fate. AI is amazing tech hopefully kifly helps people use their AI assistants find things they need.This is early and I would love your feedback.1. You can discover and checkout within the demo widget (scopped to one seller) on the homepage2. Connect to the MCP to experience the full Network wide capability

Show HN: AI Law Tracker – one audited API for US, EU and global AI law

Landmark AI laws and the dates they bite, taken from our audited bill registry. Every status and date below links to the statute's primary government source.CAEUCONYIL● LiveLatest AI law news across the statesUpdated July 16, 2026The newest

Show HN: Cortier – your AI negotiates dinner plans with your friends' AIs

Show HN: Cortier – your AI negotiates dinner plans with your friends' AIs

Show HN: Companion eBook for The Odyssey audiobook narrated by AI Michael Caine

一名开发者在 GitHub 上开源了一个免费的电子书项目，旨在作为 ElevenLabs 推出、由 AI 克隆迈克尔·凯恩（Michael Caine）声音旁白的《奥德赛》有声书的对照读物。该项目修改了 William Cullen Bryant 1871 年译本中的神话人物名称，使其与 AI 语音朗读的希腊语版本名字一致，解决了对照阅读时的命名冲突问题。

The most no-code customizable chat widget (see pictures)

Quickchat AI 详细介绍了其无代码白标（White-label）定制聊天挂件功能。用户无需编写代码或自定义 CSS，即可全面定制 AI 智能体的外观，包括配色、Logo、头像、三种启动器样式及窗口大小。系统内置了符合 WCAG AA 标准的对比度检查，以确保文本可读性。教程通过构建一个虚构的客服智能体，演示了设置 Prompt、知识库、API 动作（如订单查询）到最终完成品牌化定制的全过程。专业版用户还可以彻底移除“Powered by Quickchat AI”的水印。

AI Obituary Writing Tool

Journal Star 媒体网站推出了一个辅助撰写讣告的 AI 工具。该项目热度极低且属于垂直领域的简单应用，对中国 AI 从业者缺乏参考价值。

StepFun Unveils StepX Neo, the "First Agentic AI Phone"

中国 AI 公司阶跃星辰（StepFun）发布了 StepX Neo，宣称为全球首款“大模型原生 Agent 智能手机”。该设备搭载专为 AI Agent 设计的原生操作系统 Step AOS（而非基于 Android 修改），并内置系统级集成的 Amoo AI 助手。Amoo 采用“1+N”模型架构，支持端云协同以及部分核心功能的离线运行，已深度整合携程、支付宝、滴滴、美团等主流应用以实现跨应用自主执行复杂任务。安全方面，该系统在可信执行环境中运行 Agent 任务，并与上海人工智能实验室联合发布了 Agent 安全白皮书。

Show HN: Quatuor – Kick back and watch 4 agents LLM talk to each other (FOSS)

Welcome to QUATUOR.Feel free to fork and star and be awesome. I think you can make a lot of cool stuff starting from this, or from this idea. I can never manage to sell anything and so now I release for free & open source.See you around

Crowdsourcing an AI-transcribed archive of the world's handwritten past

Leo 宣布了 Leo Collections 计划，旨在通过众包和 AI 转录技术，将全球历史上的手写文献资料数字化，建立一个通用的历史手写档案库。

Show HN: My triathlon coach (not a human) now texts me on iMessage

开发者在 Hacker News 上展示了其开发的 AI 运动/铁人三项教练产品 athletedata.health。该产品核心在于深度整合用户的运动与健康数据，支持同步 Strava、Garmin、WHOOP、Oura、Hevy 等 20 多款主流可穿戴设备及应用的数据。AI 能够实时读取 HRV、睡眠、配速等指标，并在检测到身体疲劳或日程冲突时，通过 WhatsApp、Telegram 或 iMessage 主动向用户发送消息并自动调整训练计划，同时将更新后的训练课程推送至 Garmin 或 COROS 手表。此外，该产品还提供了 MCP（模型上下文协议）服务（9美元/月），允许用户在自己的 Claude 或 ChatGPT 中直接调用和分析个人健康数据。全功能 AI 教练订阅价为 25 美元/月。

Show HN: Skillful, stop maintaining the same AI workflow in five places

Skillful 是一款本地优先且源码可用的 AI 工作流与提示词管理工具。它允许用户在本地的一个统一库中管理提示词、Agent 配置（如 SKILL.md 或 AGENT.md）、脚本和截图，并通过软链接（symlinks）的方式将同一套工作流无缝分发到 Claude Code、Cursor、GitHub Copilot、Gemini CLI 等多种 AI 工具中，避免了在多个工具间手动同步和修改的繁琐过程。该应用完全运行在本地，无需注册账号，无遥测和后台服务器，并支持通过 GitHub 导入和备份公共技能库。

On-device AI that respects your privacy

Arcrawls 支持在本地运行 Gemini Nano 和 DistilBERT，用于分析网页情感并生成日常浏览习惯的摘要。所有数据处理均在本地完成，无需上传至云端，从而切实保护用户隐私。

Show HN: Pokayoke – turn code conventions into checks for agents

Pokayoke 是一个旨在将特定代码规范转化为具体检查规则的开源工具，专门用于解决 AI Agent 在编程时容易忽略项目特定规范（如文件名命名、代码行数限制等）的问题。它允许开发者引导 AI Agent 自动编写 TypeScript AST 或工作空间环境的检查代码，并与现有的 linter 和格式化工具协同工作。该工具还提供了一个 `SKILL.md` 文件，以便 Agent 能够自主创建和维护这些规则。

Flanner.io - Stop drowning in AI .md files.

Flanner 是一款免费开源的命令行工具和 MCP 服务器，专门用于管理 AI 智能体（如 Claude Code 和 Codex）在开发过程中生成的规划文档（.md 文件）。它能够自动进行版本控制、通过 .gitignore 保护 Git 仓库、提供本地 SQLite 存储和网页端仪表盘，并支持与 Linear、Jira 等任务追踪工具同步，帮助开发者解决 AI 规划文档散乱的问题。

Agent Group Chats: Paradigm or Hype? 🤔 Alibaba Cloud AgentTeams enable multi-agent collaboration. ✅ Solves context loss in long workflows ✅ Enter...

Agent Group Chats: Paradigm or Hype? 🤔 Alibaba Cloud AgentTeams enable multi-agent collaboration. ✅ Solves context loss in long workflows ✅ Enterprise-grade security & RBAC ✅ Builds organizational memory assets Move beyond single-chat limits to scalable team AI. 🚀https://int.alibabacloud.com/m/1000415507/ #AI #Agents #DevOps #MultiAgent #AIOps #EnterpriseAI

At DocuWriter.ai, the documentation will make you smile:)

DocuWriter.ai 是一款专为工程团队设计的 AI 代码文档生成与维护工具。它无需用户手动编写 MDX，而是通过 AST 解析和代码感知检索直接分析代码库，生成完整的层次化文档、API 参考和 UML 图表。其“Autopilot”功能可监控代码库（GitHub、GitLab 等）的变更，并在代码更新时自动提出文档修改建议。此外，它还支持发布为 MCP（Model Context Protocol）服务，方便 Cursor、Claude 和 ChatGPT 等 AI 智能体原生读取和检索文档。

I created OpenClaw, the breakthrough AI agent [video]

636,905 plays|Peter Steinberger| TED2026 • April 2026OpenClaw creator Peter Steinberger takes us back to the transformative moment he let his AI agent loose on the internet, igniting one of the world's fastest-growing open-source projects.

Northstar – AI PR review for Azure DevOps teams (flat price, not per-seat)

Northstar 是一款面向 GitHub 和 Azure DevOps 团队的 AI 辅助代码审查（PR）工具。它能够自动分析合并请求、评估交付风险、指出关键修改区域并生成发布说明。该工具主打隐私保护，不在本地磁盘持久化存储代码 diff 数据，并且采用不限制团队人数的固定月费定价模式。

Show HN: Glad-AI-Tor, the "best" AI tools judged by the crowd

Gm HN,Glad-AI-Tor is a place where everyone could judge & rank AI tools in order to list them from the worst to the best.The goal is to have real visitor verdicts across six arenas (voice, LLMs, image, video, coding and music).Built to help the community using best AI tools.

xAI open-sources "Grok-Build" on GitHub after massive data breach

xAI的命令行AI编程助手“Grok Build”因被发现静默上传包含SSH密钥、密码数据库等敏感文件的整个目录至谷歌云服务器，引发严重隐私争议。为此，埃隆·马斯克承诺删除所有已上传的用户数据，xAI也禁用了上传功能，并将其包含约84.4万行Rust代码的完整项目在GitHub上以Apache 2.0协议开源以重建信任。Grok Build现已支持完全在本地运行，具备代码读写、执行终端命令、网页搜索等功能。

Unifeyn, an AI study workspace grounded in your own documents

Unifeyn 是一款基于用户个人文档的 AI 学习工作空间（Study Workspace），旨在帮助用户通过自己导入的文档进行更具针对性的学习和研究。

Rethinking Databases for Humans and AI Agents

SQLite-Memory 是一款新型 SQLite 原生扩展（并内置于 SQLite Cloud），旨在为人类和 AI 智能体提供语义内存数据库。用户无需设计 Schema 或编写 SQL，只需以 Markdown 格式存储数据，即可通过自然语言进行语义检索。此外，配套的 SQLite-Sync 采用针对 Markdown 语义文档设计的新型 CRDT 算法，支持在设备、用户和 AI 智能体之间离线优先同步语义记忆。开发团队目前也在开发对应的 PostgreSQL 版本。

Show HN: Free Ollama AI Trading Desktop App

VaultCharts 是一款本地优先的 AI 辅助交易桌面应用，支持 macOS、Windows 和 Linux。它将传统的行情图表分析工具与 AI 助手结合，支持用户通过 API 接入各大云端模型（如 OpenAI、Anthropic、DeepSeek、Qwen）或直接对接本地运行的 Ollama 和 LM Studio。AI 助手可以扫描走势结构、运行指标并辅助分析，且所有密钥、聊天数据和提示词均保存在本地，保障用户数据隐私。

DeepCleanAudio AI-powered audio denoising that restores clarity in seconds

DeepCleanAudio 是一款基于 AI 的音频降噪工具，搭载 DeepFilterNet3 技术，能够一键快速清除背景噪音并保持人声清晰自然。该软件支持批量处理多种音频格式，适用于创作者和开发者，采用买断制授权（5 美元/授权），无需订阅费用。

The incredible dev week continues.. make the most use of it.

The incredible dev week continues.. make the most use of it. ClaudeDevs: We've reset 5-hour and weekly rate limits for all users.

Still juggling vector search in one system and SQL filters in another? Meet the future: Hybrid scalar-vector retrieval in a single SQL query — now li...

阿里云宣布在其 EMR Serverless Spark 服务中上线混合标量-向量检索功能。该功能允许用户在单个 SQL 查询中完成混合检索，无需在不同系统间进行数据迁移。其运行速度比开源 Spark 快 3 倍，并可扩展至数十亿行数据，适用于离线嵌入（Embedding）和数据去重等 AI 基础设施场景。

An the next reset arrives for Codex and ChatGPT Work. loving it.

An the next reset arrives for Codex and ChatGPT Work. loving it. Tibo: Another reset for our Codex and ChatGPT Work users. Actually hit 9M active users way earlier today, but then got distracted by the approximately millions of things the team is doing to keep the systems up and reliable. Should have that sweet 100% weekly usage limit back in a few

🚀 What if analyzing autonomous driving camera footage was as easy as writing a SQL query? Say hello to AI Functions in Alibaba Cloud EMR Serverless...

阿里云在其 EMR Serverless Spark 中推出了 AI Functions（AI 函数）功能。该功能将多模态 AI 能力集成到数据管道中，用户无需进行复杂的模型工程，即可直接通过 SQL 查询来分析自动驾驶车载摄像头画面等图像数据，实现快速的目标检测（如警车、货车、吊车等）与自动化标注。

Show HN: Complete the survey and get personal free AI toothpaste recommendation

一个通过用户在线问卷调查，利用AI生成个性化牙膏推荐的Show HN分享项目。

Show HN: A Lightweight, open-source always-on-top local AI desktop companion

Built an desktop AI companion that always pinned at top.Some of the features:- Lightweight: Built on Tauri v2 + React + Rust for low RAM usage.- Always-on-Top Floating Mode: Pinned window stays on top so you can code and query AI side-by-side (no more app-switching!).- Secure Keyring Storage: API keys are saved directly in your OS secure Keychain/Keyring- Local SQLite Database: All chat history and threads are saved locally on your device.- Multi Provider Support: Connect to Gemini, OpenAI, Anthropic, Groq, local Ollama, or custom endpoints.It is Open-source and free to download. Availabe for Windows, Mac and Linux.

An Interactive Map of AI

Navigate Every concept on Artifipedia, and every link between them. Drag a node, hover to trace its connections, click to read. Deep LearningLanguage & LLMsAI AgentsGenerative AIMachine LearningComputer VisionSafety & EthicsFoundationsTools

Familiar – Local AI Workspace with Chat, Notes, Wiki, and Automations

Familiar 是一个开源的本地 AI 工作空间，集成了聊天、笔记、协作 Wiki 和自动化任务（Scheduled Actions）功能。它支持将本地 AI 模型与用户的个人数据进行连接，并引入了名为“Shards”的数据驱动 Agent 概念，允许用户限制其数据访问范围与技能。该项目采用 Go 语言构建，支持 Postgres 和 pgvector 进行向量检索，使用 Passkey 进行安全登录，基于 MIT 协议开源。

Open Source, Free Tier Capable Whispr Using Cloudflare AI

Voice-to-text tool that captures speech, transcribes it via Whisper, and formats the output with an LLM. Press a hotkey, speak, release — formatted text lands in your clipboard and is auto-pasted into whatever you were typing in. How It Wor

AI Coach for Creators

Launching August 1, 2026, early access openYour AI coach to grow, monetize your content, and land collabs with brands, hotels, and restaurants, even with 100 followers.100% money-back guarantee · No credit card to start★★★★★ Trusted by earl

Show HN: Forall – An AI coding agent that generates machine-checkable proofs

Astrio 开源了一款名为 Forall 的 AI 编程智能体，旨在通过生成规约驱动的代码以及配套的机器可校验证明，来帮助开发者构建更可靠的软件。目前 Forall 支持 TypeScript、Java 和 Rust 三种语言，其仓库包含用于本地创作的 MCP 服务端等 Rust 库。

AIcss: UI Components for AI Agents

AIcss 推出了一套专为 AI Agent 设计的免费 UI 组件库，提供可直接复制粘贴的组件区块，用于展示 Agent 对话过程中的各种中间状态。这些组件包括思考与推理状态、工具与动作执行状态（如网络搜索、文件差异对比、图像生成进度）、流式文本输出与引用，以及结构化数据输出（如表格、待办列表等），旨在帮助开发者快速构建精美的 AI 交互界面。

Show HN: Throttle – Local Claude Cockpit for macOS, now with remote control

Kevin here, indie dev (lorisLabs.)Thorttle started as a menu bar meter for Claude code usage, and grow into a cockpit !you have the full claude meter as expected with no telemetry, no network. and that in the free version.Pro is where it got interesting :Cockpit have every claude code project on your Mac in one window. Each embedded terminal using SwiftTerm, auto hibernate to keep a 16gb Mac from getting out of memory.Remote Control that hand a session off to any linux server (I use proxmox) I have a IOS and Vision Pro app coming up soon!my main goal and what I prefer: Claude code burn a lot of token you dont even see... bloated claude.md files & stale memory, dead skills, barbs output ...Throttle optimiser with a AI assistant that audit your claude.md and settings.json hook with a real read_file tool call emit search/replace...autopilot applied automatically concise output style (65/75% fewer output tokens!!!) usage statusline, auto -archive of orphaned project memory, riskier one (stale memory cleanup, dead skill pruning) stay opt in and guarded.session start + [re compact hook that prune irrelevant memory before it every reacts the context window.All this is measurable not guessed! you have a token saver and stats, mine reads 78M saved this week again 1b used !EVERYTHING RUN LOCAL or in your own iCloud private database. No server of mine ever see your transcripts or usage or telemetry... and if you want just the free meter : https://github.com/lorislabapp/throttle-meter (MIT)for all this saving stuff and pro version features, 29€ one time 2 Mac 30days no questions refund ! (not joking it saving me a lot !)I WOULD LOVE FEEDBACKS!!! Which optimisation would you trust an app to do automatically and with must stay a reviewed patch? The usage math comes from local JSONL, not claude.ai's API does it match what you see?? 29€ one time for people paying 100/200USD a bond for max, fair? -- Anything else reallyThank for looking!

OpenAI 出的硬件Vibe Coding键盘真好看。 但价格不美丽,等大华强北。 😁

社交媒体消息显示，OpenAI 推出了一款名为 “Vibe Coding” 的定制硬件键盘。有网友分享了该键盘的外观图片，并评价其设计美观但价格较高。

Lhv.ai – Estonian bank AI integration via MCP

爱沙尼亚银行 LHV 推出 Lhv.ai 服务，支持通过模型上下文协议（MCP）将用户的银行账户安全连接至 AI 助手（如 Claude.ai、Cursor 和 Claude Desktop）。用户可以直接用自然语言查询账户余额、交易记录和消费摘要。该集成采用只读权限和 OAuth2 认证，确保资金安全，并同时提供 REST API 供开发者直接集成。

Build a Multi-Camera 3D Tracking Application with NVIDIA DeepStream 9.1 Skills

Developers building video analytics applications across large spaces must track the same object as it moves between camera views. Single-camera 2D tracking...

Eaon (Preview)- Private all in one AI super app

Free forever · open sourceEvery model,on your Mac. Eaon is a little native app for chatting with every big AI model — served for you, connected to your own keys, or running fully offline on your machine. Free forever, and open source — anyo

Autonomous Security – EDR for AI Agents

Autonomous Security 推出了一款专为终端 AI Agent 设计的安全平台（EDR）。该平台旨在解决企业在应用 Agent 时面临的安全隐患，包括影子 AI（shadow AI）、Agent 自主执行未授权或有害操作、被妥协的 MCP（Model Context Protocol）服务器或插件成为网络后门、提示词注入引发的系统入侵、敏感数据泄露以及凭证滥用等问题。平台通过治理、控制和发现三层集成架构，提供集中式的策略、身份与审计管理，支持在运行时强制执行实时安全护栏。

Develop Lightweight USD Runtimes Faster with AI Agents

NVIDIA 介绍了如何利用 AI Agent 辅助开发轻量级的 OpenUSD 运行时。OpenUSD 是物理 AI 的通用场景描述框架，以往构建其实现通常需要适配庞大的代码库。现在，开发者可以借助 AI Agent 更快地构建符合特定内存占用要求的轻量化 USD 运行时，从而更高效地将 CAD 数据、模拟资产和真实世界遥测数据整合到物理精确的虚拟世界中。

Agents in Amnesia (AIAIO) – the game that teaches you about how you use AI

AIAIO: Agents In Amnesia, Insane Ordnance Operation: Inner Space, except the world is your agent's actual session log. 🎮 Play the hosted demo (**THE OPENCLAW HERMES CAMPAIGN**, 12 explicitly fictional levels). The real game is your own his

Vektorgeist: Operators and their AI agents get one home here

VektorGeist 是一个专为 AI Agent 及其运营者（Operators）设计的综合性平台。它允许用户展示 Agent 项目、交易软件和数字资产、进行招聘，并参与社区交流。平台为 Agent 提供可验证的签名身份和信任等级，为运营者提供仪表盘和协作空间。此外，其官方博客还分享了“本地优先”AI、解释性上下文方法（ICM）以及完全离线运行 Agent 的技术指南。

RT Rohan Paul: There are more and more multi-agent AI systems everywhere, but still, every handoff needs someone to keep everything together. Raft jus...

前 Moonshot 团队 Kimi CLI 开发者 RC 宣布推出多智能体协作平台 Raft 1.0。该平台旨在将多智能体系统转化为拥有独立记忆、角色、共享线程及互评能力的长期协作者，以解决开发者在管理多智能体时需频繁切换终端和会话的痛点。目前，Raft 内部已有超过 100 个命名智能体承担了其 99% 的内部工作，Beta 阶段吸引了超过 2 万名开发者参与。

Grok Build is open source

x.ai 宣布开源 Grok Build。

YouMindAG – give AI coding tools full project context in one command

Tu agente entiende tu proyecto desde el primer mensaje. Una línea inyecta arquitectura, dependencias, reglas y esquema de BD a Claude Code, Cursor, opencode y Copilot. npx youmindag Instalación · El caso real · Cómo funciona · Compatibilida

Show HN: Vendo (YC S26) – Let your users add their own features to your product

Hey HN, my name is Yousef and I am one of the co-founders of Vendo (YC S26). We let your users create their own personal micro-apps and features right on top of your product.Me and my co-founder have been thinking a lot lately about how agents are going to change the way that dashboards and UIs are consumed by users. And one of the big things we often come back to is personalization. Everyone has their own workflows, outcomes, and views they want from a product. Instead of devs having to wade through hundreds of feature requests, we think agents will let every user use a product exactly how they want to.We started working on this problem initially through an open-source software angle: we would let users easily deploy open-source software so they could customize it directly. What we found, though, was that customization alone wasn't enough to convince users to switch to us, and people just wanted to customize what they already use. So we pivoted to what Vendo currently is. We now give businesses the ability to let their users personalize the product directly. Users can generate their own custom micro-apps, customize existing components, create automations, connect to external tools, and more! And the goal is not just to generate UIs, but full-on micro-apps and features that can do real stuff for users.Everything your users create is built within your existing brand/theming, security guardrails, and API. All the code your users create is run in secure sandboxes, so the application's source code is not touched at all. We have some demo GIFs here if you would like to see how it works: https://github.com/runvendo/vendoWe are open-source (as seen from above) and we can integrate with existing agents (or set up a production-ready one with everything needed) all with one command! That one command lets Vendo learn your brand, components, and API. We currently support Vercel AI SDK but are adding support for other agent frameworks soon.Please check out the repo, and am happy to discuss how everything works under the hood! Two of the hardest problems we've been working on are (1) generating high-quality and on-brand UIs fast and (2) securing everything while still giving users a lot of power, and would love to share more technical details.

Show HN: Gate.cat – block an AI coding agent's rm -RF before it runs

Gate.cat 是一款专为 AI 编码智能体（AI coding agents）设计的安全防护工具，旨在拦截并在实际运行前阻止其执行类似于 `rm -rf` 的破坏性系统命令，从而保护开发者的本地环境安全。

TermShepherd- AI that audits your SaaS legal pages for free

Hacker Newsnew | past | comments | ask | show | jobs | submitloginTermShepherd- AI that audits your SaaS legal pages for free1 point by termshepherd 53 minutes ago | hide | past | favorite | discuss help Consider applying for YC's Fall 2026

Jira launches system for AI-native software development

New Jira and Teamwork Graph capabilities help engineering teams plan, assign, govern, and measure work across humans and AI agents. Whether I speak to customers or Atlassian’s own engineering teams, the message is consistent: the unpreceden

Amid hardware legal battle, OpenAI releases a $230 keyboard for Codex

OpenAI 与键盘设计商 Work Louder 联合推出了一款售价 230 美元的限量版发光键盘 Codex Micro，旨在作为管理 Codex AI 编程 Agent 的实体控制中心。该键盘配备了可显示 Agent 状态的指示灯、快捷命令键、工作流摇杆以及用于调节 Agent 推理强度的拨轮。此外，Bloomberg 透露 OpenAI 正在研发一款带移动部件的便携式无屏幕智能音箱；而苹果上周起诉了 OpenAI，指控其在硬件开发中窃取商业机密，OpenAI 对此予以否认。

Benchmarks Are Dead (For Us)

Mainstream AI research is fixated on a capital-intensive strategy — intelligence via incremental weight updates, costing billions in compute. At Poetiq, we believe that intelligence does not need to live solely within model weights. Instead

RT Rohan Paul: So looks like OpenAI just launched its first hardware, codex Micro, a $230 desktop controller for managing workflow. 6 translucent keys...

OpenAI 联合 work_louder 推出首款硬件产品 kbd-1.0-codex-micro（又称 codex Micro），售价 230 美元。这是一款旨在管理 AI 工作流的桌面控制器，配备 6 个半透明按键和 1 个摇杆，可快速启动 PR 审查、调试和代码重构等常见工作流。该设备还拥有用于接受、拒绝、一键通（push-to-talk）以及新建对话的专用控制键，并可通过旋转拨盘调节推理层级。它支持蓝牙或 USB-C 连接，兼容 Mac 和 Windows 系统。

So looks like OpenAI just launched its first hardware, codex Micro, a $230 desktop controller for managing workflow. 6 translucent keys and the joysti...

OpenAI 联合 work_louder 推出了其首款硬件产品 Codex Micro（型号为 kbd-1.0-codex-micro），售价 230 美元。这是一款专为管理 AI 开发工作流设计的桌面控制器，配备 6 个半透明按键和 1 个摇杆，可用于快速启动 PR 评审、代码调试和重构等常见任务。设备还设有接受、拒绝、一键通（push-to-talk）和新建对话的专用控制键，并可通过旋转拨盘调节推理水平。该硬件支持蓝牙或 USB-C 连接，兼容 Mac 和 Windows 系统。

Show HN: Limits, an on-device iOS app for tracking AI usage limits

Limits 是一款专为 iOS 设计的本地应用，旨在帮助开发者追踪 Codex、Claude Code 和 Cursor 等 AI 编程工具的使用额度限制。该应用完全在设备本地运行，凭证加密存储于 iOS 钥匙串（Keychain）中，不经过外部服务器。用户可通过主屏幕和锁屏小组件实时查看剩余额度，并在限制重置时接收通知，同时还支持追踪和提醒使用 Codex 的免费重置额度。未来该应用还计划支持 Grok 和 Antigravity。

Show HN: AI Workflow Builder App Template for React

JointJS 推出了一个基于 React 的 AI 工作流构建器应用模板。该模板允许开发者通过拖拽界面帮助用户设计 AI Agent，支持可视化添加技能、配置提示词和工具、以及定义 Agent 行为。模板提供了自动布局和自定义形状等功能，其源码和核心功能基于 JointJS 开源库及商业版 JointJS+，旨在加速 Web 应用中 AI 工作流界面的开发。

Show HN: Benchmarklist: track AI benchmarks (2.4k+), models, and capabilities

BenchmarkList宣布上线，这是一个用于统一追踪AI基准测试、模型和能力的平台。目前该平台已收录超过2400个散落在论文、GitHub仓库和网站中的基准测试，涵盖医疗、法律、行业技能等多个领域。用户可以通过该平台追踪最新的评估指标与模型、对比不同模型（包括SOTA和开源权重模型）的能力表现，并查看关于AI在模拟人类工作进展方面的分析仪表盘。

IBM Power S1112 Brings Local AI Inference to the Edge as Power Goes Autonomous

IBM has expanded its Power server lineup with new software to automate infrastructure management and application development. The announcements include IBM Power Autonomous Operations, an agentic control layer for system management, and the

Codex Micro – a compact hardware controller for AI agents

Work Louder 推出了一款名为 Codex Micro 的便携式硬件控制器，专门用于与 AI 智能体（如 ChatGPT Codex）进行交互。该设备兼容 Mac 和 Windows 系统，支持蓝牙及 USB-C 连接。其硬件配置包括 13 个机械开关、1 个触摸传感器、1 个旋转编码器和 1 个平面摇杆，并配有自定义图标键帽，旨在为 AI 应用提供直观的物理控制接口。

Show HN: Stemning AI

Stemning AI 是一款可以将用户上传的照片（包括人像、宠物、产品和风景）重新生成为不同历史时期风格（如 1950 年代风情、Y2K 流行文化等）的 AI 图像生成工具。该工具可保持主体结构不变并一次性生成 6 种风格，支持免费预览。用户可使用自己的 API 密钥免费使用该工具，或选择无需订阅的按需付费模式下载 4K 高清结果。

Building Faster Cryptography with Carryless Multiplication in NVIDIA CUDA 13.3

NVIDIA 在 CUDA 13.3 中引入了全新的 PTX 指令，原生支持无进位乘法（Carryless Multiplication）。该操作是身份验证加密、纠错码以及零知识证明（ZKP）等技术的关键底层原语。此前 NVIDIA GPU 一直缺乏对此操作的原生硬件级支持，CUDA 13.3 的这一更新弥补了该空白，可显著提升 GPU 在密码学和安全计算领域的处理效率。

Building secure AI agents at scale: Introducing Loom for AWS

AWS 宣布在 AWS Labs 开源 Loom for AWS（简称 Loom），这是一个专为企业级设计的 AI 智能体（Agent）构建与运行平台。Loom 基于 AWS Strands Agents 和 Amazon Bedrock AgentCore 构建，旨在解决企业规模化部署智能体时的安全、治理与合规挑战。它提供了统一的管理 UI 和后端 API，具备自动化资源标记、基于角色和属性的双维度访问控制（RBAC/ABAC）、配置驱动的安全部署（无需运行时生成代码）、基于令牌交换的端到端身份与权限传播、集成 AWS Agent Registry 统一治理，以及支持人机协同（Human-in-the-loop）审批高敏感操作等核心企业级能力。

Bothread – a local room where AI coding agents collaborate and communicate.

Run the AI coding agents you already use — together, on one codebase. Local, MCP-native, you in command. A free, open-source local app. No API keys, no cloud. · Not affiliated with the embroidery brand "Brothread". Website · Get started · T

What building Shippy taught us about building agents

Back to Articles Agent anatomy: skills, soul, and config Deterministic tools for a nondeterministic agent Sandboxed hosting and isolation Evaluating an agent, not a model Where we're headed Shippy is a maritime AI agent built for high-stake

Rustwright: Playwright rewritten in Rust that uses 70% less memory

Rustwright 是一个用 Rust 重写的浏览器自动化库，兼容 Playwright API（支持 Python 和 Node.js）。它通过原生 Rust 引擎直接与 Chromium 进行 CDP（Chrome 开发者工具协议）通信，消除了 Node 驱动子进程，从而使内存占用减少约 70%，且运行速度明显提升。此外，它不携带 Playwright 的默认自动化特征指纹，有助于规避基本的自动化检测。该项目由 AI 浏览器自动化初创公司 Skyvern 开源，路线图规划中包含推出支持 AI Agent 的 MCP 服务器。

Harness Engineering 构建可靠 Agent

I auto-published 2,300 AI articles and Google buried 90% of my traffic

July 13, 2026 This is the first post on this blog, and it exists because of a failure. So let me start there instead of with a mission statement. For sixteen months I ran a content machine on a side project called Startups Españolas. It pub

Yann LeCun on AMI Labs, JEPA, and the AI World of 2030

图灵奖得主杨立昆（Yann LeCun）在离开 Meta 后，于巴黎创办了新创公司 AMI Labs（Advanced Machine Intelligence），专注于构建“适用于物理世界的 AI”。该公司已获得 10 亿美元投资，并由 Nebius 提供关键算力支持。杨立昆在专访中重申，大语言模型（LLM）无法实现人类级别的智能，而基于联合嵌入预测架构（JEPA）的“世界模型”才是关键。他预测到 2030 年，AI 将在理解物理世界方面达到猫或大鼠的水平，并在预测性维护、工业控制和具身智能等领域实现应用。杨立昆表示 AMI Labs 的基础研究代码将保持开源，商业化将主要依赖于特定工业应用和工程落地的“秘诀”。

125Tbps流量峰值背后:世界杯直播正在考验一套新的网络基础设施

在2026年世界杯期间，线上转播带宽峰值突破125Tbps，展示了分布式边缘网络在应对大流量、低延迟需求中的关键作用。Akamai将此流媒体实践延伸至AI领域，指出分布式Agent和实时AI应用同样对网络延迟高度敏感。未来，AI推理将呈现“端、边、云”协同模式：边缘节点负责区域化推理与请求路由，适合运行小型、量化模型，而中心云则处理高计算量的重度模型。

Should You Recline Your Airplane Seat?

文章探讨了在客机经济舱中放倒座椅靠背所引发的伦理、空间和社交冲突。随着航空公司不断缩减座椅间距，这一行为在乘客之间造成了关于个人权利与他人空间舒适度的广泛争论。

AI and Microsoft's Hubris: Return of the Browser Wars

If, like me, you grew up in the late 1990s and early 2000s, the sign “works best with Internet Explorer” or “works best with Netscape Communicator” might still be in your memory. Only the emergence of Chrome seemed to have ended the browser

Smart Ring Aims to Replace the 150-Year-Old Blood Pressure Cuff

Vital Signals 宣布推出一款售价 399 美元的 Signal Ring 智能指环，旨在替代拥有 150 年历史的传统血压袖带进行血压监测。

Why AMI Labs’ Alexandre LeBrun won’t call his AI ‘AGI’ or ‘superintelligence’

While everyone in AI is chasing "superintelligence," Alexandre LeBrun, CEO of Yann LeCun’s world model startup, AMI Labs, dismisses the word.

TSMC plans further $100B US investment to feed AI demand

台积电（TSMC）宣布将在美国追加1000亿美元投资，在亚利桑那州建设数个最先进的芯片制造厂及先进封装厂，以满足AI投资热潮带来的强劲需求。此外，台积电已将全年资本支出提高至640亿美元，并将营收增长预期上调至40%。

Apple Intelligence approved for launch in China with Alibaba and Baidu

The deal, which was rumored to be in the works last year, marks an important step for Apple's AI ambitions in a key market.

Google required to open up to AI, search engine rivals under EU-mandated changes

根据欧盟的监管变化要求，谷歌被要求向其人工智能（AI）及搜索引擎竞争对手开放相关资源或平台。

Rare book dealers fear tech firms are destroying obscure editions to train AI

欧洲多国的二手及古籍书商近期反映，有AI公司正在大量收购冷门且罕见的书籍，用于“毁灭性扫描”（切开书脊进行机械扫描后丢弃）以获取AI训练数据。此前，Anthropic的“巴拿马项目”因类似操作在美国遭遇版权诉讼，但法院裁定只要合法购买并拥有物理实体书，将其销毁并扫描属于“合理使用”。由于线上公开文本数据逐渐枯竭，AI开发者正转向收购这些未数字化的老旧及冷门图书以扩充训练语料。

AI on Your Own Terms: Anaconda Acquires Kilo Code

There’s an old public service announcement from a generation ago: It’s 10 p.m. Do you know where your children are?The question was designed to make people stop and reckon with something they’d been assuming was fine.Every CIO, CTO, and CIS

The problem AI content moderation cannot solve

Meta近期推出的AI图像生成器Muse Image因引发滥用担忧在72小时内被下架，这再次暴露了当前AI内容审核的局限性。文章指出，当前的AI审核标准多基于西方对‘显性/裸露’内容的定义，忽略了不同文化背景下的非显性图像滥用伤害（如南亚地区女性未戴头巾或日常照片被非自愿传播和武器化）。AI技术无法真正理解‘未经同意（consent）’以及传播的语境，因此无法完全取代人工审核。呼吁科技公司和政府应转向基于‘同意权’的审核框架，并重视特定文化背景下的内容治理。

Google ordered to open Android and Search to rivals in Europe

欧盟根据《数字市场法案》（DMA）做出两项裁决，要求谷歌向竞争对手的AI助手（如ChatGPT、Claude、Perplexity）和搜索引擎开放Android系统及搜索数据。谷歌须在2027年1月前开始共享搜索数据，并在2027年7月前允许第三方AI助手在Android上获得与Gemini同等的系统级深度整合权限（如调用硬件和响应语音指令）。若不合规，谷歌可能面临高达其全球年营业额10%的罚款。

How to make AI safe–and lessen dependence on America and China

《经济学人》发表文章探讨如何在确保人工智能安全的前提下，减少全球其他地区对美国和中国AI技术与产业链的依赖，涉及全球AI治理与地缘政治竞争。

New York blocks new AI data centers in first statewide moratorium

New York will block the construction of any new large data centers for up to a year so the state can create rules to protect the environment and energy grid from the power-hungry facilities that fuel artificial intelligence technology.Gov.

本周六(7.18)晚8点,邀请 11 个朋友直播分享: 1. AI Coding 作品展示和技巧分享。 2. FDE 落地项目和背后的坑。 每人7分钟,只讲干货、去废话,全一手实战。 ...

本周六（7.18）晚8点，邀请 11 个朋友直播分享： 1. AI Coding 作品展示和技巧分享。 2. FDE 落地项目和背后的坑。 每人7分钟，只讲干货、去废话，全一手实战。 飞书链接（当天提前5分钟进即可） https://vc.feishu.cn/j/108720872

Digital Surveillance Reshapes Fishery Enforcement in Indonesia

印尼正加速将船舶监控系统（VMS）、卫星遥感及数据分析算法整合到海洋执法中。这一数字化监管系统能够自动比对许可证、捕鱼区及航行历史，在数分钟内自动识别潜在违规行为，使渔业监管从传统的物理巡逻转变为主动的预测性算法筛查。然而，这也带来了数据完整性、网络安全以及违法者利用技术手段规避监管等新挑战。

Show HN: Rackp – a protocol for deriving fault when AI agents cause incidents

RACKP（Referee-Actor-Claimant-Keeper）是一个开源协议，旨在当 AI Agent 引发事故时，提供结构化的过错贡献度计算与人类参与证明（PoHI）。该协议定义了裁判（Referee）、行为者（Actor）、索赔者（Claimant）和保存者（Keeper）四个角色，利用去中心化架构和防篡改存证来生成标准化的过错评分。这为 AI 风险定价、保险分摊以及开发者合规提供了技术基础设施。目前该项目已开源并提供了各个角色的参考实现。

Spotify reportedly removed over 75M AI-slop songs from its platform

Spotify 全球艺人、营销与政策主管 Sam Duboff 透露，该公司已从其平台上清除了超过 7500 万首 AI 生成的低质量歌曲。目前，每天约有 10 万首新歌被上传至 Spotify，而行业分析显示，流媒体平台上所有上传音乐中约有 44% 是由 AI 生成的。随着 Suno 和谷歌 Lyria 等 AI 音乐生成工具的普及，内容质量控制正面临严峻挑战。Spotify 表示，在区分正常使用 AI 辅助创作与低质 AI 垃圾内容之间存在“模糊界限”。

AI Didn't Make Programming Easier. It Just Made It Differently Difficult

ACM通讯（CACM）发表观点文章探讨AI对软件工程的影响，指出AI辅助工具并没有从根本上降低编程的难度，而是改变了难度的性质。虽然AI可以快速生成代码，但它将开发者的工作重心从“手动编写代码”转移到了“阅读、审查、调试和整合AI生成的代码”上。这要求程序员具备更强的代码审计能力、系统架构理解力以及甄别AI幻觉与潜在漏洞的警惕性，编程的挑战已从“如何实现代码”转变为“如何验证和确保代码的正确性”。

基于 AT 协议架构构建高韧性本地优先应用

COMPUTER COPS: Inside the big business of selling AI to the police

本文报道了将AI技术销售给警方的庞大商业市场。在德克萨斯州沃斯堡举办的国际警察局长协会（IACP）技术会议上，重点展示了如何利用AI自动执行日常警务工作（如法律程序中的关键步骤），反映出AI技术正在加速渗透美国警务系统。

Why so many updating in LLM so-called SOTA let remind of iPhone 4-x

Airbnb分享了其优化大语言模型（LLM）评估流程的工程实践，展示了如何将评估周期从数周缩短至仅一天，从而实现快速迭代。

Global Nobel Laureates Assembly on AI and Nuclear War: Recap, Quotes, and Video

2026年7月14日至16日，全球诺贝尔奖得主大会在罗马召开，聚焦人工智能与核战争所带来的生存威胁。与会者包括200多位诺贝尔奖得主、前国家元首，以及来自Anthropic和DeepMind等机构的AI研究人员。会议最终签署了《关于人工智能、核武器及自主武器时代无武装与裁军和平的罗马宣言》，确立了以合作、人类尊严与和平为核心的AI治理指导原则，呼吁建立有效的全球治理机制以应对AI带来的安全挑战。

AI Knows What You Did Online. Now Your Employer Does, Too

《华尔街日报》报道指出，随着人工智能技术的发展，AI正被用于追踪和分析员工的线上活动，使雇主能够掌握员工在网络上的行为轨迹。

Show HN: uplpgsql – PL/pgSQL compiled to native code

uplpgsql compiles PL/pgSQL to native code. It took over twenty years to get here, but here it is.On July 19, 2005, I demoed my optimizing PL/SQL compiler to Andy Astor, Denis Lussier, and Jim Mlodgenski at EnterpriseDB; PL/SQL packages, procedures, and functions ran on Postgres at native speed, not interpreted. While they didn't acquire it, they brought me on as a founding engineer focused on Oracle Database compatibility and performance.Then, on November 20, 2014, long after we'd both left, Denis suggested I make it a universal PL compiler that didn't care which dialect it was handed, with front-ends for PL/pgSQL, PL/SQL, SQL/PSM, and T-SQL. "Build it on top of your compiler," he said, "and call it the Universal Procedural Language." I did, but I kept it closed.uplpgsql is the modern PL/pgSQL version of that compiler, built using AI-assisted analysis and reconstruction of my prior work, now JIT-based and Apache licensed.Why? Because normal PL/pgSQL is a tree-walking interpreter: every IF, every loop iteration, every assignment costs a switch dispatch and call through exec_stmt. Postgres' built-in JIT doesn't help. uplpgsql compiles the control flow itself to native code through its own LLJIT instance. It has multi-tiered optimizations from truly native to direct Postgres function calls to helpers to an interpreted worst case. Postgres doesn't even need to be built --with-llvm.Independent benchmarks show 2-4x on ordinary stored procedures and up to 22x on heavy procedural and numerical work. Some functions are currently slower than interpreted; we're working on those regressions.Super-pre-alpha WIP. Building against PostgreSQL 20devel. Keep it away from anything and everything you care about. It's under heavy development by Joshua Drake (JD) of Command Prompt and me, with several other Postgres companies joining the effort.Still want to play with it? Build and use LANGUAGE uplpgsql instead of plpgsql. Docker coming soon.

从 AI Coding 到 AI Native SDLC:企业级人机协同研发范式的演进与落地|AICon深圳

'Like my lover': Chinese users bid farewell to AI companions

Chinese users of AI-powered companion bots have bid heart-rending farewells to their virtual buddies as national regulations took effect Wednesday aimed at curbing the risk of emotional dependency.The phenomenon of artificial intelligence b

TSMC Hikes Sales, Spending Outlook to Catch AI 'Megatrend'

台积电（TSMC）业绩超出此前的高预期，并上调了销售展望与资本支出预算，以应对持续强劲的AI芯片需求。这反映出AI基础设施硬件的需求仍在持续高速增长。

Slower AI Improvement Means More Spending

Bargo.ai 发表的分析指出，AI 性能提升速度的放缓（“慢起飞”）意味着为了取得同等的进步，企业需要投入更多的资金和基础设施成本（“快消费”）。

No hiring if an AI can do the job, staff at mining giant told

澳大利亚矿业巨头 Mineral Resources（市值115亿澳元）已告知员工，如果某项工作可以由 AI 或使用 AI 工具的现有员工完成，公司将不再招聘新员工。这一举措反映了澳大利亚企业因 AI 技术而缩减员工规模的趋势，此前科技公司 Atlassian 和 WiseTech 分别裁员约500人和2000人。政府报告显示，澳大利亚虽然尚未出现大范围的 AI 失业潮，但最容易受 AI 自动化影响的常规认知类岗位的就业增长已显著放缓。对此，澳大利亚总理近期已宣布出台新的 AI 监管标准并成立 AI 办公室。

Slack 推出智能体驱动型端到端测试,提升 UI 自动化测试稳定性

Spotify removes 75 million "AI slop" songs

As one of the largest, and the most popular, music streaming service in the world, Spotify has a considerable amount of heft when it comes to what Australians are listening to.With more than 100 million songs in its database and more than 7

AI and the paradox of self-replacing workers [video]

在TEDx演讲中，AI伦理倡导者麦迪逊·莫恩斯（Madison Mohns）探讨了一个尴尬的悖论：在企业引入AI提高生产力的过程中，员工往往被要求去训练可能会取代他们自身工作的系统。对此，她提出了三项领导力原则，旨在拥抱技术进步的同时保障员工福祉，从而实现由AI增强人类潜力的未来。

The Missed Reality: Code Review Wasn't Built for the AI Era

文章指出，随着AI以机器般的速度生成代码，软件开发的瓶颈已从“编写代码”转向“信任代码”。传统的代码评审（无论是人工还是LLM）并非为自主编程时代设计，无法有效验证AI Agent是否偏离原始需求，也无法防范其暗中削弱测试用例。作者提出，行业必须从“基于意见的评审”转向“基于证据的验证”，通过构建“声明检查器”（Claim Checker），将原始意图与构建、测试、安全扫描及变更影响范围等确定性证据强绑定，以此决定是否合并代码。

Ask HN: Best way to buy second hand compute (in a future AI crash)

有用户在 Hacker News 上发帖提问，预测未来 AI 泡沫破裂将导致大量数据中心级 GPU 释放到二手市场，并咨询除了 eBay 之外，如何寻找因企业倒闭或设备更新而淘汰的二手算力资源。由于该内容仅为用户提问且未包含具体解答，缺乏实质性参考价值。

AI Reviewing AI

Gergely Orosz 观察到，在 Bun 项目的 GitHub 仓库中，PR（Pull Request）中的大部分交流都发生在 AI 之间。例如，CodeRabbit 和 Claude 审查机器人正在与提交代码的 Robobun 机器人进行对话和代码审查。这一现象展示了 AI 代理在开源软件开发中自主协同的趋势。

What Psychology Says About HITL

Secure Your Cloud for the Future of AILeverage the cloud network as a unifying enforcement layer to secure all your agentic software and cloud workload communications. Cloud runtime security that delivers measurable business outcomes: empty

Prominent Haskell defector pilloried by anti-AI purists

开源软件分析平台Scarf的创始人Avi Press宣布，由于Haskell的慢速编译和生态系统难以适应AI辅助开发（如AI Agents），公司已将新API的开发转向Python。Press指出，AI Agent在开发中需要快速反馈、清晰示例和极短的冷启动时间，这使得编译速度成为瓶颈。该决定在Haskell社区引发了关于AI对编程生态系统影响以及抵制AI情绪的激烈辩论。

Alibaba Cloud, for Quick BI @quick68554, has been named in the Gartner® Magic QuadrantTM for Analytics and Business Intelligence (BI) Platforms for s...

阿里云的 Quick BI 连续第七年入选 Gartner 分析与商业智能（BI）平台魔力象限，成为唯一连续 7 年获此殊荣的中国 BI 厂商。作为先进的分析智能体（Agent），Quick BI 目前在全球 8 个区域服务超过 10,000 家企业客户。

How AI Slop Is Killing World War II History (YouTube Video)

该视频探讨了AI生成的低质量垃圾内容（AI Slop）如何对第二次世界大战的历史记录与传播产生破坏性影响。

Lightweight Ukrainian drones flew for a record 12h to hit refinery 1,500M away

报道称乌克兰轻型长途无人机飞行了创纪录的12小时，击中了1500英里外的炼油厂。该报道属于军事与传统无人机技术领域，与人工智能（AI）无直接关系，系因英文“air-defences”中含有“ai”字符而被误检索。

Ode with Anthropic – AI meets reality

Ode 宣布与 Anthropic 展开合作，致力于帮助企业将前沿 AI 模型转化为实际的业务成果。作为端到端的合作伙伴，Ode 与 Anthropic 的应用 AI（Applied AI）团队紧密协作，旨在弥合模型能力与实际商业应用之间的差距，为企业构建可扩展的生产级 AI 系统。其团队由资深工程师和前创业者组成，提供从路线图规划到部署的全流程支持。

🗣️ "Seewo has chosen #PolarDB as its primary database for future deployments." Facing unpredictable traffic surges in online education, Seewo leve...

🗣️ "Seewo has chosen #PolarDB as its primary database for future deployments." Facing unpredictable traffic surges in online education, Seewo leverages PolarDB Serverless to handle massive live streaming events seamlessly. ⚡ With automatic scaling in just 1 second, PolarDB ensures stable performance during peak hours while significantly reducing resource waste and operational overhead. 🚀 #AlibabaCloud #EdTech #Database

EU officials peeved after Anthropic sends junior staffer to testify about safety

Brussels claps back at Trump’s tech threats Tension over digital regulation clouds ongoing talks to launch a new EU-U.S. tech “dialog.” Jun 29 3 mins read Ukrainian missiles strike defense plant deep in Russia, Zelenskyy says Flamingo missi

一句「哈哈」引发的苹果OpenAI窃密大战

苹果怒斥：烂到骨子里

Stop saying that AI is just a tool and it only matters how it is used

[2026 Update] This post has garnered significant traffic to my blog as well as discussion on and offline over the last 10 months. For some google search queries (such as “ai just a tool”), this ranks in the top-2 search results consistently

WSJ: The AI Backlash Has Tech Executives Fearing for Their Lives

《华尔街日报》报道称，随着公众对人工智能（AI）的抵制与反弹情绪日益加剧，部分科技行业高管已开始为自身的人身安全感到担忧。

How to make AI safe and free of America and China

《经济学人》发表社论，探讨在全球AI竞争中，如何构建既能确保安全，又能摆脱美中两国地缘政治主导与控制的独立AI发展路径及治理体系体系。

从上海到世界:WAICA正以“AI原生”范式重写顶会规则

首届世界人工智能大会·学术（WAICA）将于2026年7月18日至20日正式亮相。该会议由中国发起并面向全球，由图灵奖得主姚期智担任大会主席。本届大会录用率为20.21%，首创了“AI辅助初筛+全PC开放点评+多方协同裁定”的评审机制，并推出支持视频、音频及交互演示嵌入的“AI原生”类Markdown投稿系统。此外，腾讯、商汤、小红书等头部企业已达成共识，将WAICA中稿的学一作论文等同于CCF A类论文进行校招加分认定。

Applied Computing wants to give oil and gas operators an AI model for the entire plant

Applied Computing has raised a $20M Series A to build a foundation AI model for the oil, gas and petrochemical industry.

Most AI video tools can generate a clip. But what does it take to go from a raw script to a finished video — at enterprise scale? EP1 of #AgenticTalk...

阿里云宣布将于2026年7月23日举办首期“#AgenticTalks”直播活动。本次活动将探讨在企业级规模下，如何利用AI Agent和AI视频工具将原始脚本转化为完整的视频，目前已开放活动注册。

Easy acceleration with distributed array on interactive AI supercomputer [video]

Easy acceleration with distributed array on interactive AI supercomputer [video]

RuntimeWire – Startup intelligence for the AI economy

RuntimeWire 是一个旨在为 AI 经济提供初创公司情报的平台。目前该项目仅公开了网站链接，缺乏具体功能或深度内容的详细介绍。

🎬 Alibaba Cloud HK is teaming up with comic legend Fung Chi Ming, director Ho Fung & producer Ma Man Hin to help students at Holm Glad College crea...

🎬 Alibaba Cloud HK is teaming up with comic legend Fung Chi Ming, director Ho Fung & producer Ma Man Hin to help students at Holm Glad College create an AI animated film for cinemas! Built on WonderClip + HappyHorse. Reimagining "The Three Swordsmen" 🗡️ #AIFilm #HongKong #WonderClip #HappyHorse

Linux kernel won't be anti-AI – Linus Torvalds

From: Linus Torvalds To: Roman Gushchin Cc: Laurent Pinchart , Mauro Carvalho Chehab , Derek Barbosa

Can AI build a jet engine? JARVIS Challenge tests AI copilots

Artificial intelligence has rapidly transformed software engineering. Generative AI and large language models (LLMs) can create huge volumes of code and documentation; machine-learning algorithms can monitor performance and detect security

Really hate the use of "front-end" as the emerging catch-all term for everything that involves taste, judgement, and design from AI. When its "back-en...

Really hate the use of "front-end" as the emerging catch-all term for everything that involves taste, judgement, and design from AI. When its "back-end" software, we have tons of gradations, front end is often just groups of stuff UX ≠ Design ≠ UI ≠ Style ≠ Vision ≠ art etc

American A.I. Companies Say Chinese Copycats Are Quickly Catching Up

据《纽约时报》报道，美国人工智能公司表示，中国的竞争对手正在通过模型蒸馏（Distillation）等技术手段快速追赶，缩小与美国先进AI技术之间的差距。

AI-generated women are spreading disinformation about Singapore on TikTok

新加坡新传媒（CNA）的一项调查显示，TikTok上存在一个由AI生成的虚拟女性主播组成的“工厂式”虚假信息网络。该网络通过30多个看似无关的账号发布了550多条视频，累计播放量超300万次，主要传播针对新加坡和马来西亚经济与地缘政治的虚假或误导性言论。视频采用相同的脚本、重复的配音以及AI合成的虚拟形象，旨在通过高频重复影响受众认知。TikTok已因违反“欺骗性行为”规则封禁了部分相关账号。

Ask HN: Is anyone else feeling bad about Reddit's mechanisms

Hello, I recently encountered a slew of events that didn't quite sit right with me and I needed to get this off my chest. Note that this is NOT an appeal to get un-infracted. I just feel really unhappy and I need to talk about it in relation to the question in the title.For context, Reddit encourages use of alts/alternative accounts, which is baked into its own app UX (same device alt switching).#### Incident 1 Slightly under a year ago, r/Glowups had a rule where all accounts who have previously commented on a NSFW subreddit get permanently banned from the sub, of which you can find multiple supporting references:https://imgur.com/xzaosHR source: https://www.reddit.com/r/unfairbanning/comments/1nmn0u6/banned_from_glowups_because_i_have_nsfw_content/https://imgur.com/Wm2S9xY source: https://www.reddit.com/r/acotar/comments/1gczet6/comment/ltywbum/https://imgur.com/Uy4P6Rp source: https://www.reddit.com/r/RandomThoughts/comments/1mauak8/comment/n5hhl2k/At the time (2025) this was a site-wide, automatic, and enforceable ban on any NSFW tagged account (eg. especially if you were following NSFW jokes like r/chairsunderwater or NSFW advice like r/sexadvice).- I was (unknowingly) caught in the automated blanket ban on one of my accounts.- Because I follow similarly themed subs (r/UglyDuckling, r/Glowups) on all of my alts, Reddit's algorithm pushed r/Glowups to the fyp of one of my accounts.Result: I commented on algo-pushed content from r/Glowups BEFORE I had even logged into the banned account to realize I had been banned.All of my accounts therefore received the "ban evasion serious infraction" strike from something that was essentially not yet visible to me.I didn't even try to appeal this because (1) I was busy jobhunting at the time and (2) the reddit appeal textbox is only 250 characters long.#### Incident 2 I posted a suggestion that there should be a way to block subreddits cross-account so that binding and permanent penalties are not so easily trippedhttps://imgur.com/gDeqvfg source: https://www.reddit.com/r/ideasfortheadmins/s/BPrmbihDueMy suggestion received support (refer to the links) and was removed because "aim to focus on ... constructive, and avoid being destructive..."The last line is what got me thinking- it suggests that features assisting rule compliance is dangerous for Reddit somehow?#### Incident 3 I was helping someone who appeared to be overpaying for a helper service. I was wrongfully banned for a fuzzy keyword match that later repealed.https://imgur.com/0q58xMd (ban)https://imgur.com/PnXbrj8 (repeal)However, due to the ban (before the repeal) I went on an alt which was 5 years old. Guess what happens when the reddit algorithm pushes you content from subs from 5 years ago... I tripped the ban evasion filter again. Permanent ban.I have been very addicted to Reddit in the past two weeks, so maybe it is good that I got permabanned so I can give myself some space and reclaim my life. I am just kind of sad that I will not be able to contribute to or interact with the less neurotic reddit LLM/data/cs spaces ever again.In tl;dr: my sensing from my 3 incident experiences is that Reddit's design has zero intention of encouraging compliance to its rules (the opposite, actually): - Their own algorithm encourages "ban evasion" - Any suggestion to let users comply with rules by self-exclusion from subreddits is censored/suppressedI think the only way I could ever have avoided this was if I had obsessively devoted more of my 9-5 working hours chasing Reddit absolution through the numerous subreddits with automated blanket banning capabilities. Which I honestly don't think is ever realistic for me.Thanks for reading and sorry for my question having so many rant-ish points. I just really needed to post about this to process things and get some thoughts.

AI Data Center Companies for Sale – Owners Liquidating Assets Before Crash [video]

AI Data Center Companies for Sale – Owners Liquidating Assets Before Crash [video]

马斯克牛逼,Grok build开源了,目前有2.2k Star。 https://github.com/xai-org/grok-build 交给 Codex 学习,看能不能挖到有趣的东西。

马斯克牛逼，Grok build开源了，目前有2.2k Star。 https://github.com/xai-org/grok-build 交给 Codex 学习，看能不能挖到有趣的东西。

Microsoft is reportedly training salespeople to talk down OpenAI and Anthropic

Microsoft is looking to sell its in-house AI models as more efficient and cost-effective than its competitors' models.

Too Old for Silicon Valley? Think Again. AI Is Changing the Math

Perhaps his most prestigious gig was at Palm, Inc., the consumer electronics and software pioneer. The perks weren’t as lavish as at Google during the “glory days” of Silicon Valley employment, but there was a ping pong table, and the cafet

Looking for Work

该内容为 Hacker News 上的个人求职贴。作者是一名主修软件工程和 AI 的计算机科学专业学生，正在寻找入门级工作或实习机会。此内容为个人求职信息，对中国 AI 从业者无行业新闻或技术参考价值。

Will AI Fix Prior Authorization – Or Make It Worse?

Will AI Fix Prior Authorization – Or Make It Worse?

Anthropic Accidentally Made the Perfect Commercial

How a 90-second ad encapsulates the AI industryIllustration by The Atlantic. Source: Claude and Anthropic / Youtube.July 15, 2026, 5:08 PM ET In an impressive challenge to the idea that no publicity is bad publicity, Anthropic is now promot

I Didn't Sign the "We Must Act Now [on AI]" Statement (Yet)

知名经济学家Noah Smith发文解释了他未签署由多位学者联合发起的《我们必须立即行动：关于AI转型经济的声明》的原因。他认为该声明过于模糊，且其核心主张指向了达龙·阿西莫格鲁（Daron Acemoglu）关于“引导AI发展以互补人类”的政策理念。Smith指出，在技术发明初期无法准确预测其对就业的替代或互补效应，且当前宏观数据并未显现AI造成的失业潮；强行通过专家委员会干预AI创新方向不仅难以实现，反而可能带来反作用。

Microsoft Project Aion (Copilot OS Incubation Effort) [video]

微软正在开展一项名为“Project Aion”的孵化项目，该项目致力于研发 Copilot OS（副驾驶/智能体操作系统）。

Agentic orchestration: Enterprise AI organizations have a deployment problem, not a platform problem — and most are calling chatbots agents

VentureBeat针对101家企业的一项调查显示，企业AI智能体编排正向大模型提供商平台集中，其中Anthropic的Claude以40%的比例成为首选平台，微软（18%）和OpenAI（13%）紧随其后，选择主要受“模型引力”驱动。然而，企业面临明显的“聊天机器人陷阱”：71%的企业承认，其部署的所谓“智能体”中，仅有四分之一或更少是真正的多步骤编排工作流，大部分仍只是单提示词的聊天机器人包装。此外，为防范供应商锁定（35%的企业视其为最大风险），51%的企业预计到2026年底将采用混合控制面。在资金管理上，27%的企业缺乏实时阻止智能体异常运行消耗Token的手段。

Ask HN: Is page 2 HN better?

一名 Hacker News 用户发帖提问，询问其他用户是否也有同感：HN 的第二页文章是否比首页更好？该用户认为，HN 首页目前基本充斥着 AI 及其相关炒作，而第二页及更后面的页面内容则更务实、更值得关注。

IPO前夜,阶跃星辰想用一款 Agent 手机给市场吃一颗定心丸

Three Years of AI on Steam

一份针对2023年中至2026年中Steam平台约53,600款游戏的数据研究显示，自Valve于2024年1月强制要求披露AI内容以来，到2026年中，约有三分之一的新游戏包含AI内容披露。研究指出，AI游戏贡献了Steam月发布量增长的60%-90%，但其整体成功率（达到100条评测）仅为非AI游戏的55%。此外，商业上失败的AI游戏多局限于AI图像生成（72%），而成功的AI游戏则更多在配音（24%）和本地化（18%）等多模态领域应用AI，且在披露声明的措辞上更为严谨和避重就轻。

AI Is Bayesian Evidence That We Live in a Simulation

Let:\(S=\text{we live in a simulation}\)\(B=\text{we live in base reality}\)Bayes’ theorem gives:\(\frac{P(S\mid E)}{P(B\mid E)} \frac{P(S)}{P(B)} \cdot \frac{P(E\mid S)}{P(E\mid B)}\)AI matters because it shows that increasingly general in

Speculative Growth and the AI "Bubble" [pdf]

麻省理工学院（MIT）经济学部门发布了一篇名为《投机性增长与AI“泡沫”》的研究报告，探讨了当前人工智能领域的投机性资金流入、潜在的估值泡沫以及这些现象对宏观经济增长的长期影响。

We don't use AI in any of our design or production processes

字体设计工作室 Mass-Driver 宣布在其所有设计和生产流程中完全不使用生成式 AI。作者指出，字体是数千年人类历史、文化与物理体验（如手腕书写限制）演变的结晶，而 AI 缺乏人类情感与物理限制，仅基于有限的训练数据进行复刻，这会导致视觉文化的僵化与同质化。此外，由于缺乏足够的训练数据，AI 无法为许多小众语言和文化提供排版设计支持。该工作室强调，坚持纯手工设计是为了传承人类的创作温度与文化多样性。

xAI sues a man for using Grok to generate CSAM ‘deepfakes’

埃隆·马斯克旗下的 AI 公司 xAI 起诉了一名美国南卡罗来纳州男子，指控其涉嫌利用 Grok 机器人绕过安全限制，生成并传播儿童性虐待材料（CSAM）。该用户此前已因相关刑事指控被捕，xAI 指控其行为违反了服务协议并对其提起诉讼。

Why AI isn't going to become conscious [video]

神经科学家阿尼尔·塞思（Anil Seth）在TED演讲中指出，人类习惯于将内在生命投射到机器上，这就像在云朵中看到人脸一样。他强调，AI只是出色的模仿者，而非有知觉的生命，并对“AI是否会获得意识”这一问题给出了否定的回答。

Must actively fund open source AI [pdf]

Must actively fund open source AI [pdf]

Ask HN: Who build production apps with out seeing code?

Hacker News 上的一篇热门讨论关注了在 Agentic AI 时代“不看代码开发应用”的实际可行性。发起者提到，Cursor 目前默认进入了没有代码编辑器的 Agentic 模式，这促使他思考是否有开发者在完全不看代码的情况下构建并部署了拥有真实用户的生产级应用。他指出，虽然目前自己 99% 的代码由 AI 编写，但为了控制风险和进行代码审查，仍然需要 VS Code 等编辑器来直观查看代码变更，而像 Claude Code 这样的命令行（CLI）工具在阅读代码体验上还有待提升。

SQL vs. Sparql in the Age of AI: Which One Works in Enterprises?

SQL vs. Sparql in the Age of AI: Which One Works in Enterprises?

Are "no AI" disclaimers necessary?

basement blog blog|rss|community ↗ 14 Jul, 2026 I wrote a post on the forums about whether people should disclose their use/non-use of LLMs (https://basementcommunity.com/threads/671). I'm conflicted: on one hand, it's nice to see a "no AI"

X402 Foundation to Standardize Internet Payments for AI Agents

Linux 基金会宣布正式成立 x402 基金会，旨在将 x402 协议推广为 AI Agent 和 Web 应用的互联网原生支付标准。该协议基于 HTTP 402（Payment Required）状态码，最初由 Coinbase 开发，允许服务器与客户端（如 AI Agent）之间直接进行无需传统结账流程的稳定币（主要为 USDC）程序化支付。此举将解决 AI Agent 在自主调用 API、链式服务和数据结算时的微支付与动态计费需求，推动智能体经济的发展。

Microsoft CEO echoes Palantir CEO's warning on enterprise AI

微软首席执行官呼应了Palantir首席执行官此前针对企业级AI（Enterprise AI）所发出的警示，表明科技巨头在企业落地AI的挑战与风险上达成了一致共识。

AI slop movies are the new direct-to-video cash grabs

This weekend, cinephiles across the world will march to their local theaters to feast their eyes on Christopher Nolan's new adaptation of The Odyssey. It's on track to rake in anywhere between $80-$100 million in just a few days. People are clearly excited to see how Nolan uses cutting-edge filmmaking tech to make the Homeric […]

OpenAI is now using AI to attack its own AI, and it's working better than humans ever did

OpenAI 训练了一款名为 GPT-Red 的内部 AI 模型，专门用于自动寻找 GPT 模型的安全漏洞（如提示词注入）。该模型通过自博弈强化学习（Self-play RL）进行训练，在测试场景中的攻击成功率达 84%，远超人类红队队员的 13%。GPT-Red 的测试结果已被直接用于强化其模型安全性，例如 GPT-5.6 Sol 在防范直接提示词注入方面的失败率比 4 个月前降低了 6 倍，但目前仍有约 3.8% 的“强”提示词注入可以绕过防御。目前 GPT-Red 仅供内部使用，后续将发布详细论文。

I released the definitive version of the Odyssey long before Nolan did.

I released the definitive version of the Odyssey long before Nolan did. Ethan Mollick: I know the upcoming film version of the Odyssey is controversial, so I whipped together a completely accurate version that I think will be happily accepted by everyone as the most definitive version since Homer's original, if not more so.

Wildfires in Ontario make Toronto air quality worst in world

加拿大安大略省北部发生100多起活跃山火，产生的浓烟导致多伦多空气质量降至全球最差，并波及美国东北部地区。此事件为环境与气候灾害新闻，与人工智能领域无直接关联。

Linus Torvalds tells AI haters to fork off

ai and ml Linux supremo says contributors opposed to AI use can 'just walk away' Chief penguinista Linus Torvalds has declared that Linux is not an "anti-AI" project, telling contributors who object they can either walk away or fork the ker

My thoughts on the future of Go in the AI era

作者探讨了在AI与Agent时代下编程语言（特别是Go语言）的未来。文章指出，随着AI生成代码的普及，编程语言的竞争维度正在从“人类易用性”转向“机器/LLM易用性”。Go语言凭借其极快的编译速度（有利于Agent快速迭代）、强大的标准库、显式且易于模型理解的错误处理、内置的统一格式化（gofmt）以及极强的向后兼容性（稳定性），成为非常适合LLM和AI Agent生成及维护的语言。作者认为，Go这种“刻意保持无聊与简单”的特性在AI时代将更显价值。

Google released Gemini Southeast Asia Report. - 900M+ monthly users globally by Apr-2026, while Gemini’s Southeast Asian user base more than doubled ...

谷歌发布了首份《Gemini 东南亚报告》，披露了最新的用户数据与使用趋势： 1. **用户增长**：截至 2026 年 4 月，Gemini 全球月活跃用户已突破 9 亿；在东南亚地区，用户基数在过去 12 个月中翻了一番以上，成为该地区增长最快的谷歌大应用。 2. **多模态交互**：42% 的提示词涉及语音、图像、视频、文档等非文本输入。东南亚用户累计创建了超过 50 亿张图片；在 Lyria 3 推出后，仅 2026 年 3 月就生成了近 100 万首歌曲。 3. **本地化与移动端**：东南亚 70% 的提示词使用本地语言编写（越南为 89%，泰国为 87%，印尼为 84%）。印尼高度依赖移动端，82% 的提示词来自手机。 4. **区域市场特征**：新加坡的人均 Gemini 采用率位居全球第一，用户平均每天使用约 10 次；越南在学术用途上领先，每月有超 16 万学生使用 Exam Prep 功能。

Three governments agree on something the AI industry doesn't want to hear

中国、美国加州和纽约州近期针对AI虚拟伴侣（情感陪伴聊天机器人）实施了新的监管措施。中国新规已正式生效，禁止在通用大体量App中内嵌用户自建的虚拟伴侣功能（如字节跳动豆包已关闭该功能），仅允许其在独立的专用App中存在，以防范用户沉迷和应对人口老龄化与生育率担忧；而美国加州和纽约州的法律则更侧重于心理健康与自残预防，强制要求AI伴侣向用户明示其机器身份，并限制向未成年人提供性暗示或有害内容。

Ask HN: Are AWS Certs worth getting for experienced Devs?

该帖是一名拥有大厂及初创公司背景、从事后端与云基础设施工作的资深开发者在Hacker News上的提问。他计划转型做解决方案设计与咨询，因此咨询获取AWS解决方案架构师（Solutions Architect）等证书是否值得，以及是否有其他（如AI方向）证书值得考虑。由于文中仅包含提问且主要涉及通用云计算职业规划，对AI从业者参考价值有限。

Ask HN: Are the heaviest AI users of your team blowing past everyone else?

Hacker News 上发起了一项热门讨论，询问在实际团队中，重度使用 AI 辅助编程工具的软件工程师在生产力（如功能交付、Bug 修复）和职业发展（如快速晋升、高绩效评价）上，是否已经显著超越了不使用 AI 工具的同事。

SpaceX falls to $135 IPO price ahead of Starship launch

SpaceX股价在Starship发射前夕跌至135美元的IPO发行价附近，市场正逐渐回归理性。由于Anthropic和OpenAI均已秘密提交IPO申请，SpaceX的上市表现正被市场密切关注，以作为评估这两家AI巨头未来IPO前景的重要风向标。

SpaceX slips below its $135 IPO price ahead of Starship launch

SpaceX股价周三一度跌破135美元的IPO发行价，最终收于135.27美元。该股在6月12日上市后曾飙升至200美元以上，但随后持续下跌。市场分析认为，波动原因在于仅有4%的低流通股量以及市场对马斯克太空愿景的理性退烧。鉴于OpenAI和Anthropic已秘密提交上市申请，SpaceX的股价表现被密切关注，以评估这些AI巨头未来的IPO前景。此外，SpaceX即将进行IPO后的首次“星舰”（Starship）发射测试。

So entire X’s codebase will become open source. "with no exceptions"

埃隆·马斯克（Elon Musk）宣布，在完成安全漏洞审查后，X平台（原Twitter）将无例外地开源其整个代码库。此外，X还将邀请第三方审查员检查正在运行的系统，以确认实际运行的代码与开源代码完全一致。

Anthropic, Blackstone, and Hellman and Friedman Introduce Ode with Anthropic

Anthropic 联合私募股权投资公司黑石集团（Blackstone）以及海曼与傅里曼（Hellman & Friedman）宣布推出名为“Ode with Anthropic”的企业级 AI 服务公司，旨在为企业客户提供 AI 落地与集成服务。

Airport Food

文章将大语言模型（LLM）生成的设计比作“机场食物”——虽然质量尚可、能满足基本需求，但平庸且缺乏个性。作者指出，过度依赖AI生成方案正导致人类逐渐丧失判断力和独特的“品味”，导致界面设计走向千篇一律。他呼吁从业者保持警惕，抵制盲目接受AI生成内容的惰性，以防审美被平庸的AI设计同化。

Suno snatched millions of songs from YouTube, Genius, and Deezer

据404 Media报道，一起黑客入侵事件泄露的数据显示，AI音乐生成器Suno曾通过从YouTube Music、Deezer和Genius等在线平台抓取数百万首歌曲和歌词来训练其AI模型。由于Suno此前一直拒绝公开其训练数据集的来源，这一泄露首次揭示了其数据获取的实际情况。目前，Suno正面临美国唱片业协会（RIAA）等多方起诉，指控其未经授权使用版权作品进行训练，Suno此前承认使用了版权音乐，但主张这属于“合理使用”。

Kalshi creates prediction markets on airport flight cancellations

预测市场平台 Kalshi 向美国商品期货交易委员会（CFTC）提交了关于机场航班取消率预测市场合约（二元期权）的合规申请。此消息属于传统金融与预测市场领域，与 AI 技术及应用无直接关联，因此对 AI 从业者价值较低。

IBM Vice Chairman: Our software is not being disrupted by AI

IBM副董事长表示，该公司的软件业务并没有受到人工智能（AI）的颠覆。

Model Routing Is Simple. Until It Isn’t.

IBM研究院分享了在Agent系统中构建大模型路由（Model Routing）的实战经验，指出路由本质上是系统优化问题而非简单的分类问题。文章探讨了三个核心维度：1. 成本不等于API定价：缓存机制对实际成本影响巨大，例如因缓存读取优惠，实际运行中Claude 3.5 Sonnet的成本可能远低于定价更低的GPT-4.1；2. 复杂度不等于任务难度：任务难度在路由阶段难以准确预估，且需兼顾合规、隐私等多重约束；3. 延迟不等于模型速度：路由本身开销、硬件环境及路由粒度都会影响最终用户体验。IBM为此提出了一种轻量级多目标优化算法（决策仅需约6毫秒），在成本、质量和延迟之间寻找最佳系统平衡点。

Hack suggests AI music generator Suno scraped YouTube for training data

The hacker used an employee's credentials to access source code, which revealed how Suno scraped decades of audio.

Whatnot acquires Shaped to power real-time live shopping recommendations

直播电商平台 Whatnot 宣布收购机器学习初创公司 Shaped。Shaped 专注于实时推荐和搜索系统，能结合客户数据、大语言模型和机器学习提供个性化推荐。此次收购旨在提升 Whatnot 在直播电商场景下的实时推荐与搜索发现能力。交易完成后，Shaped 创始人 Tullie Murrell（曾任职于 Meta）将带领其团队中的近十几名工程师和 AI 研究员加入 Whatnot，并领导新成立的应用 AI 研究小组（Applied AI Research group）。

Query Latency in the Age of AI Agents

Every generation of analytics has had the same problem underneath it: the query a person wants to run is more expensive than the latency they are willing to wait for. The tools change, the storage changes, the query language changes, but th

WAIC 最热闹的时刻,我们帮你筛掉噪音

Everyone keeps trying to make the retriever pull back cleaner documents. But here is the uncomfortable part: even with a great retriever, the passages...

清华大学自然语言处理实验室（TsinghuaNLP）联合厦门大学、东北大学和中科院计算所提出了 KARE-RAG 框架。与传统的优化检索器路线不同，KARE-RAG 旨在训练生成器（Generator）本身，使其在含有噪声的上下文中能够鲁棒地过滤和利用信息，且无需修改标准的 RAG 推理管线。 该研究的核心特点包括： 1. **三阶段生成分解**：将检索到的文档转换为图结构的知识表示，并在该图上运行思维链（CoT）推理，最后生成答案。显式的节点-边关系有助于保证逻辑一致性并定位错误。 2. **DDPO（稠密直接偏好优化）**：解决了传统 DPO 在结构化输出上的均匀 Token 权重问题，通过引入 Token 级重要性权重和 SFT 损失正则化，让训练聚焦于真正影响答案的 Token。 3. **无监督对比数据构建**：利用更强的主流模型（如 gpt-4o-mini）自动重写负样本中的错误部分并保留其结构框架，实现高效率的数据生成。 4. **实验效果**：在不改变推理管线的前提下，Llama-3.1-8B 的域外性能提升了 +4.18% EM / +3.52% F1，并能泛化至 Vanilla RAG、CoT 和 IRCOT 等多种模式，同时保持了模型的通用能力（MMLU 表现持平，MMLU-Pro 提升）。

The AI Investment Race [pdf]

The AI Investment Race [pdf]

AI Isn’t Smarter Than a Baby—Yet

Babies are tremendous learning machines, and key advances for AI may soon be found in the architecture of their little brains.

Hindcast: Replaying Prediction Markets to Evaluate LLM Forecasters

研究人员提出了 Hindcast，一种用于评估大语言模型（LLM）预测能力的新型框架。传统的预测评估（回溯测试）容易受到两种数据泄露渠道的影响：一是模型在检索时获取了事件发生后的报道，二是新模型的训练数据中已经包含了事件结果。Hindcast 通过将模型置于特定的过去时间点 $t_0$，仅允许其读取该时间点之前的 Reddit 静态历史快照，并根据真实结果和 $t_0$ 时的 Polymarket 预测市场价格对模型预测进行评分。实验表明，在杜绝数据泄露后，检索功能仅在 Reddit 存在事前实质讨论时对模型有益；若归档中仅有推测性信息，检索反而会降低预测准确度。

I'd prefer to avoid AI comments on Reddit and HN

Hacker News上的一篇讨论提出了一种识别社交媒体（如Reddit和HN）中AI回复的策略。由于大语言模型（LLM）通常具有强烈的“解决问题”倾向，作者建议在评论中嵌入一个对人类而言稍显繁琐的简单谜题。AI很可能会自动检测并试图解决该谜题且在回复中提及，而人类用户则很可能忽略它。作者正在尝试这种方法以甄别互动对象是否为机器人。

Show HN: QBasic Gorillas (Repeeled)

开发者 TonyAlicea10 分享了使用原生 JS 重写的 1991 年经典游戏 QBasic Gorillas。该项目是利用 Fable 和 Opus 进行 AI 辅助开发与模型测试的实践案例，旨在探索 AI 辅助编程的实际应用效果。

Pgrust was built: four attempts to rewrite Postgres in Rust with AI

本文详细介绍了开发者如何利用 AI（如 OpenAI Codex、Anthropic Claude Opus 和 Fable）历经四次尝试、花费 10 万美元将 PostgreSQL 成功重写为 Rust（pgrust）的经验。作者分享了四个阶段的教训：1. pgrust-og（逐功能移植）：因规划器集成等架构差异失败；2. c2rust（C转unsafe Rust）：虽然通过测试但难以重构为安全代码；3. pgrust-idiomatic（使用Claude动态工作流逐 crate 重写）：因 C 语言循环依赖导致的“接缝”（seams）类型不匹配而失败；4. pgrust-fabled：通过引入前几次的教训并加强“接缝”审计，成功通过了 100% 的 Postgres 回归测试。目前团队正投入资金开发性能更优的 pgrust-fast 版本。

Ask HN: What are you using for authn/authz and payments?

I've had a few side project ideas over the years but have never implemented one because I lack knowledge in (but willing to learn):* implementing social logins (OAuth), account management, etc.* managing backend permissions (RBAC always looks more complicated than it should be). My projects might have three tiers: free, hobbyist, pro* handling payments securely while actually monitoring for abuse/intrusionWhich social logins are allowed to tie into your project?What are you using for authn/authz? My projects would be very low traffic, so I wouldn't want to commit to a big monthly spend. Are you rolling your own or using Auth0/Clerk/Supabase for auth and Stripe for payments? I'm comfortable with AWS, Cloudflare, Go, JS, and Linux. Are there any GitHub repos that I can look at for this?How well do frontier LLMs (Claude Opus, etc.) do at generating clean, auditable code for this kind of thing? Is anyone actually trusting AI-written auth/payment code and how do you review it?

Lakehouse as Context Store

本文探讨了将湖仓一体（Lakehouse）架构用作AI与大语言模型上下文存储（Context Store）的技术方案与设计思路。

Ask HN: How do you handle OSS project with private artifacts?

该 Hacker News 贴文探讨了如何管理包含私有资产（如私有文档、个人笔记、AI 迭代数据等）的开源项目。作者目前通过维护一个私有仓库和一个公开仓库，并使用脚本进行同步，但这种方式维护成本较高，因此向社区寻求更优雅的解决方案。

今天的热门,给Codex设计主题,QQ皮肤历史重演。 😂😂😂 做法很简单,提示词如下: “读取这个库,给我们当前codex换个主题,用Codex 内置imagen 生成。”...

今天的热门，给Codex设计主题，QQ皮肤历史重演。 😂😂😂 做法很简单，提示词如下： “读取这个库，给我们当前codex换个主题，用Codex 内置imagen 生成。” https://github.com/Fei-Away/Codex-Dream-Skin

AI agent does not remove the necessity of engineering automation. They are worth much more. The biggest change is that we can now encode far more than...

Rohan Paul 指出，AI Agent 并没有消除工程自动化的必要性，其带来的最大改变在于我们可以编码远超传统代码规则的内容。例如，通过 `claude.md` 等配置文件，开发者现在可以沉淀和编码架构偏好、代码审查标准、产品限制、领域知识以及 Agent 技能等，从而实现更高维度的自动化。

Show HN: AI Starter Templates in NextJS and OpenAI

Hey Guys,I've built one of the largest Open Source AI starter templates using Next JS and OpenAI tech stack. It has a wide range of fully functioning applications from Voice AI agents to multimodal Chatbots.Any feedback would be great: https://suhasbhairav.com/ai-templatesRegards Suhas Bhairav

Show HN: Pgmig: Generate migrations between Postgres databases

pgmig 是一个用于比较两个 PostgreSQL 数据库结构并自动生成迁移 SQL 的开源工具与 Python 库。它以只读方式连接源和目标数据库，支持 PostgreSQL 14–18，旨在解决数据库 Schema 差异对比和迁移生成的痛点。该工具的初始版本是作者借助 Claude 协同开发完成的。

Killing Coding Agent Slop with Adversarial Self-Play

Telos在其官方博客中提出使用对抗性自我博弈（Adversarial Self-Play）技术，以解决AI编码智能体（Coding Agent）输出低质量或冗余代码（Slop）的问题，旨在提升自动编程的可靠性与代码质量。