从 145 条资讯中精选 67 条内容

AI 证明著名数学猜想 9.0/10

GPT-5.6 Sol Ultra 成功证明了图论中著名的循环双覆盖猜想，这是 AI 数学证明的重大突破。

来源: hackernews · Hacker News (RSS) · Jul 10, 18:29

标签:#artificial-intelligence,#mathematics,#graph-theory,#automated-theorem-proving,#openai

苹果起诉 OpenAI 窃密 9.0/10

苹果起诉 OpenAI，指控其前员工窃取商业机密以推进 OpenAI 的硬件计划，乔尼·艾夫的硬件创业公司 IO Products 也被列为被告。

来源: rss · The Verge · Jul 10, 21:36

标签:#Apple,#OpenAI,#lawsuit,#trade-secrets,#AI-hardware

Linux 潜伏 15 年的高危漏洞 8.0/10

安全研究人员发现 GhostLock 漏洞，一个存在于所有 Linux 发行版长达 15 年的栈上 use-after-free 漏洞。

来源: rss · Hacker News (RSS) · Jul 10, 20:43

标签:#security,#linux-kernel,#vulnerability-research,#memory-safety,#exploit-development

KVM 虚拟机逃逸漏洞曝光 8.0/10

本周安全动态：KVM 虚拟机逃逸漏洞 Januscape、太阳能系统漏洞、AI 混淆攻击及 NPM 恶意软件分析。

来源: rss · Hackaday · Jul 10, 14:00

标签:#security,#KVM,#virtualization,#vulnerability,#cloud-infrastructure,#NPM,#AI-security,#supply-chain

实验室培育精子获突破 8.0/10

科学家成功利用干细胞在老鼠肾脏上培育出未成熟的人类精子，向实验室培育精子治疗不育症迈出重要一步。

来源: rss · Nature · Jul 10, 00:00

标签:#biotechnology,#reproductive-medicine,#stem-cells,#fertility-research,#bioethics

全球首次火箭网系回收成功 8.0/10

长征十号乙火箭完成全球首次运载火箭网系海上回收。

来源: telegram · zaihuapd · Jul 10, 04:36

标签:#aerospace,#reusable-rockets,#space-technology,#china-space,#commercial-space

腾讯拟收购 Manus 成最大股东 8.0/10

腾讯正谈判以不低于 20 亿美元从 Meta 手中收购 AI 公司 Manus 股权，拟成为其最大股东。

来源: telegram · zaihuapd · Jul 10, 06:45

标签:#M&A,#Tencent,#AI,#China tech policy,#Meta

QuadRF 射频透视设备 7.0/10

QuadRF 是一款开源射频可视化设备，可探测无人机、穿透墙壁映射 WiFi 信号，并以增强现实方式显示射频信号源。

来源: hackernews · Hacker News (RSS) · Jul 10, 15:59

标签:#RF,#SDR,#Hardware,#Privacy,#Open Source

成功企业为何"失明" 7.0/10

成功企业因官僚主义、风险规避和论资排辈而患上”组织失明”，扼杀创新能力。

来源: hackernews · Hacker News (RSS) · Jul 10, 13:31

标签:#organizational-behavior,#innovation,#corporate-culture,#bureaucracy,#management

AI 智能体安全新框架 7.0/10

学术论文提出 Prismata 框架，用于防范网络浏览 AI 智能体中的跨站提示注入攻击。

来源: rss · Hacker News (RSS) · Jul 10, 21:03

标签:#AI security,#prompt injection,#web agents,#LLM safety,#cybersecurity

AI 监控与社会进步之辩 7.0/10

布鲁斯·施奈尔警告，人工智能监控系统将很快实现对所有规则的实时自动执法，从根本上改变社会与法律和隐私的关系。

来源: rss · Schneier on Security · Jul 10, 11:02

标签:#AI surveillance,#privacy,#civil liberties,#security policy,#social impact

AI 科研工具选型指南 7.0/10

《自然》杂志发布指南，帮助科研人员选择适合实验室的通用 AI 科研工具。

来源: rss · Nature · Jul 10, 00:00

标签:#AI-for-Science,#Claude,#research-tools,#Nature,#scientific-computing

NSF 削减核心科研经费 7.0/10

美国国家科学基金会计划从核心科学项目中收回已分配的研究资金，以支持白宫的一项倡议，而此时该机构预算已捉襟见肘且面临大量积压的资助申请。

来源: rss · Nature · Jul 10, 00:00

标签:#research-funding,#policy,#NSF,#academic-research,#science-policy

