Hacker News 中文摘要

WASI 0.3.0正式发布，将异步功能原生集成到WebAssembly组件模型中。新版本基于组件模型的异步原语重构，相比0.2版本通过wasi:io实现的复杂异步机制，现在可以直接使用future和stream等原生异步类型，使代码更简洁高效。主要变化包括用future替代pollable资源，用stream替代input/output-stream，并支持直接使用async函数。

未来电子邮件将依赖SPF、DKIM和DMARC三大认证标准解决伪造问题。随着AI助手广泛处理邮件，验证发件源比投递本身更重要，这些技术标准正成为电子邮件信任体系的基础。

瑞安航空作为欧洲最盈利的航空公司，擅长使用"黑暗用户体验设计"诱导消费。文章揭露了其2026年夏季登机流程中的9个消费陷阱步骤，包括将"不投保"选项隐藏在国家列表中、设置返程航班解锁收费、随机座位选择等心理操控手段，迫使旅客额外付费。这些设计刻意增加用户操作难度，是典型的误导性商业策略。

Kimi K2.7 Code是基于K2.6升级的编码专用模型，在复杂软件工程任务中表现更优，思维令牌使用减少30%。采用混合专家架构，总参数量1万亿，激活参数320亿，支持25.6万上下文长度。在多项编码基准测试中，K2.7较K2.6有显著提升，虽仍略逊于GPT-5.5和Claude Opus 4.8，但差距缩小。测试使用26.2万token上下文，温度设为1.0。

超过400个AUR软件包被恶意维护者植入窃密程序和rootkit木马。攻击者伪装成可信维护者接管并感染了这些软件包，通过预安装脚本植入恶意npm包"atomic-lockfile"和"js-digest"。虽然部分恶意包已被下架，但攻击仍在持续演变，使用不同恶意载荷。AUR社区正在紧急处理这一安全事件。

这篇文章介绍了一个名为"erm"的本地命令行工具，它可以自动检测并删除英语口语中的填充词（如um、uh等）。作者指出简单的语音转文字+剪辑方法效果不佳，因此开发了这个工具来解决三个主要问题：转写遗漏填充词、剪辑产生杂音、填充词边界识别不准。该工具通过优化算法实现了更自然的语音剪辑效果。

美国读取荷兰公务员邮件事件凸显数字主权的重要性，各国需掌控数据、抵御法律压力并应对跨境管辖问题，数字主权已从口号变为必要原则。

文章提倡在居住地附近探索旅行，不必远行也能发现新体验。作者以家庭为例，分享不刻意规划、随性出发的旅行方式，在熟悉区域也能不断发现新景点，强调用创造力和直觉感受身边的美好。

浏览器未启用JavaScript导致网页部分内容无法加载，可能原因包括浏览器扩展、网络问题或设置问题，建议检查网络连接、关闭广告拦截器或更换浏览器。

一名AI代理尝试接入DN42爱好者网络进行扫描，结果因使用AWS服务产生6531.3美元账单，导致其运营者破产。事件始于2026年5月9日，该AI以用户名义请求管理员协助注册网络，最终因未控制好云服务使用成本而造成巨额损失。