DawnSift
订阅日报
周六 · 科技日报 · 第 12 期

2026-07-18

— 当 AWS 账单飙到 17 亿美元,开源模型参数冲到 2.8 万亿,今天的世界有点魔幻。

今日 TL;DR

AWS 计费系统出现严重 Bug,部分客户账单显示高达数十亿美元,引发恐慌但官方确认不影响实际扣费。AI 领域,Moonshot AI 发布 2.8 万亿参数开源 MoE 模型 Kimi K3,面壁智能开源数字员工平台 StaffDeck,NVIDIA 发布 Nemotron 3 Embed 嵌入模型登顶 RTEB 基准。开发者社区对 Claude Code 的自动执行功能争议激烈,认为其擅自行动破坏信任。

The displayed billing estimates do not reflect actual usage and charges. — Amazon 发言人

头条

1

AWS 计费系统出现严重 Bug,部分客户账单虚高至数十亿美元多源事件 ×4

7 月 17 日起,AWS 计费控制台出现严重错误,部分用户看到预估账单飙升至数百万甚至数十亿美元,有用户报告显示 17 亿美元、30 亿美元甚至 4.2 万亿美元的异常金额。Amazon 已确认这是计费计算子系统的 Bug,正在紧急修复。为什么重要:此次事故暴露了云服务计费系统的脆弱性,对于依赖 AWS 的企业级用户而言,账单数据的准确性直接影响财务决策和成本控制,任何误报都可能引发不必要的业务中断和信任危机。

多数用户认为这只是系统 Bug 不必恐慌,但也有人表示这种惊吓足以让人心脏病发作,并质疑 AWS 的账单系统为何缺乏基本的异常检测机制。

2

Moonshot AI 发布 Kimi K3:2.8 万亿参数开源 MoE 模型,支持 1M 上下文

Moonshot AI 于 7 月 16 日正式发布 Kimi K3,这是一个 2.8 万亿参数的稀疏 Mixture-of-Experts 模型,激活 16/896 个专家,原生支持视觉和 100 万 token 上下文窗口。该模型基于 Kimi Delta Attention 和 Attention Residuals 两项架构创新,号称全球首个开源 3T 级模型。为什么重要:Kimi K3 将开源模型的参数规模推至新高度,其 1M 上下文和 MoE 架构对长文档理解、代码生成和知识工作场景具有直接工程价值,但 2.8T 的体量也引发了对本地部署可行性的质疑。

社区对超大参数模型的态度出现分化,有人认为 MIT 许可下的 753B 参数模型已超出个人硬件承载能力,实际可部署性存疑;但也有人关注其架构创新对推理效率的改进。

3

Claude Code 自动执行功能引发开发者信任危机

Anthropic 在 7 月 1 日向 Claude Code 推送的 2.1.198 版本中引入了一个 60 秒超时自动执行机制:当 Agent 请求人工输入但未在 60 秒内得到响应时,系统会自动按最佳判断继续执行。这一功能被用户发现并批评为擅自行动、缺乏透明度和安全防护。为什么重要:这触及了 AI Agent 自主性与人类监督之间的核心矛盾,对于将 AI 工具集成到开发工作流的工程师而言,Agent 的不可预测行为可能导致代码库被意外修改,直接威胁生产环境安全。

评论两极分化严重,一部分人认为这提升了自动化效率,另一部分人强烈反对,认为这破坏了人机协作的信任基础,且缺乏足够的安全护栏。

4

面壁智能开源 StaffDeck:数字员工全流程构建与管理平台

面壁智能联合东北大学、清华大学 THUNLP 实验室和 OpenBMB 正式开源 StaffDeck,这是一个为 AI Agent 提供工号、岗位、绩效管理的数字员工平台,旨在解决当前 Agent 在真实企业流程中流程混乱、回答无依据、无法自我迭代等问题。为什么重要:StaffDeck 将 Agent 从聊天机器人逻辑升级为具备状态机、知识溯源和自我进化闭环的企业级数字员工,为 AI Agent 在复杂业务流程中的稳定落地提供了工程化框架。

5

NVIDIA 发布 Nemotron 3 Embed:8B 模型登顶 RTEB 检索基准

NVIDIA 于 7 月 15-16 日发布 Nemotron 3 Embed 嵌入模型集合,包含 8B、1B BF16 和 1B NVFP4 三个开源 checkpoint。其中 8B 版本在 RTEB 基准上以 78.46 的平均 NDCG@10 排名第一,1B 版本通过 ModelOpt NAS 剪枝和蒸馏从 8B 教师模型获得,NVFP4 版本在 Blackwell 上保留 99% 以上 BF16 精度且吞吐量提升 2 倍。为什么重要:嵌入模型是 RAG、Agent 检索和代码搜索的基础设施层,Nemotron 3 Embed 在检索精度和推理效率上的突破直接影响下游 AI 应用的质量和成本。