PyTorch 注意力性能分析实战 7.0/10

Hugging Face 发布 PyTorch 注意力机制性能分析深度指南，涵盖内存带宽瓶颈、算子融合技术及 Transformer 推理优化实践。

来源: rss · Hugging Face Blog · Jul 10, 00:00

标签:#PyTorch,#Performance Optimization,#Transformer,#Attention Mechanism,#LLM Inference

LangChain 发布 AI 主动记忆系统 7.0/10

LangChain 推出 OpenWiki Brains，将 Gmail、Notion、Git、社交媒体等来源转化为 AI 代理的实时主动记忆库。

来源: rss · LangChain Blog · Jul 10, 16:46

标签:#AI agents,#memory systems,#RAG,#LangChain,#knowledge management

游戏账号可继承判例确立 7.0/10

中国法院确立判例：游戏账号、虚拟道具及加密货币等数字资产可被继承，平台禁止条款无效。

来源: telegram · zaihuapd · Jul 10, 02:56

标签:#digital-ownership,#gaming-industry,#legal-precedent,#cryptocurrency,#china-policy

美 AI 巨头疑向黑名单中企供模型 7.0/10

OpenAI 与 Google 向被列入美国黑名单的中企海外子公司提供 AI 服务，暴露出口管制漏洞。

来源: telegram · zaihuapd · Jul 10, 09:59

标签:#AI governance,#export controls,#geopolitics,#OpenAI,#Google,#China-US relations,#model distillation

Meta 或遭欧盟 120 亿美元重罚 7.0/10

欧盟初步认定 Meta 因 Facebook 和 Instagram 的成瘾设计违反《数字服务法》，或面临 120 亿美元罚款。

来源: telegram · zaihuapd · Jul 10, 14:47

标签:#regulation,#social-media,#eu-policy,#meta,#platform-design

OpenAI 统一桌面应用发布 7.0/10

OpenAI 将 Codex、Atlas 浏览器和 ChatGPT Work 智能体整合为统一桌面应用，独立版 Atlas 将于 8 月 9 日停止服务。

来源: telegram · zaihuapd · Jul 10, 19:51

标签:#OpenAI,#ChatGPT,#Codex,#AI Tools,#Product Update

Bun 运行时 trending 上榜 6.0/10

用 Rust 编写的极速 JavaScript 运行时 Bun 今日在 GitHub 获得 307 星标增长。

来源: github · unknown · Jul 11, 06:30

标签:#JavaScript,#Bun,#Runtime,#GitHub-Trending,#Developer-Tools

网格优化库获关注 6.0/10

一款成熟的 C++网格优化库，持续获得 GitHub 关注，用于缩减网格体积并提升渲染性能。

来源: github · unknown · Jul 11, 06:30

标签:#graphics,#cpp,#game-development,#mesh-optimization,#rendering

Google 发布智能体技能库 6.0/10

Google Labs 发布 Stitch Skills，一个与 Stitch MCP 服务器及多种编码智能体兼容的 TypeScript 技能库。

来源: github · unknown · Jul 11, 06:30

标签:#AI Agents,#MCP,#Google Labs,#Developer Tools,#TypeScript

AI 内容去套路工具 6.0/10

一款开源工具及指南，用于识别并清除 AI 生成内容中常见的视觉与文案套路。

来源: github · yetone · Jul 10, 22:29

标签:#AI-generated-content,#developer-tools,#content-authenticity,#open-source,#cultural-commentary

Grok Build 兼容代理工具 6.0/10

一个本地自托管代理，使 Grok Build API 兼容 Claude Code 和 OpenAI 客户端。

来源: github · GreyGunG · Jul 10, 20:21

标签:#AI tooling,#API proxy,#Grok,#OpenAI compatibility,#developer tools

恐怖组织 AI 使用遭质疑 6.0/10

一份报告称博科圣地组织使用前沿 AI 进行战术规划，但 Hacker News 评论者对这些说法的可行性和报道框架表示怀疑。

来源: hackernews · Hacker News (RSS) · Jul 10, 18:49

标签:#AI safety,#terrorism,#large language models,#misinformation,#security policy

终结者 2 特效技术口述史 6.0/10

2017 年发表的口述历史，记录了《终结者 2》中革命性液态金属 T-1000 特效如何在 1991 年需要从零发明全新的 CGI 技术和软件工具。

来源: hackernews · Hacker News (RSS) · Jul 10, 16:48

标签:#computer-graphics,#vfx-history,#film-technology,#cgi,#animation

