每日极客日报 · 2026年07月18日

今日精选 21 条 IT 科技热点，覆盖 AI、开源、云原生、工程实践等领域。

🔥 今日头条

2026 世界人工智能大会 WAIC 正式开幕：349 款首发、201 款首秀，全产业链成果集中亮相

7 月 17 日，2026 世界人工智能大会（WAIC）在上海开幕，首次设立自主运营的国际化 AI 顶级学术会议 WAICA，由图灵奖得主姚期智出任大会主席。本届大会超 1100 家企业参展，4000 余款展品中首发项目 349 款、首秀项目 201 款，覆盖从算力底座到 AI 终端的全链条。华为 Atlas 950 超节点真机首次公开展出，单集群最大 8192 张昇腾芯片全互联；全球首款可变形个人机器人"启元 T1"首发亮相。

Kimi K3 正式发布：2.8 万亿参数成全球最大开源模型，7 月 27 日开放权重

7 月 17 日凌晨，月之暗面正式推出 Kimi K3，参数规模达 2.8 万亿，采用 MoE 架构（896 专家/激活 16），原生支持视觉理解，100 万 token 上下文窗口。在多项评测中逼近 Claude Opus 4.8 与 GPT-5.6 Sol，训练效率较前代 K2 提升 2.5 倍。K3 展示了从零构建 GPU 编程系统、48 小时自主完成芯片设计等能力。API 定价为输入 3 美元/百万 token，远低于闭源旗舰模型。马斯克在社交平台公开称赞"令人印象深刻"。

AWS 计费系统重大故障：部分客户预估账单虚高至数十亿美元

7 月 16 日晚间，AWS 计费系统出现单价计算错误，导致部分客户的预估账单从几美分飙升至数十亿美元，有用户反映显示高达 4.2 万亿美元。亚马逊确认问题源于预估账单计算子系统中的错误单价设置，实际用量和账单不受影响。截至 17 日修复仍在进行中，已暂停预估账单更新并回滚系统。此事在 Reddit 和 Hacker News 引发热议，有用户因恐慌直接清空了账户所有资源。

📦 开源项目精选

1. OpenCut ⭐ 74,813 (+1,077)

TypeScript | 开源的 CapCut（剪映）替代品，提供网页、桌面和移动端视频编辑功能。正在重构为基于 Rust 核心的跨平台架构，是目前最受关注的开源视频编辑工具之一。

2. openinterpreter ⭐ 66,327 (+431)

Rust | 面向 Kimi K3、Qwen、DeepSeek 等开源模型的编码 Agent，兼容 Codex 协议。支持在本地运行开源模型完成编程任务，是开源 AI 编码代理领域的标杆项目。

3. GitHub Copilot SDK ⭐ 9,785 (+234)

Java | 6 月初 GA 的多平台 SDK，支持 TypeScript、Python、Go、.NET、Rust、Java 六种语言。可将 Copilot 的 Agent 运行时直接嵌入自有应用，提供工具调用、流式响应、MCP 集成等能力。

4. Nutlope/hallmark ⭐ 11,963 (+1,486)

CSS | 为 Claude Code、Cursor 和 Codex 设计的"反 AI 劣质设计"（Anti-AI-slop）Skill，帮助 AI 编码工具生成更高质量的 UI/UX 设计，昨日新增近 1500 星。

5. HKUDS/DeepTutor ⭐ 27,326 (+528)

Python | 香港大学团队开发的终身个性化辅导系统，基于大模型的多轮交互能力，为不同学生提供自适应学习路径和实时反馈，昨日新增超 500 星。

6. code-review-graph ⭐ 19,722 (+57)

Python | 面向 MCP 和 CLI 的本地优先代码智能图谱，为 AI 编码工具构建持久化代码库地图，通过上下文精准裁剪实现大幅降本，适合大型仓库的代码审查场景。

🤖 AI & 大模型动态

Belfort Labs 实现同态加密 CIFAR-10 推理仅需 200ms

Belfort Labs 展示了基于全同态加密（FHE）的 CIFAR-10 图像分类推理，单次推理仅需 200 毫秒。这标志着隐私保护 AI 推理在性能上取得了里程碑式突破，以往 FHE 推理比明文计算慢上万倍，现在已接近实用化门槛。该技术有望在医疗、金融等对数据隐私要求极高的场景率先落地。

AI 发现 OpenVM 零知识虚拟机中的安全漏洞