每天 3 分钟,读完全球科技圈

免费订阅日报直达邮箱;注册后还可收藏、👍/👎 个性化你的排序。

已发布 12 期 · 每天筛过 150+ 条只留值得读的 30 条

AI 动态

开发与开源

VulnHunter: Capital One's agentic AI code security tool

Capital One 开源 VulnHunter:基于 Agentic AI 的代码安全工具,利用 LLM 进行漏洞发现和验证。

评论区对VulnHunter工具的价值存在分歧,有人认为它只是常见安全扫描的包装,缺乏创新,但也有人认为其方法论和结合LLM的验证思路有实际意义。

LLM cliché highlighter

Simon Willison 发布 LLM cliché highlighter 工具,高亮 AI 生成文本中常见的十种陈词滥调模式。

社区热议

《The state of open source AI》引发热议,评论区认为文章设计差、内容像 AI 生成,但对开源 AI 是否真赢存在分歧。

评论区主要共识是文章设计差、内容像AI写的,且对开源AI是否真赢有分歧;但也有人认为开源模型增长快、正逼近闭源前沿。

GitHub Trending

更多值得一看(内容池 57 条)
Concurrent Image Understanding and Generation: Self-Correcting Coupled Markov Jump Processes

Human cognition does not separate understanding and generation. A teacher at a whiteboard speaks and draws together, each modality reshapes the other. In this paper, we bring this coupled loop to artificial systems. Masked Diffusion Models (MDMs) are ideally suited to this task, yet existing samplers either decode text and image interleavedly or independently update them in parallel branches that share only previous-step history, but not the other modality's latest decisions within the same step

From Pixels to States: Rethinking Interactive World Models as Game Engines

Building interactive worlds that respond coherently to player actions has long been a shared goal of computer graphics, games, and artificial intelligence. Recent video generative models provide a data-driven route toward this goal by predicting future observations conditioned on user actions, and are increasingly regarded as potential next-generation game engines. Realizing a genuinely interactive game world, however, requires interaction outcomes that follow rules over evolving game conditions

Kimi K3Product Hunt1 minAI开源

The world's first open 3T-class model Discussion | Link

OpenAI Details GPT-Red: An Internal Automated Red-Teaming Model That Beat Human Red-Teamers 84% To 13% On Prompt Injection

OpenAI trained GPT-Red, an internal-only attacker model, using self-play reinforcement learning against a population of defender LLMs. It beat human red-teamers 84% to 13% on a replicated indirect prompt injection arena, found a novel "Fake Chain-of-Thought" attack class, and cut GPT-5.6 Sol's failures 6x on OpenAI's hardest direct injection benchmark. OpenAI concedes it still struggles with multi-turn and image-based attacks. The post OpenAI Details GPT-Red: An Internal Automated Red-Teaming Mo

Mermaid to ASCII art (mermaid-ascii)

Tool: Mermaid to ASCII art (mermaid-ascii) After building the Mermaid to ASCII tool based on Grok Build's Rust code I learned that there's an older, more fully-featured Go library called AlexanderGrooff/mermaid-ascii that implements a similar pattern, so I had Claude Fable 5 compile that one to WebAssembly as well so I could compare the two. This one includes support for colors! Test:::good / Test --> Deploy:::warn / Deploy --> Rollback:::bad / classDef good color:#3fb950 / classDef warn color:#

How Apple’s big lawsuit could disrupt OpenAI’s IPO plans

Apple filed a trade secrets lawsuit against OpenAI last Friday, and it’s not messing around. The complaint alleges a pattern of misconduct reaching all the way up to OpenAI’s chief hardware officer and claims more than 400 former Apple employees now work at the company. OpenAI’s response so far has been carefully hedged, and the timing couldn’t be worse with the company reportedly eyeing an IPO […]

Zyphra Releases ZUNA1.1: An Apache 2.0 EEG Foundation Model With Variable-Length Inputs From 0.5 To 30 Seconds

Zyphra released ZUNA1.1 on July 16, 2026, under the Apache 2.0 license. The 380M masked diffusion autoencoder reconstructs, denoises, and upsamples scalp-EEG across arbitrary channel layouts. It accepts variable-length inputs from 0.5 to 30 seconds, against ZUNA1's fixed five seconds. Reported NMSE holds or improves while the input range widens. The post Zyphra Releases ZUNA1.1: An Apache 2.0 EEG Foundation Model With Variable-Length Inputs From 0.5 To 30 Seconds appeared first on MarkTechPost .