纽约市禁欺骗性订阅 6.0/10

纽约市成为美国首个禁止欺骗性订阅行为的城市，要求提供’一键取消’功能并禁止隐藏费用。

来源: hackernews · Hacker News (RSS) · Jul 10, 18:26

标签:#consumer-protection,#regulation,#subscription-economy,#tech-policy,#dark-patterns

好工具应当隐形 6.0/10

一篇论述优秀工具应当「隐形」的文章，主张消除摩擦让用户专注于目标而非工具本身。

来源: hackernews · theanonymousone · Jul 10, 10:32

标签:#ux-design,#developer-tools,#software-engineering,#product-design,#cognitive-load

AI 时代代码维护之道 6.0/10

一篇主张即使使用 AI 编程助手也应编写便于人类维护的代码的文章，引发了关于 LLM 提示策略和代码质量实践的争论。

来源: hackernews · Hacker News (RSS) · Jul 10, 13:33

标签:#AI-assisted-coding,#code-quality,#software-engineering,#LLM-prompting,#developer-workflow

12 款 AI 模型编程实战对决 6.0/10

一项针对 12 个 AI 模型（包括 GPT-5.6、Grok、Claude 等）构建相同网页应用的实用基准测试，社区认可其真实场景测试方法，但对一次性生成评估的实用性存疑。

来源: hackernews · Hacker News (RSS) · Jul 10, 20:52

标签:#AI-benchmark,#LLM-evaluation,#code-generation,#GPT-5.6,#software-engineering

AR 眼镜的隐私困境 6.0/10

Nilay Patel 指出，真正的增强现实眼镜需要持续摄像和云端处理，这将不可避免地侵犯隐私，社会成本可能过高。

来源: rss · Simon Willison · Jul 10, 17:05

标签:#augmented-reality,#privacy,#hardware-constraints,#cloud-computing,#tech-ethics

LWN 反爬虫策略更新 6.0/10

LWN.net 分享实施激进爬虫拦截的经验教训，包括误封问题和区分合法研究与滥用的困难。

来源: rss · Hacker News (RSS) · Jul 10, 19:38

标签:#web-scraping,#anti-bot,#site-reliability,#content-protection,#LWN

材料创新困于量产而非发现 6.0/10

一家材料科学初创公司提出，材料创新的真正瓶颈在于规模化生产而非初始发现。

来源: rss · Hacker News (RSS) · Jul 10, 19:03

标签:#materials-science,#manufacturing,#industrial-scaling,#AI-applications,#startups

人类战争史交互地图 6.0/10

一个交互式网络地图集，可视化人类历史上所有命名战争的地域分布与时间线。

来源: rss · Hacker News (RSS) · Jul 10, 17:52

标签:#data-visualization,#history,#interactive-web,#digital-humanities,#geography

智能体创意编程编辑器发布 6.0/10

SubjectiveZero 是一款开源智能体节点编辑器原型，让创意编程者能在高级提示与底层实现之间动态调整抽象层级。

来源: rss · Hacker News (RSS) · Jul 10, 15:23

标签:#creative-coding,#agentic-ai,#node-editor,#open-source,#prototyping

计算的本质：普适基础概念 6.0/10

一门探讨计算作为连接数学、物理学与计算机科学理论的普适基础概念的在线课程。

来源: rss · Hacker News (RSS) · Jul 10, 15:23

标签:#theoretical-computer-science,#computation-theory,#philosophy-of-computing,#online-course,#foundations

SK 海力士创纪录上市 6.0/10

SK 海力士创纪录完成 265 亿美元华尔街上市，超越阿里巴巴成为最大外资 IPO。

来源: rss · The Verge · Jul 10, 17:31

标签:#semiconductor,#AI-infrastructure,#financial-markets,#SK-Hynix,#memory-chips

Squid 代理 29 年漏洞曝光 6.0/10

Squid 代理服务器中存在一个 29 年历史的”Squidbleed”漏洞，可能导致 HTTP 请求泄露。

来源: rss · Schneier on Security · Jul 10, 21:07

标签:#cybersecurity,#vulnerability,#squid-proxy,#http-security,#legacy-software

浏览器本地运行图像修复 AI 6.0/10

Simon Willison 将 Moebius 0.2B 图像修复模型移植到浏览器本地运行，支持离线 AI 图像编辑，但需下载较大模型文件。

来源: rss · Hackaday · Jul 10, 11:00

标签:#browser-ml,#image-inpainting,#edge-ai,#webassembly,#generative-ai

