AI·模型 
Hugging Face Daily Papers 2026-05-19
使用灯塔注意力进行长上下文预训练
本文提出灯塔注意力（Lighthouse Attention），一种训练专用的对称分层选择注意力算法，通过降低计算复杂度实现因果Transformer在超长序列上的高效训练。该方法包含自适应压缩/解压缩、对称池化保持因果性、两阶段训练等创新，在小型LLM预训练实验中达到更快的总训练速度。
2026-05
共 152 篇文章
AI·模型 Hugging Face Daily Papers 2026-05-19
Flash-GRPO：通过单步策略优化实现视频扩散的高效对齐
Flash-GRPO 是一种单步训练框架，通过等时分组和时间梯度修正，在低计算预算下实现视频扩散模型的高效对齐，显著提升训练效率。
AI·模型 Hugging Face Daily Papers 2026-05-19
赫尔德策略优化
赫尔德策略优化（HölderPO）提出一种通用框架，通过Hölder均值统一token级概率聚合，解决了GRPO中固定聚合机制导致的训练崩溃与性能权衡问题，在多个数学基准上平均准确率达54.9%。
AI·模型 Hugging Face Daily Papers 2026-05-19
InsightTok：在自回归图像生成的离散分词中提升文本与面部保真度
InsightTok 是一种改进的离散视觉标记化框架，通过引入内容感知的感知损失，显著提升了文本和面部的重建质量，并有效迁移至自回归图像生成任务。
AI·模型 Hugging Face Daily Papers 2026-05-19
大规模多智能体路径规划中的局部通信学习
本文提出LC-MAPF预训练模型，通过可学习的局部通信模块实现相邻智能体多轮特征共享，提升多智能体路径规划协调能力。实验在多种未见场景中优于现有强化学习和模仿学习方法，且保持可扩展性。
AI·模型 Hugging Face Daily Papers 2026-05-19
学会预见：揭示在线策略蒸馏的效率解锁机制
本文揭示了在线策略蒸馏（OPD）在大语言模型后训练中的效率机制，发现其通过早期建立稳定更新轨迹、集中更新关键推理模块以及低秩集中性实现高效。基于此提出EffOPD方法，进一步优化蒸馏效率。
AI·模型 Hugging Face Daily Papers 2026-05-19
自蒸馏智能体强化学习
SDAR 提出了一种自蒸馏智能体强化学习方法，通过在线策略自蒸馏作为门控辅助目标，增强多轮智能体训练。该方法在 Qwen2.5 和 Qwen3 系列上取得了显著效果。
AI·模型 Hugging Face Daily Papers 2026-05-19
Solvita：通过智能体进化增强大型语言模型的竞赛编程能力
Solvita 是一个智能体进化框架，通过强化学习更新图结构知识网络，实现代码生成的持续学习，无需更新底层 LLM 权重。它由 Planner、Solver、Oracle 和 Hacker 四个专用智能体组成，形成策略选择、程序合成、认证监督和定向攻击的闭环系统。
AI·模型 
Hacker News 2026-05-19
Agora-1：多智能体世界模型
本文介绍了Agora-1，一种多智能体世界模型，通过多个智能体协同构建和更新对环境的共同理解，强调分布式感知、推理与行动，适用于复杂动态场景。
AI·模型 
Hacker News 2026-05-19
Stratum：面向高效MoE的系统-硬件协同设计与3D堆叠DRAM
Stratum是一种系统-硬件协同设计方案，利用3D堆叠DRAM优化混合专家模型（MoE）的效率，通过将MoE的稀疏激活特性与3D DRAM的高带宽、低延迟相结合，显著减少数据移动开销，提升推理和训练性能。实验表明，相比传统方案，Stratum在能效和吞吐量上分别提升2.3倍和1.8倍。
AI·模型 Hugging Face Daily Papers 2026-05-19
CiteVQA：为可信文档智能建立证据归因基准
CiteVQA 是一个针对文档视觉语言模型的基准测试，要求模型在回答问题时正确引用支持证据，以评估其归因能力。研究发现当前模型普遍存在“归因幻觉”，即答案正确但引用的证据区域错误。
AI·模型 Hugging Face Daily Papers 2026-05-19
通过协作式逐步多教师解码蒸馏长链推理
CoRD是一种协作式多教师解码框架，通过预测困惑度评分和束搜索合成推理轨迹，高效蒸馏大型推理模型，生成高质量输出并具备泛化性能。该方法解决了教师协作缺失和动态探索不足的问题，在减少冗余采样的同时保留互补推理路径。
AI·模型 Hugging Face Daily Papers 2026-05-19
超越舒适区的助推：高效策略引导的强化学习探索
NudgeRL框架通过结构化探索和策略轻推，增强基于可验证奖励的强化学习（RLVR），提升大语言模型的推理能力。该方法引入策略轻推，利用轻量级策略级上下文引导多样化推理轨迹，无需昂贵的神谕监督。
开发·工具 
Hacker News 2026-05-19
通过LP、FUSE、C/R和CUDA-checkpoint将推理冷启动速度提升40倍
本文介绍了一种结合LP、FUSE、C/R和CUDA-checkpoint技术的方法，将推理冷启动时间降低40倍，显著提升了模型加载和初始化效率。
AI·模型 Hugging Face Daily Papers 2026-05-19
因果强制++：用于实时交互式视频生成的可扩展少步自回归扩散蒸馏
本文提出因果强制++（Causal Forcing++），一种用于实时交互视频生成的可扩展少步自回归扩散蒸馏方法，通过因果一致性蒸馏实现帧级自回归，仅需1-2步采样，显著降低延迟。
AI·模型 Hugging Face Daily Papers 2026-05-19
DexJoCo：面向MuJoCo的任务导向灵巧操作基准与工具包
DexJoCo提出了一个面向MuJoCo的灵巧操作基准与工具包，包含11个功能性任务，评估工具使用、双手协调等能力，并提供了低成本数据采集系统及1.1K条轨迹。通过视觉和动力学随机化等设置，揭示了当前策略的常见局限。
AI·模型 Hugging Face Daily Papers 2026-05-19
FashionChameleon：实现实时交互式人体服装视频定制
FashionChameleon是一个实时交互框架，用于自回归视频生成中的人体服装定制，通过教师-学生蒸馏和上下文学习技术，实现多服装交互式切换并保持运动连贯性，在单GPU上达到23.8 FPS。
AI·模型 Hugging Face Daily Papers 2026-05-19
MMSkills：面向通用视觉智能体的多模态技能
MMSkills 提出多模态程序性知识框架，通过结构化表示（文本、状态卡片、视觉关键帧）使视觉智能体复用外部技能，在 GUI 和游戏基准测试中提升决策性能。
AI·模型 Hugging Face Daily Papers 2026-05-19
PhysBrain 1.0 技术报告
PhysBrain 1.0 技术报告提出利用人类自我中心视频生成物理常识监督信号，用于训练视觉-语言-动作模型，通过数据引擎提取场景元素、空间动态等关系，转化为问答监督训练 VLM，并迁移到 VLA 策略。
AI·模型 Hugging Face Daily Papers 2026-05-19
ReactiveGWM：在反应式游戏世界模型中引导NPC
ReactiveGWM是一种反应式游戏世界模型，通过扩散模型和交叉注意力模块解耦玩家控制与NPC行为，实现游戏无关的策略表示和零样本迁移。在《街头霸王》中验证，该模型在保持玩家控制的同时实现稳健的NPC策略遵循。
行业·观察 
TechCrunch 2026-05-19
SandboxAQ将药物发现模型引入Claude——无需计算博士学位
SandboxAQ 将其药物发现模型集成到 Claude 中，旨在降低使用门槛，让非计算专家也能利用 AI 加速新药研发。
创业·商业 TechCrunch 2026-05-19
Anthropic收购了曾被OpenAI、Google和Cloudflare使用的开发工具初创公司
Anthropic 收购了纽约初创公司 Stainless，该公司专注于自动化创建和维护 SDK，客户包括 OpenAI、Google 和 Cloudflare。
行业·观察 
OpenAI Blog 2026-05-19
OpenAI与戴尔合作，将Codex引入混合云和本地企业环境
OpenAI与戴尔宣布合作，将AI编码助手Codex部署到混合云和本地企业环境中，帮助企业安全地在数据和流程中应用AI编码代理。
创业·商业 TechCrunch 2026-05-19
韩国LetinAR正在为AI眼镜打造光学核心
韩国初创公司LetinAR开发了一款拇指甲大小的透镜，有望成为AI眼镜时代的光学支柱。该技术通过创新的光学设计，解决了传统AR眼镜体积大、视场角窄、功耗高等痛点。
行业·观察 TechCrunch 2026-05-19
Eclipse：25亿美元Cerebras投资只是实现其物理世界投资理念的开始
Eclipse因对Cerebras的2.5亿美元投资而备受关注，其专注于物理世界技术（如AI芯片、制造、能源）的投资理念正获得验证，未来将有更多类似投资。
行业·观察 TechCrunch 2026-05-19
TechCrunch Mobility：AI技能军备竞赛即将席卷汽车行业
文章指出汽车行业正面临AI技能军备竞赛，传统工程师技能不足，企业急需AI、机器学习、数据科学人才，影响招聘、培训及竞争格局。
开发·工具 
Hacker News 2026-05-19
Fil-C优化调用约定
Fil-C 项目提出了一种优化调用约定，通过寄存器分配和栈帧优化提升函数调用效率与安全性，并兼容现有 ABI。
行业·观察 TechCrunch 2026-05-19
纽约市健康与医院系统称黑客在影响至少180万人的数据泄露中窃取了医疗数据和指纹
纽约市公立医疗系统（NYC Health + Hospitals）遭遇黑客攻击，导致至少180万人的个人、医疗数据及指纹等生物识别信息被窃取，成为2026年最大规模数据泄露事件之一。
AI·模型 
Hacker News 2026-05-19
语音AI系统易受隐藏音频攻击
本文指出语音AI系统存在安全漏洞，攻击者可通过嵌入人耳无法察觉的隐藏音频指令来操控系统，导致隐私泄露或误操作。文章分析了攻击原理、潜在风险及防御建议。
行业·观察 TechCrunch 2026-05-19
开源工具制造商Grafana Labs称黑客窃取其代码，拒绝支付赎金
开源工具制造商Grafana Labs披露黑客窃取其代码并勒索赎金，公司拒绝支付，强调用户数据未受影响。
科技 TechCrunch 2026-05-19
亚马逊Alexa+新功能可生成播客节目
亚马逊升级Alexa+，新增按需生成定制AI播客功能，用户可通过语音指令让助手基于特定主题自动生成播客节目，实现个性化内容消费。
创业·商业 TechCrunch 2026-05-19
Kin Health 筹集 900 万美元打造患者用 AI 笔记助手
Kin Health 完成 900 万美元融资，开发一款为患者提供就诊记录服务的 AI 笔记助手，可自动生成摘要和后续步骤。
行业·观察 Hacker News 2026-05-19
埃隆·马斯克对山姆·奥特曼和OpenAI的诉讼败诉
埃隆·马斯克针对山姆·奥特曼和OpenAI的诉讼被法院驳回，法官认为缺乏证据支持OpenAI背离非营利初衷的指控。该结果对AI行业治理和开源理念有一定影响。
开发·工具 
Hacker News 2026-05-19
从零开始设计FPGA计算器
本文详细介绍了从零开始设计基于FPGA的计算器的过程，涵盖硬件架构、模块划分、状态机设计、ALU实现及输入输出处理等关键步骤。
开发·工具 
Hacker News 2026-05-19
超多语言Lisp：Common Lisp、Racket、Clojure、Emacs Lisp
本文对比了四种主流Lisp方言：Common Lisp、Racket、Clojure和Emacs Lisp，涵盖语法、特性、应用场景及社区生态。重点分析了它们在宏系统、并发模型、类型系统和平台依赖上的差异。
科技 
Hacker News 2026-05-19
玻璃翼项目：Mythos给我们的启示
本文介绍了Cloudflare的Project Glasswing项目，重点分析了Mythos系统在提升数据处理效率和优化资源分配方面的表现，并探讨了其在复杂系统集成中的关键价值。
开发·工具 
GitHub Trending 2026-05-19
EVV1E/waylandcraft
Waylandcraft 是一个在《我的世界》中实现的 Wayland 合成器项目，允许玩家在游戏内运行图形界面应用。
开发·工具 
Hacker News 2026-05-19
loopmaster – 实时编码音乐IDE
loopmaster 是一款专为现场编程音乐设计的集成开发环境（IDE），支持实时循环、音频合成与算法作曲，帮助音乐人通过代码即兴创作。
科技 TechCrunch 2026-05-19
苹果Siri改版可能包含自动删除聊天记录功能
苹果新版Siri可能引入自动删除聊天记录功能，以加强用户隐私保护。
开发·工具 Hacker News 2026-05-19
Files.md：Obsidian的开源替代品
Files.md 是一款开源的笔记应用，旨在替代 Obsidian，支持 Markdown 编辑、双向链接和图谱视图，强调本地优先和隐私保护。
行业·观察 
Simon Willison's Weblog 2026-05-19
GDS就NHS退出开源的决定发表意见
英国政府数字服务（GDS）就NHS因安全漏洞关闭开源仓库的决定发表评论，强调默认开放原则，认为全面封闭会增加成本并减少复用与审查。
科技 
The Verge 2026-05-19
亚马逊Alexa Plus现可创建AI生成的播客
亚马逊升级版AI助手Alexa Plus新增功能，可根据用户指定主题生成AI播客，用户可预览讨论大纲并调整对话方向和时长。
科技 
Hacker News 2026-05-19
两台电脑，一台显示器，零折腾（2025）
本文介绍了一种在2025年实现两台电脑共享一个显示器且无需手动切换的解决方案，通过使用KVM功能的显示器或切换器，结合USB-C或HDMI接口，实现鼠标、键盘和显示器的无缝共享。
科技 TechCrunch 2026-05-19
如果你要在2026年发表毕业典礼演讲，也许别提AI
文章指出，在2026年的毕业典礼演讲中提及AI可能难以引起毕业生共鸣，建议演讲者避免过度强调AI，转而关注更人性化的主题。
科技 
Hacker News 2026-05-19
FBI欲购买全国车牌读取器访问权限
FBI计划购买全国范围的车牌读取器数据访问权限，以加强车辆追踪和犯罪调查能力，但引发隐私担忧。
行业·观察 The Verge 2026-05-19
沃尔沃预告新款平价电动车，替代停产的EX30
沃尔沃因关税和电池召回问题停产紧凑型电动车EX30，但正在开发面向美国市场的新平价车型以替代之。
开发·工具 
Hacker News 2026-05-19
我们使用Git的--author标志阻止了GitHub仓库中的AI机器人垃圾信息
本文介绍了如何利用 Git 的 --author 标志来识别并阻止 AI 机器人向 GitHub 仓库提交的垃圾内容，通过检查提交作者信息过滤非人类或自动生成的提交。
开发·工具 GitHub Trending 2026-05-19
精选CUDA编程书籍列表
GitHub上出现一个精选CUDA编程书籍列表，由alternbits维护，旨在帮助开发者系统学习CUDA编程。
开发·工具 GitHub Trending 2026-05-19
codiff：快速本地差异查看器
codiff 是一个快速的本地差异查看器，用于高效比较文件或代码差异。
科技 
Hacker News 2026-05-19
Bitwarden的悄然翻新
本文探讨了Bitwarden密码管理器近期进行的一系列低调但重要的改进，包括性能优化、用户体验提升以及安全增强。
开发·工具 
Hacker News 2026-05-19
理解Go语言中的Singleflight
Singleflight 是 Go 语言中用于防止重复函数调用的同步原语，它确保同一时间只有一个 goroutine 执行某个操作，其他并发请求会等待并共享结果。本文介绍其工作原理、使用场景及注意事项。
开发·工具 
Hacker News 2026-05-19
学习工程学
本文介绍了线束工程的基本概念、设计原则和制造流程，涵盖从需求分析到生产验证的关键步骤，强调标准化和可靠性。
行业·观察 
Hacker News 2026-05-19
YC首席执行官Garry Tan指责我进行不道德报道
YC首席执行官Garry Tan公开指责作者进行不道德报道，但文章未提供具体细节，仅包含标题和评论。
科技 The Verge 2026-05-19
PlayStation独占游戏不再登陆PC
索尼据报将停止将主要单人PlayStation游戏移植到PC平台，在线游戏仍支持多平台。
科技 The Verge 2026-05-19
沃尔玛推出起价97美元的平价安卓平板电脑
沃尔玛旗下Onn品牌推出六款平价安卓平板电脑，起价97美元，搭载Android 16系统，续航10小时。
科技 The Verge 2026-05-19
谷歌正在推出重新设计的Workspace应用图标
谷歌正在更新Workspace应用图标，采用渐变色调设计，部分图标从彩虹色改为单色，旨在增强区分度或识别难度。
科技 The Verge 2026-05-19
索尼提高PlayStation Plus短期订阅价格
索尼宣布自5月20日起在特定区域提高PlayStation Plus短期订阅价格，美国地区Essential档位月费上涨1美元至10.99美元，季费上涨3美元至27.99美元。
科技 The Verge 2026-05-19
戴森超薄PencilWash在阵亡将士纪念日创下历史最低价
戴森PencilWash无线清洁器在阵亡将士纪念日促销中降至历史最低价249.99美元，优惠100美元。该产品专为硬地板设计，具有超薄手柄和加压水清洁系统。
科技 Simon Willison's Weblog 2026-05-19
灰翅鸥、褐鹈鹕、雪鹭、加拿大雁
作者在PyCon US后散步时记录了四种鸟类观察，包括灰翅鸥、褐鹈鹕、雪鹭和加拿大雁，并提到看到褐鹈鹕和加拿大雁幼鸟。
AI·模型 
Hacker News 2026-05-17
SANA-WM：一个2.6B参数的开源世界模型，可生成1分钟720p视频
SANA-WM是一个26亿参数的开源世界模型，能够生成1分钟时长的720p分辨率视频，在视频生成领域实现了长时长、高分辨率的突破。
AI·模型 
Sebastian Raschka 2026-05-17
LLM架构最新进展：KV共享、mHC与压缩注意力
本文综述了从Gemma 4到DeepSeek V4等新型开源大语言模型在降低长上下文成本方面的关键技术：KV共享、多头压缩注意力（mHC）以及压缩注意力机制。这些方法通过减少内存占用和计算量，使LLM能高效处理超长序列。
AI·模型 GitHub Trending 2026-05-17
VGGT Omega
本文介绍了CVPR 2026 Oral论文《VGGT Omega》，提出了一种新型视觉几何变换网络，在三维重建和姿态估计任务上达到SOTA性能。
行业·观察 OpenAI Blog 2026-05-17
Databricks将GPT-5.5引入企业代理工作流
Databricks 将 GPT-5.5 模型集成到企业智能体工作流中，该模型在 OfficeQA Pro 基准测试上取得了新的最优结果。
AI·模型 Hacker News 2026-05-17
Orthrus-Qwen3：在Qwen3上实现高达7.8倍令牌/前向传播，输出分布完全相同
Orthrus-Qwen3是一种针对Qwen3模型的优化技术，通过改进前向传播过程，将每步前向处理的令牌数提升至原来的7.8倍，同时保证输出分布与原始模型完全一致。该技术在不改变模型精度的前提下显著加速推理，适用于大规模部署场景。
AI·模型 
Hacker News 2026-05-17
DeepSeek-V4-Flash：LLM操控再次变得有趣
本文探讨了DeepSeek-V4-Flash模型如何通过改进架构和训练方法，在可控性和灵活性上取得突破，重新激发对LLM操控的兴趣，使开发者能更精细地引导模型行为。
AI·模型 
Hacker News 2026-05-17
Δ-Mem：大型语言模型的高效在线记忆
Δ-Mem是一种为大型语言模型设计的高效在线记忆机制，通过增量更新和压缩存储，显著降低记忆维护的计算和存储开销，同时保持模型对长序列或动态输入的有效记忆能力。
AI·模型 GitHub Trending 2026-05-17
Orthrus：通过双视角扩散解码实现快速无损LLM推理
Orthrus 是一种通过双视角扩散解码实现快速、无损的大语言模型推理方法，利用两个视角的协同扩散加速推理过程，适用于高效部署场景。
AI·模型 
Hacker News 2026-05-17
前沿AI已打破开放CTF格式
本文指出，随着前沿AI（如大型语言模型）能力的提升，传统的开放式CTF竞赛格式已不再有效，AI能自动解决许多挑战，影响竞赛公平性和趣味性。
行业·观察 TechCrunch 2026-05-17
OpenAI联合创始人Greg Brockman负责产品战略
OpenAI进行管理层调整，联合创始人Greg Brockman将负责产品战略，并计划整合ChatGPT与Codex以提升协同效应。
行业·观察 
Hacker News 2026-05-17
铠侠与戴尔在纤薄2RU服务器中塞入10PB存储
铠侠与戴尔合作，在2RU紧凑服务器中实现10PB存储容量，通过高密度闪存技术提升数据中心空间效率与性能。
开发·工具 
Hacker News 2026-05-17
在Amiga上零CPU播放Atari ST音乐
本文介绍了一种在Amiga计算机上通过硬件DMA和音频芯片配置实现零CPU占用播放Atari ST音乐文件的方法，详细说明了数据格式转换、DMA设置和中断处理等技术细节。
创业·商业 TechCrunch 2026-05-17
600亿美元AI芯片宠儿Cerebras早期险些倒闭，月烧800万美元
Cerebras Systems 在早期研发被认为不可能的芯片时，每月烧掉800万美元，几乎倒闭，但最终成为2026年迄今最大的科技IPO，估值达600亿美元。
行业·观察 TechCrunch 2026-05-17
研究存储库ArXiv将禁止作者一年，如果他们让AI完成所有工作
研究存储库ArXiv宣布，若作者让AI完成全部工作，将被禁止提交论文一年，以打击滥用大型语言模型的行为。
行业·观察 TechCrunch 2026-05-17
特斯拉披露两起涉及远程操作员的Robotaxi事故
特斯拉披露两起涉及远程操作员的Robotaxi事故，揭示了自动驾驶出租车规模化运营中的挑战。
科技 
Hacker News 2026-05-17
集群变得个人化（就像个人电脑一样）
本文探讨计算集群从大型共享资源向个人化、小型化发展的趋势，类比个人电脑的普及过程，指出硬件成本下降和云原生技术成熟使个人或小团队可拥有专属集群。
科技 TechCrunch 2026-05-17
酒店入住系统泄露百万护照和驾照信息
一家维护酒店入住系统的科技公司因云存储配置错误，导致超过100万份护照和驾照信息被公开暴露，无需密码即可访问。
行业·观察 OpenAI Blog 2026-05-17
OpenAI与马耳他合作，向所有公民提供ChatGPT Plus
OpenAI与马耳他政府合作，向所有公民提供ChatGPT Plus访问权限，并开展AI技能培训，旨在扩大AI普及、培养负责任的AI使用能力。
创业·商业 TechCrunch 2026-05-17
RJ Scaringe在三家初创公司筹集超过120亿美元，投资者仍渴望更多
RJ Scaringe 凭借其卓越的叙事与沟通能力，在三家初创公司中累计融资超过120亿美元，投资者对其理念持续追捧。
科技 
Hacker News 2026-05-17
安全研究员称微软在Bitlocker中构建了后门并发布漏洞利用
一名安全研究员声称微软在Bitlocker加密系统中内置了后门，并发布了漏洞利用代码，可能允许绕过加密保护，引发对微软安全策略的质疑。
AI·模型 
Hacker News 2026-05-17
不可知的数学如何帮助隐藏秘密
本文探讨了利用数学中不可知或不可计算的性质来增强信息隐藏与加密的技术思路，提出了一种新的安全通信范式。
科技 The Verge 2026-05-17
YouTube将AI深度伪造检测工具扩展至所有成年用户
YouTube 将其 AI 肖像检测程序扩展至所有 18 岁以上用户，允许用户通过自拍式面部扫描监控平台上的深度伪造内容，发现匹配后可请求移除。该功能此前仅面向特定群体测试，现全面开放。
科技 
Hacker News 2026-05-17
加速（2005）
《加速》（2005）是一部探讨技术奇点、人工智能及后人类主义的科幻小说，描绘了人类在技术爆炸中的转型与伦理困境。
科技 The Verge 2026-05-17
ElliQ：一款出奇有用的老年人伴侣机器人
ElliQ是一款专为老年人设计的伴侣机器人，通过鼓励社交、运动和爱好，帮助帕金森病母亲重新平衡生活，延缓病情恶化，效果出乎意料。
AI·模型 
Hacker News 2026-05-17
粪便移植在自闭症临床试验中取得成功
一项临床试验显示，粪便微生物群移植（FMT）可显著改善自闭症儿童的胃肠道和行为症状，效果持续至少8周。
开发·工具 GitHub Trending 2026-05-17
antirez/ds4
antirez/ds4 是一个专为 DeepSeek 4 Flash 模型设计的本地推理引擎，支持 Metal 和 CUDA 加速，旨在提供高效低延迟的模型推理能力。
开发·工具 GitHub Trending 2026-05-17
代理最佳实践
GitHub上的开源项目，提供与提供商无关的智能体最佳实践，涵盖通用技能和架构设计原则，帮助开发者构建高效可扩展的代理系统。
开发·工具 GitHub Trending 2026-05-17
earendil-works/pi
earendil-works/pi 是一个面向 AI 智能体的综合工具包，包含编码智能体命令行界面、统一 LLM API、终端 UI 与 Web UI 库、Slack 机器人以及 vLLM 推理集群支持，旨在简化 AI 应用的开发与部署。
开发·工具 GitHub Trending 2026-05-17
Vercel Labs / Zero
Vercel Labs 开源了 Zero，一种专为智能体（agents）设计的编程语言，旨在简化智能体系统的开发与部署，支持高效通信与协作。
开发·工具 Hacker News 2026-05-17
八年之后，我重写了开源PyTorch曲率库
作者在8年后重写了其开源的PyTorch曲率库，优化了核心算法，提升了性能、可维护性和易用性，并改进了文档与API设计。
开发·工具 
Hacker News 2026-05-17
我最喜欢的Bug：无效的代理对
本文探讨了Unicode代理对在编程中引发的常见Bug，分析了无效代理对导致程序崩溃、数据损坏或安全漏洞的根源，并提供了检测与修复方法。
开发·工具 
Hacker News 2026-05-17
展示 HN：观看神经网络学习玩贪吃蛇
该项目展示了神经网络通过强化学习自主学会玩贪吃蛇游戏的过程，提供了可视化演示，让观众直观看到学习过程。
创业·商业 TechCrunch 2026-05-17
营销操作系统Nectar Social获3000万美元A轮融资，由Menlo领投
AI驱动的营销平台Nectar Social宣布完成3000万美元A轮融资，由Menlo Ventures及其与Anthropic联合创立的Anthology Fund领投。
开发·工具 
Hacker News 2026-05-17
Rocksky：基于AT协议的音乐记录与发现服务
Rocksky 是一个基于 AT 协议构建的音乐记录与发现平台，支持用户记录收听历史并发现新音乐，强调数据自主可控和跨平台互操作。
行业·观察 The Verge 2026-05-17
得来速聊天机器人只是开始
本文回顾了麦当劳自2021年起在得来速窗口部署AI聊天机器人的历程，该技术源自其收购的初创公司Apprente，并指出这只是AI融入日常生活的开始。
科技 
Hacker News 2026-05-17
苹果芯片成本高于OpenRouter
文章对比了使用 Apple Silicon 本地运行 AI 与通过 OpenRouter 等 API 服务的总成本，指出本地部署在硬件、电力和维护上的隐性成本更高，性价比不如按需付费的云端方案。
开发·工具 
Hacker News 2026-05-17
在8位微控制器上托管网站
本文探讨了在资源受限的8位微控制器上托管简单网站的技术可行性，通过优化HTTP服务器和压缩数据，在仅有几KB RAM的MCU上实现基本Web服务。
AI·模型 
Hacker News 2026-05-17
科学中的理解错觉
本文探讨科学中的“理解错觉”现象，分析认知偏差和知识碎片化如何导致人们高估对科学概念的理解，并提出减少错觉的策略。
行业·观察 The Verge 2026-05-17
Snap、YouTube和TikTok就学生伤害诉讼达成和解
Snap、YouTube 和 TikTok 就首例指控社交媒体成瘾导致公立学校巨额损失的诉讼达成和解，和解条款未披露，Meta 仍面临审判。
开发·工具 
Hacker News 2026-05-17
告别Tailwind，学习如何结构化CSS
作者分享从Tailwind CSS转向结构化CSS的经验，强调学习CSS基础、使用BEM方法论和组件化组织样式的重要性，以提升可维护性。
行业·观察 
Hacker News 2026-05-17
Mozilla向英国监管机构表示：VPN是必要的隐私和安全工具
Mozilla 向英国监管机构强调 VPN 是保护用户隐私和在线安全的关键工具，呼吁政策制定时避免过度限制。
开发·工具 
Hacker News 2026-05-17
原生开发一路到底，直到你需要文本
本文探讨了在软件开发中优先使用原生技术栈的优势，直到遇到文本处理需求时才引入其他方案，分析了何时应坚持原生、何时应引入文本处理工具。
科技 
Hacker News 2026-05-17
澳大利亚青少年团队如何让学校负担得起射电天文学
一群澳大利亚青少年团队开发了低成本射电望远镜套件，使学校能以不到1000澳元的价格开展射电天文学实验，旨在降低教育门槛并激发学生对STEM的兴趣。
开发·工具 GitHub Trending 2026-05-17
raindrop-ai/workshop
raindrop-ai/workshop 项目旨在让编码代理能够编写和运行代理评估，提升开发效率。
开发·工具 GitHub Trending 2026-05-17
zerostack：极简编码代理
zerostack 是一个用 Rust 编写的极简编码代理，专注于最小化内存占用和优化性能。
开发·工具 GitHub Trending 2026-05-17
代码复杂度优化器
一个基于Codex的工具，用于分析代码库复杂度并生成性能优化报告，帮助开发者识别和重构复杂代码。
开发·工具 Hacker News 2026-05-17
Mado：用Rust编写的快速Markdown检查工具
Mado 是一个用 Rust 开发的高性能 Markdown 语法检查工具，能够快速检测格式问题，适合集成到 CI/CD 流程中。
开发·工具 
Hacker News 2026-05-17
Zerostack – 一个用纯Rust编写的Unix风格编码代理
Zerostack 是一个用纯 Rust 编写的 Unix 风格编码代理，受 Unix 哲学启发，提供高效、模块化的代码处理能力。
开发·工具 OpenAI Blog 2026-05-17
销售团队如何使用Codex
OpenAI博客文章介绍销售团队如何使用Codex从工作输入生成管道简报、会议准备包等，提升效率和决策质量。
科技 
Hacker News 2026-05-17
我们把世界搞得太复杂了
文章指出当前技术和社会系统过度复杂化，导致效率降低和认知负担加重，呼吁简化设计、回归本质。
科技 
Hacker News 2026-05-17
脚踏车黄昏：莱诺排字机时代前的排字竞赛
本文回顾了莱诺排字机发明前，排字工人之间进行的排字速度竞赛，展示了手工排字的极限技巧和速度，反映了印刷技术转型期的行业文化。
创业·商业 TechCrunch 2026-05-17
General Catalyst发布风投圈“钓鱼帖”成功引发关注，尤其针对a16z
General Catalyst 在社交媒体上发布了一则针对风投行业的“愤怒诱饵”帖子，成功引发了大量争议，尤其是吸引了 a16z 联合创始人 Marc Andreessen 的多次回应。该事件揭示了风投圈内的竞争与情绪化互动。
开发·工具 GitHub Trending 2026-05-17
PLFJY/ContextMenuMgr
PLFJY/ContextMenuMgr 是一款 Windows 上下文菜单管理工具，具备新菜单监控功能，帮助用户高效管理右键菜单项。
科技 
Hacker News 2026-05-17
掌控校园内每一台投影仪和摄像头
本文探讨了通过技术手段集中控制与管理校园内投影仪和摄像头的方法，包括网络发现、设备认证、远程配置和监控等步骤，旨在提升管理效率与安全性。
科技 
Hacker News 2026-05-17
我3D打印了折纸【视频】
视频展示了利用3D打印机制作可折叠折纸结构的技术，探索数字制造与传统手工艺的融合。
科技 The Verge 2026-05-17
Windows 11测试可调整任务栏和可调整大小的开始菜单
微软最新的 Windows 11 测试版允许用户重新定位任务栏并调整开始菜单的大小，支持将任务栏放置在屏幕的底部、顶部、左侧或右侧。
开发·工具 Simon Willison's Weblog 2026-05-17
iNaturalist-clumper 0.1 发布
iNaturalist-clumper 0.1 发布，这是一个用于将 iNaturalist 观察记录发布到个人博客的基础设施组件，经过数周生产环境运行后正式发布。
开发·工具 Simon Willison's Weblog 2026-05-17
Warelay 更名为 OpenClaw
项目Warelay更名为OpenClaw，文章通过Git历史记录了名称演变过程。
科技 TechCrunch 2026-05-17
用户转向越狱旧款Kindle，亚马逊停止支持
随着亚马逊停止对旧款Kindle的支持，用户开始探索越狱这些设备以继续添加书籍，但存在安全风险和保修失效等问题。
开发·工具 
Hacker News 2026-05-17
你不知道的HTML列表
本文深入探讨HTML列表元素的隐藏特性与最佳实践，包括嵌套规则、自定义标记、可访问性优化及CSS高级用法。
开发·工具 Simon Willison's Weblog 2026-05-17
datasette-llm-limits 0.1a0
datasette-llm-limits 0.1a0 是一个 Datasette 插件，用于设置 LLM 使用的消费限制，支持按用户或全局配置。
开发·工具 GitHub Trending 2026-05-17
openclaw/clawpatch
openclaw/clawpatch 是一个专注于代码审查、补丁修复和拉取请求合并的技术项目，旨在提升代码质量和项目稳定性。
开发·工具 GitHub Trending 2026-05-17
小提琴
shang-zhu/violin 是一个开源视频翻译技能项目，结合语音识别、文本翻译和字幕生成技术，支持多语言视频处理。
科技 The Verge 2026-05-17
NPR的Manoush Zomorodi谈过度使用科技的生活
NPR记者Manoush Zomorodi的新书《Body Electric》探讨科技对身体健康的影响，延续其前作《Bored and Brilliant》对科技与心理健康的关注。
科技 The Verge 2026-05-17
索尼试图解释其AI相机助手并不糟糕
索尼为Xperia 1 XIII的AI相机助手功能辩护，澄清其不会编辑照片，而是提供曝光、色彩等建议，但演示效果引发用户疑虑。
科技 The Verge 2026-05-17
混音带：青少年生活的音乐肖像
《Mixtape》是一款以高中生活为背景的视频游戏，玩家扮演音乐爱好者Stacey Rockford，在毕业前的夏日里探索友情、怀旧与青春焦虑。游戏以经典歌曲配乐，融合了青少年电影中的典型元素。
开发·工具 GitHub Trending 2026-05-17
Crypto-Web3-Copilot应用
一个基于Next.js构建的AI驱动的Web3 Copilot应用，提供智能化的加密货币和Web3交互体验。
科技 The Verge 2026-05-17
Xbox 更名为 XBOX
微软将 Xbox 品牌更名为全大写的 XBOX，源于 CEO 在 X 平台发起的投票结果，目前部分社交账号已更新。
科技 The Verge 2026-05-17
我推荐给几乎所有人的笔记本电脑
本文推荐了多款笔记本电脑，涵盖MacBook Air、MacBook Neo、Microsoft Surface Laptop等，针对不同需求提供选择建议。
科技 The Verge 2026-05-17
富士X Half相机降价300美元，更显趣味
富士X Half数码相机降价300美元，现售价约549美元。该相机设计灵感来自半格胶片相机，主打趣味性，但缺少RAW拍摄、热靴等现代功能。
科技 
Hacker News 2026-05-17
高熵合金
高熵合金是一种由多种主要元素等原子比组成的合金，具有独特性能，但该内容与AI领域无关。
创业·商业 
Hacker News 2026-05-17
Kyber (YC W23) 正在招聘创始营销人员
Kyber（YC W23）正在招聘创始营销人员，负责从零搭建营销体系，推动品牌增长。
科技 The Verge 2026-05-17
《Oddity》：来自《Hokum》导演的紧张恐怖杰作
《Oddity》是导演Damian McCarthy的恐怖电影，与《Hokum》类似，涉及诅咒物品和神秘学元素，文章推荐观众在不知情的情况下观看。
科技 
Hacker News 2026-05-17
名声！一个误解：阿尔贝·加缪完整笔记的新译本
本文介绍阿尔贝·加缪完整笔记的新译本，探讨其思想演变与创作过程，但内容与人工智能无关。
科技 The Verge 2026-05-17
你需要用来清理电脑的应用程序
本文是《The Verge》的Installer专栏，介绍作者本周关注的科技内容，包括AI助手测试和生产力工具，但内容较为个人化且缺乏深度。
科技 
Hacker News 2026-05-17
关于P2P冰毒的主要问题是数量太多（2021）
本文探讨了P2P法生产甲基苯丙胺泛滥的问题，分析其化学特性、生产规模及社会影响。
科技 The Verge 2026-05-17
REI大型周年促销中我们最喜欢的40个优惠
REI周年促销活动开启，涵盖户外装备及智能手表等商品，会员可享额外折扣。
科技 Simon Willison's Weblog 2026-05-17
西部海鸥，岩鸽
本文记录了在洛杉矶地区PyCon会议前的一次晨间观鸟活动，观察到一只西美鸥在享用星巴克食物，同时提及了岩鸽的存在。内容简短，主要描述观鸟体验。
AI·模型 Hugging Face Daily Papers 2026-05-16
因果强制++：用于实时交互式视频生成的可扩展少步自回归扩散蒸馏
本文提出因果强制++（Causal Forcing++），一种用于实时交互视频生成的可扩展少步自回归扩散蒸馏方法，通过因果一致性蒸馏实现帧级自回归，仅需1-2步采样，解决了现有方法粗粒度响应和高延迟问题。
AI·模型 Hugging Face Daily Papers 2026-05-16
自蒸馏智能体强化学习
SDAR提出一种自蒸馏智能体强化学习方法，通过在线策略自蒸馏作为门控辅助目标，增强多轮智能体训练，在Qwen2等模型上取得显著效果。
开发·工具 Hacker News 2026-05-16
图像爆破器：从单张图像创建3D环境、特效和网格
Image-blaster 是一种能从单张图像生成3D环境、特效和网格的开源工具，利用深度学习自动构建三维场景，降低3D内容创建门槛。
AI·模型 
Hacker News 2026-05-16
Sigmoid函数救不了你
本文指出Sigmoid激活函数在深度学习中存在梯度消失、非零中心输出等根本性缺陷，导致深层网络训练困难，并建议使用ReLU等替代方案。
科技 TechCrunch 2026-05-16
OpenAI推出ChatGPT个人理财功能，可连接银行账户
OpenAI推出ChatGPT个人理财功能，允许用户连接银行账户，查看投资组合、支出、订阅和付款等信息的仪表盘。
行业·观察 TechCrunch 2026-05-16
美国最大电网电价飙升76%，监管机构指责背后问题
美国最大电网电价飙升76%，凸显电网设计无法满足AI驱动经济的高电力需求，供需缺口持续扩大。监管机构指出，现有基础设施老化、可再生能源并网不足及AI算力激增是主因。
行业·观察 The Verge 2026-05-16
谷歌更新垃圾邮件规则，将“操纵”AI的行为纳入其中
谷歌更新垃圾邮件政策，明确将操纵AI模型以影响搜索结果的行为视为垃圾信息，针对用户通过偏见性列表或“推荐投毒”等方式影响AI搜索响应的做法。
科技 
Hacker News 2026-05-16
OpenAI通过Plaid将ChatGPT与银行账户连接
OpenAI 通过金融科技公司 Plaid 将 ChatGPT 与用户银行账户连接，使其能够处理支付、查询余额等财务操作，但引发了数据隐私和安全性的讨论。
开发·工具 
Hacker News 2026-05-16
我构建了Zenith：一个实时本地优先的固定视口天文馆
作者介绍了Zenith项目，一个实时、本地优先、固定视口的星象馆，通过本地数据处理和固定视口设计优化性能与用户体验。
创业·商业 
Hacker News 2026-05-16
问HN：作为独立创业者如何通过SOC2 Type 2合规？
本文讨论了独立创业者如何以低成本、高效率的方式实现SOC 2 Type 2合规，核心建议包括使用自动化合规工具、聚焦关键控制点、利用开源或低成本解决方案以及分阶段实施。
开发·工具 Simon Willison's Weblog 2026-05-16
二维码生成器
Simon Willison 介绍了一个由 Claude 协助构建的二维码生成工具，支持文本/URL 和 WiFi 网络连接二维码生成。
科技 
Hacker News 2026-05-16
古腾堡计划——越来越好
古腾堡计划是一个持续改进的数字图书馆项目，提供大量免费电子书。本文简要介绍了其发展历程和当前状态，强调其不断优化用户体验和内容质量。
科技 The Verge 2026-05-16
BioLite可插式太阳能灯在阵亡将士纪念日降至新低价
BioLite太阳能灯系统在阵亡将士纪念日促销中降至历史最低价74.89美元，具备防水和多种照明模式。
科技 The Verge 2026-05-16
特朗普手机知道美国国旗上有多少条纹吗？
特朗普手机公司宣称本周开始发货但实际未见动静，其T1手机屏幕上的美国国旗条纹数量错误，引发对该公司爱国立场的质疑。
创业·商业 
Hacker News 2026-05-16
Hightouch（YC S19）正在招聘
Hightouch（YC S19）发布招聘信息，但未提供具体职位细节。