zkSecurity 团队利用 AI 辅助分析 OpenVM 的 ZkVM 实现，发现了多处安全漏洞。文章详细展示了如何利用 AI 进行密码学代码审计，是 AI + 密码学交叉领域的一次典型实践，78 points / 3 comments。

华为 Atlas 950 超节点 WAIC 首展：最大 8192 卡全互联

华为昇腾 Atlas 950 SuperPoD 超节点真机在 WAIC 全球首次公开展出，单机柜 64 卡起步，集群最大 8192 张昇腾芯片全互联，搭载自研灵衢 2.0 高速互联协议和液冷散热，专门适配万亿参数大模型训练场景，补齐国产超大算力集群商用短板。

全球首款动态触觉感知芯片"绿宝石 E10A"在 WAIC 首发

他山科技首发全球首款动态触觉感知芯片，采用自研模拟脉冲转换模块，跳过传统软件转换链路，实现微秒级时间分辨率与超低功耗。该芯片赋予机器人"接近唤醒"能力，在碰撞前即可完成预响应，将触觉感知从灵巧手拓展至全身部位。

🛠️ 工程实践 & 技术文章

SQLite 生产环境实践：Julia Evans 的深度探索

知名技术博主 Julia Evans 分享了她对 SQLite 在生产环境中运行的深入理解，涵盖 WAL 模式、并发控制、备份策略等核心话题。结合近期 Lobsters 社区成功将数据库从 MariaDB 迁移至 SQLite（CPU 和内存占用降低、托管成本减半），SQLite 正从"测试玩具"变为生产级选项。122 points / 27 comments。

Lobsters 社区正式迁移至 SQLite

知名技术社区 Lobsters 已完成从 MariaDB 到 SQLite 的数据库迁移，经过数月开发和高峰流量测试后生产环境部署稳定。迁移后 CPU 和内存占用显著降低，响应速度提升，托管成本减半。99 points / 58 comments。

Lisp 入门指南：该选哪个 Lisp？

一篇面向新手的 Lisp 方言选择指南，详细对比了 Common Lisp、Scheme、Clojure、Racket 等主流 Lisp 方言的生态系统、工具链和适用场景。文章引发了 HN 上 112 条热烈讨论，是近年来关于 Lisp 生态的最全入门参考。169 points / 112 comments。

Zilog Z80 微处理器诞生 50 周年

1976 年 7 月，Zilog Z80 正式推向市场。这款 8 位处理器曾驱动 Game Boy、街机 Pac-Man、SEGA Master System 等经典设备，是 ZX Spectrum 和 MSX 电脑的核心，也曾出现在 Roland Jupiter-8 合成器和军事设备中。文章回顾了 Z80 的架构设计和工程团队传奇。127 points / 35 comments。

静态搜索树：比二分查找快 40 倍

一篇关于静态搜索树数据结构的深度技术文章，通过预排序和 Eytzinger 布局优化缓存行利用，实现比标准二分查找快 40 倍的查询性能。适合对底层性能优化感兴趣的开发者。

🌐 业界动态

阶跃星辰推出全球首款大模型原生智能体手机

在 WAIC 现场，一款即将量产的 AI 智能体手机首次亮相。按住手机侧边按键即可通过语音直接给内置 AI 智能体下达任务，完成各类复杂操作。阶跃星辰董事长印奇提出"物理 AI"概念：软硬结合+行动智能，AI 正从信息沟通走向实际行动。

银河通用机器人：具身智能有望 2028 年底前迎来"ChatGPT 时刻"

银河通用机器人 CTO 王鹤在 WAIC 上表示，具身智能正处于"数字世界的 ChatGPT"前夕。通过海量数据训练基础模型+后训练范式，行业有望在 2028 年底前迎来拐点，届时机器人无需特别训练即可在多数任务上达到 70-80% 成功率。

FAA 恢复波音 737 MAX 和 787 适航认证签批权

美国联邦航空管理局（FAA）决定恢复波音公司自行签批 737 MAX 和 787 机型适航证书的权限。此前因 2024 年初的舱门脱落事故，FAA 收回了波音的部分认证权限。该决定引发业界对安全监管与生产效率平衡的讨论。60 points / 32 comments。

科学家首次在类地行星宜居带发现大气层

天文学家首次在位于宜居带的类地行星上探测到大气层存在。这颗行星围绕一颗遥远恒星运行，该发现是寻找地外生命道路上的重要里程碑。327 points / 217 comments。

每日极客日报 · 2026年07月18日