预印本可靠性获大规模验证 6.0/10

《自然》杂志对 7 万项生物医学研究的分析发现，预印本与最终发表论文的核心结论很少改变，挑战了对预印本可靠性的担忧。

来源: rss · Nature · Jul 10, 00:00

标签:#open-science,#scientific-publishing,#peer-review,#biomedical-research,#preprints

简单流体竟能断裂 6.0/10

研究人员发现简单非弹性流体也能像固体一样断裂，挑战了长期以来认为只有弹性才能使复杂流体破裂的观点。

来源: rss · Quanta Magazine · Jul 10, 14:51

标签:#physics,#fluid-mechanics,#materials-science,#scientific-discovery,#research

马斯克改口盛赞 Anthropic 6.0/10

马斯克一改此前态度盛赞 Anthropic 为 AI 领域领导者，并承诺不会因竞争切断其服务，背景是双方正执行 400 亿美元的算力合作协议。

来源: telegram · zaihuapd · Jul 10, 02:02

标签:#AI Industry,#Elon Musk,#Anthropic,#Cloud Computing,#Business Strategy

Anthropic 抓取导流比 2800:1 6.0/10

Cloudflare 数据显示 Anthropic 的 AI 机器人每抓取 2800 个网页才向原网站导流一次，比例为各大 AI 公司中最高。

来源: telegram · zaihuapd · Jul 10, 04:25

标签:#AI,#web-scraping,#Anthropic,#content-ecosystem,#Cloudflare

中国禁止氦气出口 6.0/10

中国商务部和海关总署宣布自 2026 年 7 月 10 日起对氦气实施临时禁止出口管理。

来源: telegram · zaihuapd · Jul 10, 13:27

标签:#geopolitics,#trade-policy,#semiconductors,#supply-chain,#critical-materials

网络身份证周年：4000 万人申领 6.0/10

中国网络身份证实施一周年，已有 4000 万人申领，接入微信、淘宝等 530 余个应用。

来源: telegram · zaihuapd · Jul 10, 14:01

标签:#digital-identity,#china-tech-policy,#privacy,#authentication,#government-tech

FCC 批准太空反光镜卫星 6.0/10

FCC 批准 Reflect Orbital 公司的演示卫星，该卫星配备 18×18 米反射镜可在夜间向地面反射阳光，用于延长太阳能发电时间，但引发天文学家对光污染的严重担忧。

来源: telegram · zaihuapd · Jul 10, 16:47

标签:#space-technology,#solar-energy,#satellite,#FCC,#astronomy

Claude Code 配置工具 trending 5.0/10

一个用于配置和监控 Claude Code 的 Python CLI 工具模板库。

来源: github · unknown · Jul 11, 06:30

标签:#claude-code,#cli-tool,#developer-tools,#ai-assistant,#python

Tailscale GitHub 热度上升 5.0/10

基于 WireGuard 的 VPN 工具 Tailscale 今日获得 183 个 GitHub 星标关注。

来源: github · unknown · Jul 11, 06:30

标签:#VPN,#WireGuard,#Networking,#Open Source,#DevOps

AI 剪纸广告生成工具 5.0/10

一个 GitHub 项目，利用 IndexTTS-2 语音克隆、动画、音频生成和 MP4 质量控制实现完整的剪纸拼贴广告自动化制作。

来源: github · Jane-xiaoer · Jul 10, 22:05

标签:#generative-ai,#text-to-speech,#video-generation,#creative-coding,#chinese-traditional-art

廉价桌面玩具变身可编程通知器 5.0/10

一款名为 GeekMagic SmallTV 的廉价桌面玩具可通过修改固件变身为可定制的桌面通知器。

来源: rss · Hackaday · Jul 10, 08:00

标签:#hardware-hacking,#embedded-systems,#IoT,#firmware,#diy

德国电信全面 AI 化转型 5.0/10

德国电信与 OpenAI 合作，将 AI 应用于客户服务、员工工作流和网络运营，转型为”AI 原生”电信公司。

来源: rss · OpenAI Blog · Jul 10, 07:00

标签:#AI,#telecommunications,#enterprise,#OpenAI,#digital transformation

Abseil C++库获关注 4.0/10

Abseil C++库在 GitHub 上获得 106 个新星标，显示社区对谷歌 C++工具库的持续关注。

来源: github · unknown · Jul 11, 06:30

标签:#C++,#Google,#Open Source,#Standard Library,#Developer Tools

