如何减少 C 语言中的未定义行为
Martin Uecker 在 Kernel Recipes 大会上探讨 C 语言未定义行为的成因、编译器优化争议，以及 C 能否成为内存安全语言。C 标准通过抽象机器语义赋予编译器优化自由，但未定义行为可导致越界优化等问题；C23 已加入“no time travel”限制，制定中的 C2y 草案已移除约 100 项未定义行为中的 45 项。
全部AI 动态
全部动态
今日 18 条Hacker News 热门（buzzing.cc 中文翻译）AI 评分3737 公众号：小林coding精选AI 评分7676 图解 Codex 记忆机制：上下文压缩、Rollout 恢复与长期记忆流水线
小林coding 结合源码解读 Codex 的记忆机制，区分当前上下文、Rollout/checkpoint 任务恢复和默认关闭的跨任务长期记忆。Codex 会基于 Token 用量在新轮次前或工具执行中触发压缩，并按配置选择 Token 预算、远程压缩或本地总结。
推荐理由：文章把当前上下文、任务恢复和跨任务长期记忆拆成三条链路，便于理解编程 Agent 如何控制模型可见信息。
Hacker News：AI 热帖AI 评分7474 trainedon.me 整理主流 AI 产品是否用提示词训练模型的条款记录
trainedon.me 用带日期的条款快照记录 ChatGPT、Claude、Copilot、Grok、Cursor、Windsurf、DeepSeek、Jasper 和 Le Chat 等产品是否默认使用用户内容训练模型。个人版多为默认参与并可退出，企业版、API 或商业版通常默认不训练；页面同时列出设置入口、例外情况、条款版本和最近抓取日期。
公众号：AI异类弗兰克AI 评分4444 豆包工作推出整套设计能力，无限画布与创意设计 Skill 成 OPC 品牌设计搭子
豆包工作新发布一整套设计能力，支持无限画布、分图层编辑与「创意设计」Skill，可在画布内生成并修改图片、视频。其生图采用 Seedream 5.0 Flash，动态海报可由 Seedance 2.5 引用生成，一次充值即可打通最新图片、视频模型与代码能力。作者用其为自有品牌 QLab 完成海报、Logo、三折页及行星主题周边等设计。
Hacker News：AI 热帖AI 评分1818 一款家庭电子游戏如何成为动手用 AI 创作的实践课
一款以家庭角色和本地路线为素材的横版跳跃游戏，展示了用 AI 辅助创作游戏的完整实践。游戏包含 8-bit 原创音乐、浏览器本地存档、手柄支持，以及基于 OpenStreetMap 道路数据还原的真实路线。
Hacker News：AI 热帖精选AI 评分7777 Hex 如何用 eval 和 hill-climbing 将 Quick Edits 的 AI 错误编辑率降低 7 倍
Hex 复盘 Quick Edits 功能开发：用 1,800 个 eval 案例驱动 hill-climbing，将错误编辑率从 21% 降到 3%。该功能用 GPT-6 Luna 或 Claude Haiku 4.5 一次性提出图表样式修改，复杂请求则交给 Hex agent。
推荐理由：文章用 1,800 个 eval 案例和 hill-climbing 流程，展示如何把错误编辑率从 21% 降到 3%，并指出验证器比提示词更关键。
Hacker News 热门（buzzing.cc 中文翻译）AI 评分7373 研究者用 Claude Code 发现系外行星候选体并公开可证伪预测
Pavel Rabtsevich 称自己用 Claude Code 分析 NASA TESS 数据，发现一颗约 116 光年外、周期 3.18 天、半径约 1.4 倍地球的系外行星候选体，目前仍未确认。
Hugging Face Blog精选AI 评分7676 用 ML Intern 自建缺失模型：6 个项目的提示词与训练实践
作者通过 HuggingChat 中的 ML-intern 在几天内构建并公开发布 6 个模型，总计算成本约 USD 103，项目覆盖柑橘病害视觉模型、FLUX.2 klein LoRA、Qwen-Image 2.1 视角与涂鸦 LoRA、0.8B 提示词改写模型和 4 步 Agate 蒸馏模型。
推荐理由：文章用 6 个低成本模型项目展示了如何通过预算、基线和冒烟测试约束智能体完成训练与发布。
Databricks：Blog（RSS）AI 评分5252 Lakebase 如何用数据库分支支撑编码智能体的 Agentic SDLC
Databricks 介绍 Lakebase Postgres 通过数据库分支为并行编码智能体提供隔离环境，数据库可在 1 秒内完成分支，并采用 copy-on-write 与 scale-to-zero。
Hacker News 热门（buzzing.cc 中文翻译）AI 评分5252 如何把手绘房屋插画做成 Home Assistant 家庭仪表盘
作者请插画师绘制自家房屋和花园，并将分层插画接入 Home Assistant，做成家人愿意使用的可视化仪表盘。素材要求包括透明 PNG、动画 WebP、日夜版本、每个设备独立图层，以及所有元素导出到同一尺寸画布；实现主要使用 picture-elements 卡片、条件元素、YAML 复用配置、Browser Mod 弹窗和 card-mod 布局。
Hacker News：AI 热帖AI 评分5555 自主 AI 调度器为何在预订场景产生竞态条件：多智能体并发冲突与租约锁网关方案
文章解释两个自主调度 AI 智能体同时读取同一间手术室空闲状态并先后提交非原子写入，导致同一时段被重复预订。文中指出提示词无法实现互斥，原因是 LLM 推理延迟达 400 到 2,000 毫秒，而读取、判断、写入分离会在并发下产生竞态。方案是在模型与数据库提交之间加入确定性并发网关，通过带 TTL 的分布式锁、智能体推理与数据库提交隔离，以及确定性改道路由处理锁竞争。
Hacker News：AI 热帖AI 评分5252 Affirm 新人工程师复盘 AI 编码工作流：认知努力转向实现后评审
Affirm 新人工程师 Claire Yang 复盘入职一年使用 Cursor、Claude Code 等 AI 编码工具的经历，认为自己的认知努力约 80% 转向实现后的代码追踪、提问和评审。
Hacker News：AI 热帖AI 评分6363 AI21 如何用 Kueue 管理约 10,000 GPU 集群
AI21 复盘在 GKE 上用开源 Kubernetes 作业队列系统 Kueue 管理约 10,000 GPU 共享集群，替代内部消息频道中的人工协调。
Hacker News：AI 热帖AI 评分2222 Andy Pavlo：当数十亿 AI 智能体冲击你的数据库时会发生什么（视频）
Hacker News 热帖收录 Andy Pavlo 的视频演讲，主题为数十亿 AI 智能体访问数据库时将发生什么。原页面当前仅显示 Google 的异常流量检测与 CAPTCHA 验证提示，未提供演讲正文内容。
Hacker News：AI 热帖AI 评分6262 awesome-ai-coding-tools：AI 编程工具、架构图、本地模型与 SWE-bench 资源合集
mahmoudsajjadi 在 GitHub 发布 awesome-ai-coding-tools，汇总 AI 编程助手、终端智能体、自治软件工程架构、本地开源代码模型和相关论文。
AWS Machine Learning BlogAI 评分4444 如何用 Amazon SageMaker HyperPod 跨团队共享 GPU 集群并实现隔离与公平
AWS 提出基于 Amazon SageMaker HyperPod 与 EKS 的多团队 GPU 集群共享参考架构，兼顾隔离、资源公平与成本归属。
Hacker News：AI 热帖AI 评分6767 购买 AI SRE 前，先给现有 Agent 提供 Kubernetes 上下文并测量
Radar 团队建议在采购 AI SRE 前，先用 Claude Code、Codex 或 Cursor 等现有编码 Agent 接入只读集群上下文并建立诊断基线。
Hacker News：AI 热帖AI 评分5757 纽约时报图解如何识别 Gemini 生成的 FedEx Office 假照片
纽约时报用一张 Google Gemini 生成的 FedEx Office 店内照片，演示当前 AI 图像在手部和大字上已较逼真，但仍可通过细节识别。文章列出透视线条混乱、提示词元素被过度放在画面中心、放大后小字乱码、挂绳与证件套未连接、标语语义错误、包装符号不合规和物体结构不合理等线索。
Databricks：Blog（RSS）AI 评分4242 如何用 Replit 与 Lakebase 在 Databricks 上构建受治理的企业应用
Replit 与 Databricks 的集成已正式可用，支持通过 Replit Agent 基于实时 Databricks 数据构建受治理应用，并部署到 Databricks Apps。
Hacker News：AI 热帖AI 评分3737 如何用 ZizkaDB 在银行业部署智能体 AI：分步指南
一份分步指南讲解银行如何用 ZizkaDB 为智能体 AI 构建审计与合规证据层。指南建议先从欺诈分诊或争议处理等单一用例入手，采用自托管或 VPC 内部署，并配置连续事件日志、保留规则、漂移监控及 GDPR 删除流程，最后运行 60 至 90 天试点。
Hacker News：AI 热帖AI 评分6262 Markdown 文件不是规格说明：用形式化分析发现需求缺口
文章以美发沙龙预约系统为例，演示用 Dynamic Logic 和 FizzBee 将 EARS 需求转成可执行形式化规格，并通过模型检查发现预约后发型师修改排班、已有预约被覆盖等需求缺口。文中还说明角色建模、可交互规格、基于模型的测试，以及 FizzBee 对 Go、Java、Rust、TypeScript 和 Claude Code、Cursor、Gemini CLI 的支持。
Hacker News：AI 热帖AI 评分4747 Deliveroo 将 AI 流失预警削减 90%，但它真的留住合作商家了吗？
Deliveroo 重建餐厅流失预测模型，按团队可处理容量设置预警阈值，离线测试使被标记餐厅减少逾 90%、精确率提升 8 倍。新模型每周在 Argo 流水线运行，并用 Shapley 值解释预测结果。Deliveroo 正通过随机对照实验检验干预能否真正降低流失率，截至文章发布日实验仍在进行，尚无结果。
Hacker News：AI 热帖AI 评分2626 如何用 AI 制作歌曲：Songnexa 分步操作指南
一份分步教程演示用在线 AI 音乐生成工具 Songnexa 在数分钟内制作完整歌曲。该工具提供 Lyrics Mode 和 Description Mode，时长可选 Auto、1:00 至 6:00，并可设置风格、歌名；每次生成两个版本。免费用户注册可试用生成两首，作品保存 15 天，付费会员可永久保存且下载不限量。
Hacker News：AI 热帖AI 评分4242 AI 改变了团队，而非流程：用 Claude 与 Codex 按传统工程流程构建 litFit
前 Google 产品经理 Guy Guyadeen 在单人团队中用 Claude 和 Codex 充当工程师，沿用 PRD、TDD 等传统软件工程流程开发 AI 营养教练 litFit。
Hacker News：AI 热帖AI 评分6363 作者复盘用 Google Gemini Gem 搭建 Ruth AI 代管三个月的经验
作者在离开 Mautic 项目三个月前，用 Google Gemini 的自定义 Gem 搭建 Ruth AI，上传约十个参考文件、长提示词、个人 AI 聊天记录、Obsidian 文档和公开手册，供领导团队查询流程、任务分工并审阅文稿。
Hacker News：AI 热帖AI 评分5959 GitHub 清单梳理 AI 集群网络学习路径：RDMA、集合通信与网络架构
rewsiest 在 GitHub 发布 AI 集群网络阅读清单，覆盖 RDMA、GPU 到 NIC 数据路径、集合通信、推理传输、传输协议、拥塞控制和集群网络架构。
Hacker News：AI 热帖AI 评分5555 开发者复盘：与 AI 智能体协作时为何仍需要原型设计
开发者 owenbrown 复盘 Emm 中超过 20 个界面的多步工作流设计，发现直接让 AI 智能体生成规格并实现、逐屏指定开发都失败，最终用 ChatGPT Desktop 生成完整 HTML 原型成功。
Hacker News：AI 热帖AI 评分6262 Harvey 介绍其 MCP Policy Engine 如何管控智能体工具调用
Harvey 在重建 Connector Library 时构建 MCP Policy Engine，用于在工作流中治理 Harvey Agents 对合作方 MCP 工具的使用。
Databricks：Blog（RSS）AI 评分4747 如何为云数据仓库成本设置预算与告警
Databricks Data & AI Platform 推出主动式云数据仓库成本管理，支持按仓库、团队或 BI 工作负载设置预算、阈值告警与实时用量看板。其框架包含成本归因、预算、告警、看板、优化五大支柱，并推荐使用 SQL Serverless 仓库。
Hacker News：AI 热帖精选AI 评分8282 如何把 AI 变成世界级设计师：Anshu Chimala 的三阶段提示词方法
Lenny 转载并解读 Anshu Chimala 的方法，用 Discover、Define、Deliver 三阶段引导 AI 智能体完成高质量界面设计。方法包括用随机字符串或大胆主题打破默认模板、让独立设计批评智能体只看截图评分迭代、接入图像和视频生成增强视觉，再通过删减元素与原生组件完成打磨。
推荐理由：文章把随机种子、独立设计批评智能体和多模态生成接入具体提示词，适合直接迁移到 AI 界面设计流程。
Hacker News：AI 热帖AI 评分6262 FusionAuth 如何让开发者文档同时服务人类与 AI 智能体
FusionAuth 文档团队分享如何把开发者文档改造成同时适合人类和 AI 智能体读取的站点，并用开源 CLI 工具 afdocs 建立客观评分。
Databricks：Blog（RSS）AI 评分3636 如何将 dbt ETL 管道重定向至 Databricks
Databricks 发布教程，指导用户通过更换 dbt-databricks adapter 与 profile、调整少量 SQL 方言差异，将现有 dbt 项目重定向至 Databricks Lakehouse，无需重写 DAG 或业务逻辑。
Hacker News 热门（buzzing.cc 中文翻译）AI 评分4949 软件博客写作中的反模式
文章梳理了软件技术博客新手常犯的写作反模式，包括开篇冗长、铺垫过多、默认读者具备同等知识背景、过度依赖外链打断阅读等。作者建议用标题和前三句点明读者收益，用读者熟悉的概念解释新术语，并对术语给出最低限度说明，让读者无需跳转即可读懂全文。
Hacker News：AI 热帖AI 评分5252 2026 年数字化转型 ROI：从 AI 试点走向业务增长的运营模型
文章认为 2026 年企业评估数字化转型时，董事会更关注 AI 试点是否带来收入、成本、速度、质量和风险等业务结果，而非工具上线本身。文中引用 McKinsey 称 75% 的顶尖技术表现者会把支出转向获取数字或业务收益，并称 Deloitte 研究中已有 11% 的组织将 AI 智能体投入生产。作者建议以价值假设、工作流重构、结果记分卡和治理节奏管理转型组合，并按季度决定扩大、修复或停止项目。
AWS Machine Learning BlogAI 评分5353 Cornerstone OnDemand 如何用 Amazon Bedrock 将数据库诊断时间缩短 78%
Cornerstone OnDemand 基于 Amazon Bedrock 和 Strands Agents 构建多智能体系统 Orion AI，将数据库诊断从 45 分钟降至 10 分钟，缩短 78%。
AWS Machine Learning BlogAI 评分4242 培养 AI 构建者：弥合 AI 知识与能力差距的实战手册
AWS 推出为期六周的结构化项目，帮助无工程背景的业务人员在导师指导下用生产级工具构建可扩展的 AI 智能体原型。90% 受访业务人员希望获得动手构建 AI 智能体的经验，完成分阶段项目者保留的实用技能是两天密集形式的 3 倍。
AWS Machine Learning BlogAI 评分5353 AWS 教程：用 Lambda Durable Functions、EventBridge 与 Bedrock 承接 AWS DevOps Agent 调查后的自动修复
AWS 教程展示了一套在 AWS DevOps Agent 完成调查后触发的自动修复工作流，使用 Amazon EventBridge、AWS Lambda Durable Functions 和 Amazon Bedrock 生成并执行修复方案。
AWS Machine Learning BlogAI 评分3535 Qlik 如何基于 Amazon Bedrock 构建企业级 grounded AI
Qlik 基于 Amazon Bedrock 打造企业问答产品 Qlik Answers，为全球超 40,000 家客户提供带来源、可验证的自然语言问答。
AWS Machine Learning BlogAI 评分5959 AWS 指南：如何为智能体自动化构建商业论证
AWS 提出 Agentic Value Model，用时间节省、异常处理、决策质量、变更韧性四类价值池评估智能体自动化，并要求每项收益有实现机制和负责人。文章以年处理 200,000 件理赔的流程演示核算方法，强调释放工时只有转化为降本或可衡量的再部署产出才进入 P&L；同时用任务复杂度和决策风险矩阵区分 RPA、产能提升、人工参与决策和护栏强化四类场景。
Hacker News：AI 热帖AI 评分4848 我们为 AI 智能体记忆构建了 Vector RAG 的替代方案
文章提出面向 AI 智能体记忆的 agentic RAG，作为固定 Vector RAG 流程的替代，由智能体在推理和行动中自行决定何时检索、调用何种工具并评估结果。