分数: 8.5
摘要: 研究相关:提出将 Learning-to-Optimize(L2O)作为 AI 原生网络缺失的架构层,把优化算法定义为离线知识生成器,为神经代理模型提供高质量监督信息,实现面向动态网络的低延迟推理,契合代理辅助/数据驱动优化研究方向。
标签: Learning-to-Optimize, 代理模型, 数据驱动优化, AI原生网络

Scaling Discovery through Test-Time Communication

分数: 8.5
摘要: 研究相关:多智能体测试时通信研究,证明 team@k(k 个共享目录协作的智能体)可匹敌 4k 个独立智能体的成功率且收益随规模复合增长,并可迁移至科研型任务,与分布式多智能体优化方向高度契合。
标签: 多智能体, 测试时通信, test-time compute, ARC-AGI-3, 多智能体协作

Introducing Nested Learning: A new ML paradigm for continual learning

分数: 8.0
摘要: Google Research 发布 Nested Learning:一种面向持续学习问题的新型机器学习范式,属于重要的前沿研究动态
标签: 持续学习, Nested Learning, Google Research, 机器学习范式

MOSAIC-SR: Transformer-Guided Symbolic Regression for Scientific Equation Recovery

分数: 8.0
摘要: 研究相关:提出 MOSAIC-SR,用预训练 Transformer 生成多个初始表达式草图引导符号回归搜索(符号回归是遗传编程的经典应用,此为神经引导搜索与进化式结构搜索结合的混合范式),配合尺度感知常数优化与局部符号修复,在 SRSD-Feynman 等七个基准上实现科学方程自动恢复。
标签: 符号回归, 科学方程发现, Transformer, 神经引导搜索, 数据驱动优化

FedeRage: Provably Convergent Agnostic Federated Learning under General Client Drift

分数: 8.0
摘要: 研究相关:提出FedeRage,刻画参与概率未知且倾斜时FedAvg实际求解的随机优化目标,并给出凸(可非光滑)损失下O(1/√T)收敛率,属于联邦学习即分布式优化方向的收敛性理论工作,与用户分布式优化研究兴趣高度契合。
标签: 联邦学习, 分布式优化, 收敛性分析, 客户端漂移, 风险规避

ATLAS: Practical scaling laws for multilingual models

分数: 7.5
摘要: Google Research 发布 ATLAS,提出面向多语言模型的实用缩放定律,为多语言模型训练规模与资源配置提供可操作指导。
标签: Scaling Laws, 多语言模型, Google Research

Next generation medical image interpretation with MedGemma 1.5 and medical speech to text with MedASR

分数: 7.5
摘要: Google Research 发布 MedGemma 1.5 医学影像解读模型与 MedASR 医学语音转文本模型,属医疗 AI 领域的重要模型更新
标签: 医学AI, 多模态大模型, 模型发布, Google, 语音识别

Titans + MIRAS: Helping AI have long-term memory

分数: 7.5
摘要: Google Research 发布 Titans 与 MIRAS 记忆架构研究，探索让 AI 模型具备可学习的长期记忆能力。
标签: 长期记忆, Titans, MIRAS, 记忆架构, Google Research

Information-Gain Rewards over Diversity-Pruned Tests: GT-Anchored Verifier Co-Training for Reliable Code Generation

分数: 7.5
摘要: 提出 CoVer 框架,通过信息增益奖励与多样性剪枝的测试集共训编码器-验证器,解决自博弈代码生成 RL 中的宽容性坍缩与集中偏差问题
标签: LLM强化学习, 代码生成, GRPO, 验证器共训练, 信息增益奖励

GVPO++: Group Variance Policy Optimization for LLM Post-Training and On-Policy Distillation

分数: 7.5
摘要: 提出 GVPO++ 新型 LLM 后训练方法,将 KL 约束奖励最大化的解析解融入梯度加权,解决 GRPO 依赖重要性采样导致的训练不稳定问题,并支持在线策略蒸馏。
标签: LLM后训练, 策略优化, GRPO改进, 在线策略蒸馏

LogicTrack: Auditing Reasoning Trajectories of Large Language Models with Formal Logic Solvers