yaml-cpp 获 65 星标 4.0/10

一个成熟的 C++ YAML 解析库单日获得 65 个星标。

来源: github · unknown · Jul 11, 06:30

标签:#C++,#YAML,#parsing,#open-source,#github-trending

AI 虚拟试穿工具推广 4.0/10

一个推广 AI 时尚可视化和虚拟试穿商业工具的 GitHub 仓库，主打基于同意的服装编辑功能。

来源: github · chordswallowthrust · Jul 10, 17:00

标签:#AI,#fashion-tech,#computer-vision,#generative-AI,#virtual-try-on

Grok Build 认证逆向工程 4.0/10

一个记录对 x.ai Grok Build 服务认证协议进行逆向工程的 GitHub 仓库。

来源: github · dongguatanglinux · Jul 10, 20:20

标签:#reverse-engineering,#oauth,#security-research,#xai,#authentication

ClaudeX 账号自动化工具 4.0/10

ClaudeX 是一个用于自动化创建 Claude 账号并保存会话状态的命令行工具。

来源: github · huey1in · Jul 10, 19:01

标签:#automation,#cli-tool,#claude,#account-management,#github

帽贝牙齿成自然界最强材料 4.0/10

2015 年一项研究发现帽贝牙齿的抗拉强度超过蜘蛛丝，成为自然界最强材料。

来源: hackernews · Hacker News (RSS) · Jul 10, 16:37

标签:#materials-science,#biology,#tensile-strength,#old-news,#science-communication

青铜时代崩溃史 4.0/10

一篇关于青铜时代晚期崩溃的历史介绍，引发了关于与现代文明脆弱性相似之处的讨论。

来源: hackernews · dmonay · Jul 10, 11:59

标签:#history,#archaeology,#civilization,#systems-thinking,#off-topic

OpenAI 解释 ChatGPT Work 数据分离 4.0/10

OpenAI 澄清 ChatGPT Work 云端对话与桌面应用不同步，本地文件保留在设备上。

来源: rss · Simon Willison · Jul 10, 01:05

标签:#openai,#chatgpt,#data-privacy,#cloud-computing,#product-documentation

用户请愿保留 Gemini 2.5 Flash 4.0/10

谷歌开发者论坛上的社区请愿，呼吁谷歌不要停用用户认为快速且高性价比的 Gemini 2.5 Flash 模型。

来源: rss · Hacker News (RSS) · Jul 10, 20:00

标签:#google-gemini,#ai-models,#developer-community,#product-management,#llm-deprecation

Netflix 转型困境 4.0/10

一期播客讨论 Netflix 从传统流媒体向游戏、体育、播客和用户生成内容扩张，质疑其战略方向。

来源: rss · The Verge · Jul 10, 16:29

标签:#streaming,#media-business,#netflix,#content-strategy,#podcast

迪士尼 Plus 或推免费版 4.0/10

迪士尼 Plus reportedly 正在探索推出免费广告支持的流媒体层级。

来源: rss · The Verge · Jul 10, 15:33

标签:#streaming,#business-strategy,#media,#disney,#advertising

微型七段 LCD 驱动教程 4.0/10

一篇关于如何使用微控制器驱动小型三位数七段 LCD 显示屏的教程。

来源: rss · Hackaday · Jul 10, 20:00

标签:#embedded-systems,#lcd-display,#microcontroller,#hardware-hacking,#electronics

浏览器机器狗模拟 4.0/10

基于浏览器的机器狗模拟演示。

来源: rss · Hackaday · Jul 10, 18:30

标签:#robotics,#web-simulation,#browser,#education,#demo

多莉羊克隆 30 周年回顾 4.0/10

《自然》杂志工作人员回顾克隆羊多莉诞生 30 周年，并简要提及首次直接观测海底地壳形成。

来源: rss · Nature · Jul 10, 00:00

标签:#biotechnology,#science-history,#cloning,#podcast,#marine-geology

iPhone 折叠屏电池曝光 4.0/10

爆料称苹果折叠屏 iPhone Ultra 可能配备双电芯电池，总容量 4883mAh。

来源: telegram · zaihuapd · Jul 10, 07:47

标签:#Apple,#iPhone,#foldable-phone,#battery,#consumer-electronics

小米多部门持续裁员 4.0/10

小米自 2025 年 3 月起分批裁员，涉及手机、汽车等多部门，赔偿方案为 N+1。

来源: telegram · zaihuapd · Jul 10, 11:11

标签:#business,#layoffs,#xiaomi,#automotive,#smartphone