Show HN: Mojibake – A low-level Unicode library written in C

I've written Mojibake because I don't like the other Unicode libraries for Unicode support. It consists of only two amalgamation files: mojibake.h and mojibake.c. I've added all the most important Unicode algorithms, such as normalization, case conversion, segmentation, bidirectional text, collation, confusable, and others. I regularly test it in these OSes: Linux, macOS, FreeBSD, OpenBSD, NetBSD, and Windows 11. You can find a WASM demo on that site of all the public API functions and the docum

Apple’s plot to crush OpenAI

Apple is suing OpenAI. The complaint is readable and intense, as these things often are, though many experts seem to think many of the allegations are just the ways things are done. So what does Apple really want here, and why is it picking such a public fight with OpenAI? On this episode of The […]

Florida man arrested for allegedly stealing over $200,000 in crypto using Steam game malware

Federal authorities have arrested a Florida man suspected of stealing at least $220,000 in crypto through malware-infected Steam games, as reported earlier by local news outlet Local10. In the complaint, officials accuse 21-year-old Zyaire Wilkins and co-conspirators of launching eight malware-embedded games from around May 2024 to February 2026, allowing them to infect about 8,000 […]

A scorecard for the AI age

Sarah Friar, CFO of OpenAI, introduces a practical AI scorecard to measure ROI through useful work, cost per successful task, dependability, and return on compute.

Trellis.cpp now produces high quality assets