分数: 7.5
摘要: 提出 LogicTrack 神经符号框架,将 LLM 思维链推理的每一步自动形式化并用定理证明器验证逻辑有效性,引入基于求解器的回溯奖励(SBR)指导推理时搜索并生成 SFT 微调数据。
标签: LLM推理, 神经符号, 形式化验证, Chain-of-Thought

Elastic Threshold Attention: Learned Contextual Sparsity for Long-Context Decoding

分数: 7.5
摘要: 提出 Elastic Threshold Attention(ETA),一种端到端可训练的上下文稀疏注意力架构,通过从查询表示预测动态阈值并乘性抑制低权重 logits,在长上下文解码中实现硬件加速的同时保持稠密模型质量。
标签: 长上下文解码, 稀疏注意力, KV缓存优化, LLM推理加速

Teaching LLMs to reason like Bayesians

分数: 7.0
摘要: Google Research 博文介绍让 LLM 像贝叶斯学派一样进行推理的方法,探索概率化思维链对模型推理可靠性的提升。
标签: LLM 推理, 贝叶斯方法, Google Research

Beyond one-on-one: Authoring, simulating, and testing dynamic human-AI group conversations

分数: 7.0
摘要: Google Research 提出超越一对一交互的动态人-AI 群组对话的构建、模拟与测试方法,探索多方可控的群聊交互范式。
标签: 人机交互, 多方对话, AI群组模拟

Sequential Attention: Making AI models leaner and faster without sacrificing accuracy

分数: 7.0
摘要: Google Research 提出序列注意力方法,通过特征选择在不牺牲精度的前提下使 AI 模型更精简、推理更快速
标签: 模型效率, 特征选择, 注意力机制, Google Research

dev-community

Brood War Bench

分数: 7.0
摘要: Hacker News 热议项目:面向《星际争霸:母巢之战》的 AI Agent 基准测试(Brood War Bench),获得 338 分与 154 条评论,引发游戏 AI 与强化学习社区广泛关注
标签: 游戏AI, AI基准测试, 强化学习, Hacker News

A 1,145-Star CLI Promised “Nothing Leaves Your Machine”. It Executes a Hidden Payload at Import Time.

分数: 7.0
摘要: Dev.to 安全分析文章:GitHub 上 1,145 星、宣称完全本地运行的 CLI 工具 tokentab 在导入时执行隐藏载荷,作者披露该供应链安全问题并分享安装前审查方法
标签: 供应链安全, 恶意包, GitHub 安全, CLI 工具

Pirate Face Rescues LLM Models from Deletion

分数: 6.5
摘要: Pirate Face 网站用于抢救并备份面临删除风险的 LLM 模型,在 Hacker News 上引发热议(489 分、141 条评论),反映社区对开放模型保存的关注。
标签: LLM, 模型存档, Hacker News, 开放模型, 社区热议

What Zig felt like, coming from Rust

分数: 6.5
摘要: 一位 Rust 开发者分享转向 Zig 语言的使用体验,在 Hacker News 引发 318 条评论的热烈讨论,涉及两者的内存管理、工具链与语言设计对比。
标签: Zig, Rust, 编程语言对比

How Notion handles concurrent editing with CRDTs

分数: 6.5
摘要: Lobsters 讨论帖:解析 Notion 如何基于 CRDT 实现多人并发编辑的分布式数据同步方案
标签: CRDT, 并发编辑, 分布式系统

Benchmarked WASM crypto in the browser vs native mobile: 0.2–0.8 ms E2E encryption, basically no WASM tax

分数: 5.5
摘要: 开发者分享将 Rust 端到端加密核心(OpenMLS/RFC 9420)从原生移动端迁移到浏览器 WASM 的性能基准，端到端加密耗时 0.2–0.8 ms，几乎无 WASM 性能损耗
标签: WASM, Rust, 端到端加密, 性能基准, MLS协议

[Showoff Saturday] I spent a year building an in-browser preview engine for 266+ file formats (including legacy .doc/.xls/.ppt, DWG CAD, and STEP 3D) so our backend wouldn’t have to keep running headless LibreOffice

