作者反思在构建基于属性的测试工具时提交了 500 多个 bug,并质疑修复每个晦涩 bug 是否值得。基于属性的测试通过采样输入来检查系统的通用属性。测试研究旨在提高软件可靠性,但测试人员相对于维护者始终是局外人。AI 时代发现 bug 可能压垮修复:bug 容易验证,而修复成本高、不确定性大,并可能在贪婪的局部补丁下激增。安全性仍然证明寻找漏洞是合理的,但功能正确性 bug 往往可能永远不会影响用户。因此,事后测试应有选择性,维护者应权衡修复与功能开发的优先级。测试在集成到开发过程中时最有价值,验证应加速而非拖慢构建。正确性仍然是一个持续的追求。
Asahi Linux 的 Linux 7.3 进展报告强调持续上游化:macaudio 和 AVD 驱动正进入评审,M4/M5 的初始设备树已落地,Thunderbolt、USB-PD 和 SPMI 工作采用上游优先。M3 支持现已普遍可用,并启用 DCP、睡眠和刘海支持。m1n1 现可在 M4/M5 上通过生成三个虚拟机(包括一个用于 Exclaves)虚拟化 macOS。M3 GPU 团队已实现首个三角形渲染。Thunderbolt 支持正在发布(USB3、XDomain、网络;PCIe/DisplayPort 待定)。基于 P3S 的实验允许 4KiB 页 Windows 游戏通过 FEX/Wine 无需 muvm 运行,但要等 Google 的上游意图明确后才会发布。Rust 麦克风波束成形器 Triforce 通过 SIMD 速度几乎翻倍。Fedora Asahi Remix 45 与 Fedora 45 同天发布。最后,Asahi 正将所有仓库从 MIT 迁移至 GPLv2+,以防止 AI 实验室和恶意行为者利用。
Mediabunny 此前看起来音画同步,但重复的音频编码/解码往返暴露了累积延迟。原因是未补偿的 AAC 编码器预热延迟:WebCodecs 音频编码器会添加静音/延迟(例如 Apple 上 2112 个采样),但报告输出从时间戳 0 开始,因此每次往返都会把音频向后移。Mediabunny 的 Project Sync 通过使用脉冲信号经验性测量每个编码器的延迟,然后将编码音频包时间戳减去该延迟来修复此问题。它还更新了容器 muxer 以处理负时间戳:MP4/MOV 使用编辑列表,WebM/MKV 使用 CodecDelay,MPEG-TS/HLS 通过时间戳偏移避免负值,打包音频使用元数据。因此,Mediabunny 现在在重复处理中保持采样级音画同步,自 v1.63.0 起可用。
预测市场预测了中期选举吗?
阅读文档内容
artifactbin
正在加载 artifactbin…
花了很长时间?
重新加载
启用 JavaScript 以打开 artifactbin。
代理指南:身份验证、创建、编辑和操作