951

agent-service-toolkit

一个使用 LangGraph, FastAPI, 和 Streamlit 构建和部署 AI agents 的全栈工具包,提供从 agent 逻辑到用户界面的完整模板。

952

对雅可比猜想反例的消化

展示了一个三变量多项式映射,其雅可比行列式为常数非零,从而推翻了三维的雅可比猜想,并表明局部可逆性并不保证全局可逆性。

953

potpie

Potpie 将代码库及其开发生命周期转化为活的上下文图,为 AI 代理提供项目特定的知识,以便进行编码、调试和变更规划。

954

text-to-cad: 它是什么,它解决了什么问题 & 为什么它正在获得关注

一个代理技能库,使 AI 能够为制造和仿真生成、检查和准备 CAD 模型和机器人描述文件。

955

agents

一个用于构建可以看、听、说、实时、多模态 AI agent 的框架,通过 WebRTC 集成了 STT, LLM, 和 TTS 提供商。

956

Apple 在 Amy 诉 Apple 案中因未扫描 iCloud 中的 CSAM 而免除责任

美国法院驳回了针对 Apple 的诉讼,裁定第 230 条款为公司决定不扫描 iCloud 存储中的儿童性虐待材料(CSAM)提供豁免,强化了隐私和加密相对于主动内容审核的法律优先性。

957

cube

Cube Core 是一个开源的语义层,允许您在代码中定义一次指标和业务逻辑,并通过 APIs 向 BI 工具和 AI agents 暴露它们。

958

明尼阿波利斯联邦储备银行业主与人口比例 (HPOP)

明尼阿波利斯联邦储备银行引入了业主与人口比例 (HPOP),这是一种以人为单位的指标,揭示了美国实际的住房自有率仅为 53%,显著低于传统引用的 65% 业主自住率。

959

agents

一个生产就绪的智能体构建块(插件、智能体、技能和命令)市场,可以部署在 Claude Code, Cursor, 和 Gemini CLI 等多个 AI 编程助手上。

960

novu

一种开源的通信基础设施,通过提供单一的 API 和统一的对话模型,将产品和 AI agent 连接到多个消息渠道。

961

贝宁海岸附近发现繁茂的珊瑚礁

科学家们在贝宁海岸附近重新发现了一片繁茂的中光层珊瑚生态系统,证实了一个自 20 世纪 60 年代以来一直被认为已经死亡的珊瑚礁的存在。

962

Jane Street Incremental: 增量计算库

Jane Street 的 Incremental 是一个 OCaml 库,旨在通过在源数据变化时对计算图进行部分更新,从而最小化重新计算。

963

Poolside 的 Model Factory、Laguna S 与开放模型:Eiso Kant 谈如何构建用于 AGI 的代码模型

Eiso Kant 解释了 Poolside 的 Model Factory 如何实现快速的八周模型周期,为什么 Laguna S 依赖于持久性和验证而非单纯的原始智能,以及为什么他更看好拥有众多开放基础模型公司的世界,而非少数封闭的公司。

964

斯坦福机器人研讨会:形态物质中的具身智能

助理教授Lining Yao讨论了利用形态材料和机制来创造‘具身智能’——通过形状变化和可调材料实现可编程性和决策能力的硬件系统。

965

Castle Map: 全球 2,435 座防御工事的交互式地图集

Castle Map 是一个免费的交互式地图集,收录了分布在 129 个国家的 2,435 座经过策划的城堡、要塞和宫殿,使用 Wikidata 和 Wikimedia Commons 的开源数据构建而成。

966

促进人机交互中的主动性:斯坦福CS547 HCI研讨会

Matthew Jörke认为,AI系统应从任务自动化的助手转变为通过非规定性支持和引出定性背景来保持用户主动性的增强型顾问。

967

TITLE: AI 绘图竞技场:比较 GPT-5.6 Sol、Claude Fable 5、Gemini 3.6 Flash 和 Grok 4.5

摘要: 使用彩色铅笔工具集对四种前沿视觉模型进行的技术评估表明,GPT-5.6 Sol 在质量和效率方面领先,而 Claude Fable 5 的成本显著更高,收益递减。