分数: 5.5
摘要: 开发者耗时一年构建支持 266+ 文件格式(含旧版 Office、DWG CAD、STEP 3D)的浏览器端预览引擎,替代后端 headless LibreOffice 方案
标签: 浏览器文件预览, 前端工程, 文件格式解析

Ask the Chrome team about WebMCP

分数: 5.0
摘要: Chrome DevRel 团队在 Reddit 征集社区关于 WebMCP 的深度问题(如工具编写、评估、与 MCP 对比),计划制作开发者问答视频。
标签: WebMCP, Chrome, Agentic Web, 社区问答

I built a Chrome extension to see what third-party services a site is loading

分数: 5.0
摘要: 开发者分享自建 Chrome 扩展 OutTrace,可一键扫描页面并列出站点连接的第三方域名与追踪器,支持扫描历史对比、连接图与站点监控
标签: Chrome扩展, 第三方追踪, 隐私安全, 网页开发工具

Good Tools Are Invisible

分数: 5.0
摘要: Reddit webdev 社区讨论的软件工具设计哲学观点文章,主张优秀工具应无感融入用户工作流程
标签: 工具设计, 开发者观点, 软件工程

research

A Confidence-Driven Evolutionary Algorithm for Noisy Optimization with Joint Chance Constraints

分数: 9.0
摘要: 研究相关:提出 CR-EA-C 置信度驱动进化算法,通过解析可行性估计、成对统计排序与不可行性驱动生存策略,求解带联合机会约束的噪声黑盒优化问题,直击进化计算与昂贵约束优化的核心研究主题。
标签: 进化计算, 噪声优化, 机会约束, 统计排序, 黑盒优化

Doubly Debiased Robust Subsampling for Transfer Learning

分数: 9.0
摘要: 研究相关:JMLR 论文提出双重去偏鲁棒子采样迁移学习框架,通过逆概率加权与目标域一步修正消除子采样偏差和迁移偏差,并提出标量化粒子群(PSO)算法优化子采样分布,PSO 为论文核心贡献之一
标签: 粒子群PSO, 迁移学习, 分布鲁棒优化, 去偏子采样, 进化计算

Proxifield: Decentralized Multi-Agent Communication through Semantic Proximity

分数: 8.5
摘要: 研究相关:提出 Proxifield 去中心化多智能体通信协议,基于语义邻近性构建稀疏通信图,无需训练或中心规划器即可实现 LLM 多智能体的自适应协调,与分布式多智能体优化研究方向高度相关。
标签: 多智能体, 去中心化通信, LLM Agent, 语义邻近性, arXiv

The Mechanics of a Swarm: A Reproducible External Reconstruction of an Unintended Agent-Coordination Episode on a Third-Party Wiki

分数: 8.5
摘要: 研究相关:对自主 LLM 智能体群在第三方 wiki 上意外协同事件的可复现行为学分析,重建约 876 次协同 episode,发现协同格式一日内趋同、信息不对称显著,但协同程度与任务进展无稳健正相关,对多智能体涌现协同机制研究有直接参考价值。
标签: 多智能体, LLM Agents, 群体协同, 涌现行为, arXiv

分数: 8.5
摘要: 研究相关:提出无超梯度(hypergradient-free)的社会梯度流激励设计方法,面向信息不对称下多智能体系统的纳什均衡引导,证明社会成本梯度是规划者目标的下降方向,与多智能体/分布式优化方向高度相关。
标签: 激励设计, 多智能体系统, 纳什均衡, 分布式优化

A hierarchical memory architecture overcomes context limits in long-horizon multi-agent computational modeling

分数: 8.5
摘要: 研究相关:提出 Ensemble QSP 多智能体框架,以三层分层记忆架构约束注入上下文(中位数 301 tokens),突破 LLM 无状态架构限制,实现长周期多会话自主科研工作流,并在 PKPD 模型选择与参数恢复任务上优于单智能体基线。
标签: 多智能体, 分层记忆架构, LLM智能体, 自主科研工作流, PKPD建模

Information-Theoretic Safe Bayesian Optimization