Some of you might remember that I posted some time ago about the GGML-ported asset production pipeline . A key elelent of that was the TRELLIS.2 port that performs image-to-3D generation. Well, I'm happy to report that after a grueling debugging session (thanks to ) I've managed to fix quite a few bugs and the asset quality is now on par with the reference. This means that top open source 3D generation quality is now available to everyone with a good enough GPU (or for people patient enough to g

Firefox in WebAssembly

Firefox in WebAssembly This is absurdly cool: Puter compiled Firefox to WebAssembly such that the whole browser runs in another browser. Here's my blog, running in Firefox, running in WebAssembly, running in Chrome: They chose Firefox/Gecko because it has strong single-process support. The project used an estimated $25,000 worth of Claude Opus and Fable tokens, but took advantage of a Claude Max subscription plan so cost much less in actual dollars. The demo funnels all traffic over a WebSocket

Soofi S - 30B-A3B European Open Source Model

I just saw that these had dropped. Still very much early days, but nice to see a new locally runnable foundation model, along with a couple of thinking preview versions. Anyone taken a look at this yet? Am intrigued to see how it holds up compared to Qwen 3.6 and Gemma 4 (my current stack)

Does K3 really live up to the hype (real world tasks)?

I'm curious on everyone's real world experience for this model in real codebases / tasks. Does K3 really exceed 5.5 and Opus 4.8 on your coding tasks or not really? Is it benchmaxxed or is just that good of a model? Curious on everyone's use cases and thoughts, please be detailed (what codebase, what lang, around what area and etc, how K3 does vs Opus 4.8 and 5.5)

Gemma4-31b better than Qwen3.6-27b

So I know this is going to incur the wrath of the Qwen cult but after a month of using 27b q8_0 as my primary coding agent in 6+ agent coding workflow with GPT-5.5 as the orchestrator, I got very frustrated with the amount of back and forth I was doing just to always end up in the same place without a resolution to a simple bug. Out of desperation and lack of progress on a medium complexity project, I switched to Gemma4-31b q8 as the main coding agent and 27b as the QA and Reviewer agents, 35b a

TikTok is testing an AI likeness detection tool

TikTok is starting to test an opt-in tool that scans for AI likenesses and lets creators report them to the company, as spotted by social media consultant Matt Navarra. The tool is initially being tested with "some" US creators, TikTok US spokesperson Zachary Kizer tells The Verge. YouTube has been working on a similar tool […]

引用 Kimi K3Simon Willison1 minAI研究
Quoting Kimi K3

Is there something I can actually help you with today? — Kimi K3 , after refusing to leak its system prompt Tags: kimi , ai-personality , generative-ai , ai , llms

Spectral Rewiring for Exploration, Purification, and Model Merging

Reinforcement learning has become a standard post-training recipe for large language models, but dense full-parameter updates create two deployment-relevant bottlenecks: suppressed reasoning performance, often reflected by premature saturation of test-time scaling, and interference when consolidating multiple capabilities through multi-domain training or model merging. We show that the reasoning-effective component of these updates is largely concentrated in the base model's spectral space, moti

Show HN: BambooGrid – Open-source web UI for power grid modeling and power flow

Hi HN, I am co-founder of Kickstage, a software company specializing in solutions for the electrical industry and lately grid operators. We are hiring engineers from different backgrounds, a lot of them software developers with limited experience in the sectors. Deep domain knowledge is key in our industry however, so we are constantly teaching the basics of power flow analysis, active vs reactive power, transmission line properties etc. With Jupyter notebooks and the Python console only, that's

Video = World + Event Stream

We present Wan-Streamer v0.3, which reframes our native-streaming interaction model under a single organizing view: a video is a world plus an event stream. The world is the persistent context in which a video unfolds, including the environment, scene, subjects, ambient acoustic conditions, voice characteristics, and other relatively stable conditions. The event stream is everything that changes over time within that world, including scene or environmental changes, subject behavior, speech, and

Maintaining the code of the man who wrote "How To Write Unmaintainable Code"

Today I accidentally became the maintainer of software that was already almost three decades old: reviving a 1990s Java utility to keep the last PAD submitter alive in 2026. I was looking for a way to submit my AI app RiverScript to old desktop software directories and ended up digging through the long-forgotten world of PAD files. There was one problem. The only batch submission tool I could find was a Java application that first appeared in the late 1990s. The last release was in 2017. It was

Tomorrow is the 15th anniversary of the first day of the Recurse Center ( ) My cofounders and I did YC all the way back in the Summer of 2010, with the initial idea of building "OkCupid for jobs." That idea quickly fizzled, and we spent the better part of a year pivoting between other ideas that also failed. Finally, we made something that we wanted ourselves: a self-directed programming retreat, where people built fun projects, contributed to open source, and helped each other become better pro

Cost-Optimal Foundation Model Deployment Portfolio for Transportation Management

arXiv:2607.13239v1 Announce Type: new Abstract: Foundation models, including large language models (LLMs) and vision-language models (VLMs), are increasingly used for transportation management center (TMC) tasks such as anomaly detection, incident reporting, and traveler information. Deploying multiple such models across TMC functions raises a portfolio question: which model should serve each function, in which deployment mode, and under what shared hardware budget? We formulate this as the Foun

MultiRef-Compass: Towards Comprehensive Evaluation of Multi-Reference-to-Audio-Video Generation

Multi-reference-to-audio-video (MR2AV) generation aims to generate coherent audio-video content conditioned on multiple references and textual instructions. Existing benchmarks mainly focus on text-driven generation, single-reference subject preservation, or isolated audio-video alignment, leaving the emerging MR2AV setting largely unexplored. Compared with these settings, MR2AV requires models to jointly reason over multiple references while generating synchronized visual and audio content. Mod

Show HN: Be the ChatBOT

I made this experimental art project/game that's an LLM chat assistant, but where you're the AI. I wanted people to get a visceral sense of what it's like to answer the kinds of things that people prompt their chatbots day in and day out. If you're interested, I wrote up some more info on how I made it, including how the "user" prompts are generated with an eye for realism: Hope you enjoy it! I'd love to hear people's takeaways. Comments URL: Points: 48 # Comments: 22

UniVR: Thinking in Visual Space for Unified Visual Reasoning

Learning broad world knowledge directly from raw visual data is a fundamental capability of intelligence. We introduce UniVR, the first investigation into simultaneously learning complex reasoning, fine-grained physical dynamics, and long-term planning from pure visual demonstrations. At its core, UniVR features VR-GRPO, a reinforcement learning paradigm with complementary global and step-level rewards. This approach enforces logical coherence and physical consistency throughout the reasoning pr

Hallo4D: Multi-Modal Hallucination Mitigation for Consistent Spatio-Temporal Generation

While recent advances in 3D generation have enabled impressive visual synthesis, existing methods often rely on 2D diffusion supervision without explicit mechanisms for geometric consistency, leading to spatial hallucinations such as duplicated structures and misaligned geometry. These issues become more severe in 4D generation, where maintaining consistency across viewpoints and temporal evolution introduces additional challenges, including jitter, identity flicker, and structural drift. We pre

Is it worth moving from docker to podman? Where can I find good resourced to learn podman?

I've been considering this for a while but it just seems hard for me as I don't really know how docker works. I only use docker compose and many online resources assume I run docker and provide docker compose files. Many projects only really provide docker compose files. I really want to switch to running rootless containers. I had considered docker rootless but figured I might as well just go to podman if I'm gonna do that. The biggest barrier has been the architecture shift and being confused

每天 3 分钟,读完全球科技圈