968

FreeInk: 电子墨水屏阅读器的开源生态系统

FreeInk 是一个开源集体,通过提供硬件无关的 SDK、社区构建的固件以及开源硬件设计,旨在创建一个完全透明的电子墨水屏阅读器技术栈。

969

Flock Safety ALPR 争议:误导行为模式与隐私担忧

ACLU 指出,Flock Safety 在其 ALPR 热力图功能、联邦数据共享以及与民权组织合作伙伴关系方面,向政府官员提供了虚假信息。

970

vLLM AFD Plugin:为 MoE 推理实现 Attention 与 FFN 解耦

vLLM AFD Plugin 引入了 Attention-FFN 解耦 (AFD),允许混合专家模型 (MoE) 中的 Attention 和 FFN 路径进行独立扩展和执行,从而优化推理吞吐量和延迟。

971

使用 vLLM 在 NVIDIA B300 GPU 上部署 GLM-5.2

通过实施 P/D 解耦、投机填充和 IndexerCache 优化,vLLM 在 24 块 NVIDIA B300 GPU 上实现了 GLM-5.2-NVFP4 的生产级 SLA 合规性。

972

Hugging Face 将 Nunchaku 4-bit Diffusion 推理集成至 Diffusers

Hugging Face 已将 Nunchaku Lite 集成到 Diffusers 库中,实现了 4-bit 权重和激活 (W4A4) 量化,可将 VRAM 使用量降低高达 50%,并将推理速度提高约 30%。

973

ChatGPT 中的健康功能上线

OpenAI 已面向美国用户推出了 ChatGPT 中的健康功能,允许 AI 安全地连接 Apple Health 和医疗记录,以提供个性化、具备上下文感知能力的健康见解。

974

寒蝉效应:监控与社会压力如何影响网络言论

Hacker News 用户之间的讨论揭示,现代网络言论受到的约束更多来自于企业 AI 分析、社会“取消文化”以及经济后果,而不仅仅是直接的国家监控。

975

ciso-assistant-community

CISO Assistant 是一个开源 GRC 平台,通过将合规性与安全控制解耦来简化网络安全管理,从而减少数据重复。

976

Jellyfin 项目领导层变动

Jellyfin 项目负责人 Joshua Boniface、核心成员 Anthony 以及创始人 Andrew 因倦怠和个人优先事项的原因已离开项目,项目目前由剩余的核心团队负责。

977

tracecat

一个结合了 AI agents、低代码工作流和案例管理的智能体化安全自动化平台,用于实现安全运营自动化。

978

osaurus

Osaurus 是一款面向 macOS 的本地优先 AI 框架,在设备上提供代理、记忆和工具执行,让用户在本地模型与云模型之间切换时仍能保持 AI 身份和上下文。

979

mistral.rs

一个快速、零配置的 LLM 推理引擎,支持多模态模型、代理运行时,并兼容 OpenAI/Anthropic API。

980

opencodex: 一个通用提供者代理,使任何 LLM 能够与 OpenAI Codex 和 Claude Code 配合使用

一个本地代理,它翻译 Codex 的 API,以允许任何 LLM 提供者(如 Anthropic、Gemini、Ollama 等)在 OpenAI Codex 和 Claude Code 中使用。

981

WordInWeb: 一个开源的基于浏览器的 DOCX 编辑器

WordInWeb 是一款开源的 DOCX 渲染和编辑工具,旨在在浏览器环境中实现与 Microsoft Word 的布局和格式近乎一致的效果。

982

AI 与编程难度的转变

AI 已将软件开发的主要挑战从技术记忆和语法转向了高层架构判断和验证。

983

Claude 不是编译器:Vibe‑Engineering 的崛起

Bryan Mikaelian 认为,Claude 等 LLM 并非仅把自然语言编译成代码的编译器,而是垂直集成的资源,使工程师能够在整个软件栈上做出高层战略和架构决策。

984

通过 3D Gaussian Splatting 实现 Grace Cathedral 的数字化保存