分数: 8.5
摘要: 研究相关:提出信息论驱动的安全贝叶斯探索准则,仅利用GP后验识别最具信息量的安全参数,并与贝叶斯优化采集函数结合,适用于昂贵未知约束优化,契合代理辅助/数据驱动优化方向。
标签: 贝叶斯优化, 安全探索, 高斯过程, 代理辅助优化, JMLR

Adversarial Rademacher Complexity of Deep Neural Networks

分数: 8.0
摘要: JMLR 论文首次给出深度神经网络对抗 Rademacher 复杂度(ARC)的泛化界,解决了此前仅适用于线性函数和两层网络的理论空白。
标签: 学习理论, 对抗鲁棒性, Rademacher复杂度, 泛化界, 深度神经网络

Dynamic surface codes open new avenues for quantum error correction

分数: 7.5
摘要: Google Research 提出动态表面码,为量子纠错开辟新途径,是量子计算领域的重要研究进展
标签: 量子纠错, 表面码, 量子计算

An elementary proof of the Koml'os conjecture

分数: 7.5
摘要: arXiv 数学论文:作者仅用初等的组合、概率论证与基础微积分,简化 Guo-Fang-Lu 的近期证明,证明任意二范数不超过 1 的向量组存在 ±1 符号赋值使无穷范数和不超过 36,从而给出著名的 Komlós 猜想(差异理论核心开放问题)的一个初等证明。
标签: 组合数学, 差异理论, Komlós猜想

Erd\H{o}s-S'{o}s via random cyclic orderings

分数: 7.5
摘要: arXiv math.CO 论文利用随机循环序对 Erdős–Sós 树猜图的近期证明给出简化重述,并同时为有向图中反对向树的相应猜想提供新证明,属组合数学重要研究进展
标签: 组合数学, 图论, Erdős–Sós猜想

Complex Problem Solving in Large Language Models: A Statistical Control Survey and Diagnostic Framework

分数: 7.5
摘要: 一篇 arXiv stat.ML 综述,将 LLM 复杂问题求解建模为对潜在解轨迹的序列估计与决策过程,围绕状态表示、转移结构、验证、回滚与弃权五个组件构建统计控制与诊断框架,系统梳理现有推理控制方法。
标签: LLM推理, 复杂问题求解, 统计控制, 综述, 过程控制

Dirichlet Active Learning

分数: 7.5
摘要: JMLR 论文提出 Dirichlet Active Learning(DiAL),将特征条件类概率建模为 Dirichlet 随机场,在标签稀缺场景下结合图拉普拉斯传播算子进行分类与主动学习,达到 SOTA 竞争力并给出探索-利用的理论保证。
标签: 主动学习, 贝叶斯方法, 图学习, 少标签学习

Keypoint-Guided Optimal Transport: Models, Algorithms, and Applications

分数: 7.5
摘要: JMLR 论文提出 KPG-RL 模型,利用少量跨域标注关键点引导最优传输中的正确匹配,并在 Kantorovich 与 Gromov-Wasserstein 框架下给出平衡与非平衡/部分传输的模型、对偶形式及算法。
标签: 最优传输, 关键点引导匹配, Gromov-Wasserstein, JMLR

Set-Packing and Sequence-Pair QUBOs for the 2D Cutting Stock Problem on Quantum Annealing Hardware

分数: 7.0
摘要: 提出并比较两种用于二维下料问题的 QUBO 编码(基于坐标的集合打包模型与坐标无关的序列对模型),并证明了坐标无关编码在交互度有界时存在结构性极限,面向量子退火硬件实现。
标签: 量子退火, QUBO, 组合优化, 二维下料问题, arXiv

Unconditional quantum advantage from a two-round CHSH problem in one dimension

分数: 7.0
摘要: 提出两轮一维 CHSH 关系问题,构造仅用相邻两比特门、深度至多 8 的量子电路,并证明经典电路需 Ω(log N) 深度才能达到相近成功率,给出无条件量子优势证明
标签: 量子计算, 量子优势, CHSH博弈, 电路复杂度, quant-ph

A Smoothed Discrepancy Principle for Random Feature Methods and Neural Networks

分数: 7.0
摘要: arXiv 统计学习理论论文,提出基于 discrepancy principle 的多尺度早停规则与随机特征近似,在保持 minimax 最优保证的同时给出神经网络宽度的数据驱动选择
标签: 统计学习理论, 早停与谱正则化, 随机特征方法, 神经正切核(NTK), 非参数回归

Sparse Identification for Automatic Large-Scale Screening: A Constraint-Aware Framework with Ultra Fast Decoding Algorithm

分数: 7.0
摘要: 提出LoSc逻辑筛查框架,利用仅含逻辑运算的超快解码算法,在样本用量与稀释效应等硬约束下以O(klogn)次混合测试完成大规模稀疏阳性识别,并具理论保证
标签: arXiv, stat.ML, 稀疏识别, 群组检测, 解码算法

Aggregated Posterior Predictive Checks for Generative Modeling

分数: 7.0
摘要: 提出聚合后验预测检验(APPC)用于诊断潜变量生成模型中先验与聚合后验的失配问题,并给出渐近校准的充分条件及理论保证
标签: 生成模型, 潜变量模型, 后验预测检验, 统计机器学习, 理论保证

Single-Loop Stochastic Projected Damped Extragradient Methods for Stochastic Nonconvex–(Strongly) Concave Minimax Optimization

分数: 7.0
摘要: 提出单循环随机投影阻尼外梯度方法 SPDE 及方差缩减变体 VR-SPDE,用于随机非凸-(强)凹极小极大优化,给出博弈平稳点与优化平稳点的随机一阶 Oracle 复杂度保证。
标签: 极小极大优化, 随机优化, 方差缩减, 单循环算法, 复杂度分析

self-built

vercel-labs/json-render

分数: 7.0
摘要: Vercel Labs 开源 json-render 生成式 UI 框架：AI 从预定义组件目录中选取组件并以 JSON 输出，由各端渲染器安全渲染，避免模型直接生成前端代码。
标签: 生成式UI, Vercel, 结构化输出, 前端安全

cloudflare/security-audit-skill

分数: 6.5
摘要: Cloudflare 开源编码 Agent 安全审计技能，采用六阶段流程与独立子 Agent 交叉验证，输出机器可读的 findings.json。
标签: Agent 安全, 安全审计, 开源工具, 多智能体协作

trycua/cua

分数: 6.5
摘要: 开源项目 Cua 提供「给 AI Agent 一台电脑」的完整基础设施，涵盖跨平台桌面驱动、云端桌面池、本地虚拟机、小模型 CUA-S1 与评测基准
标签: AI Agent, Computer Use, 开源基础设施, 桌面自动化

systems

Next.js 7

分数: 7.5
摘要: Next.js 发布生产就绪的 7.0 正式版,历经 26 个 canary 版本与 340 万次下载验证。
标签: Next.js, 框架发布, React

Node.js 25.0.0 (Current)

分数: 7.5
摘要: Node.js 发布 25.0.0 Current 版本,作为新一代大版本带来运行时与工具链的重要更新
标签: Node.js, 版本发布, JavaScript 运行时

Profiling in PyTorch (Part 2): From nn.Linear to a Fused MLP

分数: 6.5
摘要: HuggingFace 工程博客系列第二篇,深入剖析 PyTorch 性能分析,讲解从 nn.Linear 到融合 MLP 内核的底层实现与优化细节。
标签: PyTorch, 性能分析, 内核融合

Btrfs/ZFS/bcachefs under workloads classic benchmarks skip

分数: 6.5
摘要: 对 Btrfs、ZFS、bcachefs 三种现代文件系统在经典基准测试所忽略的真实工作负载下的深入性能对比评测
标签: 文件系统, 性能测试, 存储系统

higgsfield-ai/higgsfield

分数: 6.5
摘要: Higgsfield 开源 GPU 编排与训练框架，通过 SSH 管理多节点、支持 ZeRO-3/FSDP 并集成 GitHub Actions，降低 LLM 团队的分布式训练环境配置成本。
标签: GPU编排, 分布式训练, 开源框架

Next.js 9.3