Vincent Woo 使用 Gaussian Splatting 和 PlayCanvas 创建了一个沉浸式的 Grace Cathedral 3D 导览,实现了对复杂建筑细节的高保真数字化保存。

985

Firefox 153 Containers 预览

Firefox 153 推出了原生的 Containers 预览功能,将 Multi-Account Containers 扩展程序的功能直接集成到浏览器中,以隔离不同浏览上下文之间的 cookies 和追踪。

986

inference

Xorbits Inference (Xinference) 是一个多功能库,可以通过单个命令轻松部署和提供语言、语音和多模态 AI 模型服务。

987

NarratoAI

一款用于影视剧解说视频的自动化 AI 驱动工具,可处理剧本编写、视频剪辑、配音和字幕制作。

988

superset

一个可以并行编排多个基于 CLI 的 AI 编码代理的代码编辑器,使用 git worktrees 来隔离任务并防止干扰。

989

美国科技巨头积累了1.65万亿美元的表外AI债务

五家主要的美国科技公司已积累了约1.65万亿美元的隐藏债务,用于资助AI基础设施,利用特殊目的载体(SPVs)将这些负债保持在它们的主要资产负债表之外。

990

Toonflow-app: 它是什么,它解决了什么问题 & 为什么它正在获得关注

Toonflow 是一个 AI 驱动的短剧制作工作台,它自动化了从编剧和分镜到最终视频生成的工作流程。

991

Qwen-Image-3.0 发布说明"}],

Qwen-Image-3.0 是一个专注于生产力的基础图像生成模型,其特点是支持 4.5k token 输入以实现复杂布局、精确的 10px 文本渲染,并原生支持 12 种语言。

992

bisheng

BISHENG 是一个面向企业的开源 LLM 应用 DevOps 平台,提供可视化工作流编排、专家级 Agent 指导以及高精度文档解析能力。

993

Kimi K3、Qwen 3.8 与 Anthropic 的潜力及其战略挑战

Moonshot Labs 的 Kimi K3 与阿里巴巴的 Qwen 3.8 的发布表明,开源模型可以匹配 Anthropic 的 Fable 5 性能,这对 Anthropic 依赖利润率的商业模式构成挑战,并凸显拥有基础设施的战略优势。

994

AI 生成的反例在 2026 年压倒人类数学家

在 2026 年,ChatGPT、Sol 与 Claude Fable 等 AI 系统自动生成并形式化了多个重要猜想的反例——包括 Erdős 的单位距离猜想、Grothendieck 的群方案问题以及雅可比猜想——展示了机器现在能够在反例上超越人类数学家。

995

Kimi Work AI 桌面代理 – 功能、定价与社区反馈

Kimi Work 是一款本地运行的 AI 桌面代理,能够自动化文件、网页浏览和计划脚本,但 Hacker News 社区批评其大量 UI 抄袭并对隐私存有顾虑。

996

中国开放权重 AI 战略 vs 美国封闭模型:为何开放分发可能正在取胜

中国的开放权重 AI 战略正在抢占市场份额,可能削弱美国的封闭模型商业模式,进而重塑全球 AI 生态系统。

997

astron-agent: 一个企业级的代理工作流平台,将AI编排与RPA集成以实现跨系统自动化

一个企业级的代理工作流开发平台,结合 AI 编排和 RPA,以构建可扩展、生产就绪的智能代理。

998

Cursor Agent Swarms and Model Economics

Cursor 展示了通过策略性地混合使用前沿模型和高效模型,分层 "planner-worker" 智能体集群可以在以极高的准确度并在显著降低成本的情况下,在 Rust 中重建 SQLite。

999

罗马尼亚土地登记数据库被清除:安全失误与恢复工作

一名黑客清除了罗马尼亚全部土地登记数据库,暴露了政府 IT 基础设施的关键漏洞以及离线备份的重要性。

1000

rowboat:具备持久本地知识图谱和集成工作界面的桌面 AI 同事

一款桌面 AI 同事,将工作数据索引到本地知识图谱中,提供持久记忆并为电子邮件、编码和会议等工作提供集成界面。