分数: 6.5
摘要: Next.js 9.3 发布,带来静态站点生成(SSG)改进、原生 SCSS 支持、更小的打包体积和静态 404 页面等功能更新。
标签: Next.js, 静态站点生成, 前端框架

Next.js 9

分数: 6.5
摘要: Next.js 9 发布,带来内置 TypeScript 支持、动态路由、API 路由和自动静态优化等重要新特性。
标签: Next.js, 前端框架, TypeScript, 版本发布

Altum：蚂蚁集团新一代大模型训练数据处理系统设计与实践｜QCon上海

分数: 6.5
摘要: 蚂蚁集团在QCon上海分享新一代大模型训练数据处理系统Altum的架构设计与工程实践。
标签: 大模型训练, 数据处理系统, 蚂蚁集团, 工程实践

Q&A: How Capcom Brought Path Tracing to RE ENGINE Across PRAGMATA and Resident Evil Requiem

分数: 6.0
摘要: NVIDIA 开发者博客访谈 Capcom RE ENGINE 团队,介绍其在《生化危机安魂曲》和 PRAGMATA 两款游戏中落地路径追踪渲染技术的工程实践。
标签: 路径追踪, 游戏引擎, 实时渲染, NVIDIA, 工程实践

Scheduling in a changing world: Maximizing throughput with time-varying capacity

分数: 6.0
摘要: Google Research 算法与理论团队发布关于时变容量下吞吐量最大化调度算法的研究博文,属调度理论进展但与用户进化计算/分布式优化方向关联较弱,故由 ai-researcher 提示改判为工程博客类。
标签: 调度算法, 时变容量, 算法理论, Google Research

Hacker News · Deterministic Core, Non-Deterministic Shell

分数: 6.0
摘要: 一篇架构文章，提出’确定性核心、非确定性外壳’模式：将业务逻辑写成纯函数、把时间/随机/I/O 等副作用隔离到外层，以提升可测试性与可复现性。
标签: 架构设计, 函数式编程, 副作用隔离, 可测试性

微软开源 TauGrid，简化 Kubernetes AI 工作负载管理

分数: 6.0
摘要: 微软开源 TauGrid,面向 Kubernetes 的 AI 工作负载管理工具,简化大模型训练与推理集群运维。
标签: Kubernetes, AI 基础设施, 开源, 工作负载调度, 微软

AI4S走出实验室：材料研发开始跨越“中试鸿沟”

分数: 5.5
摘要: 文章探讨了 AI for Science(AI4S)在材料研发领域从实验室走向产业化的进程,分析材料研发如何跨越「中试鸿沟」实现规模化落地。
标签: AI4S, 材料研发, 产业化, 中试, 科技资讯

人工智能时代的代码正在变为只写且可丢弃的

分数: 5.5
摘要: InfoQ 中文观点文章,探讨 AI 生成代码时代代码正变为「只写且可丢弃」,传统软件工程理念面临重构
标签: AI编程, 软件工程, 代码生成, 技术观点

从“看见文字”到“读懂画面”：AI MediaKit 如何实现视频字幕无痕擦除

分数: 5.5
摘要: InfoQ 中文技术文章,介绍 AI MediaKit 通过视觉理解与修复技术实现视频字幕无痕擦除的工程实现
标签: 视频处理, 字幕擦除, AI 多媒体, 技术实践

tech-news

Samsung is expected to more than double output of its HBM4 and HBM4E DRAM

分数: 7.0
摘要: 三星预计明年将把 HBM4 和 HBM4E DRAM 产量提高一倍以上,以应对 AI 算力对高带宽内存的旺盛需求。
标签: 三星, HBM4, 半导体, AI硬件, 供应链

Microsoft director: AI scraping ‘the largest theft of labor in human history’

分数: 6.5
摘要: 微软高管称 AI 抓取数据是「人类历史上最大规模的劳动窃取」,OpenAI 高层将 ChatGPT 对出版商的冲击称为生存威胁,信息来自 NYT 诉讼的法律文件,属 AI 行业版权争议的重要动态。
标签: AI 版权, NYT 诉讼, OpenAI, 微软, 科技行业争议