每日HackerNews RSS

8 月,Ladybird 浏览器团队完成了多项重大里程碑,在功能和性能方面均有显著提升。面向用户的关键更新包括:支持 Twitch 和 Plex 视频播放、添加 CSS 滚动捕捉(scroll snap)、基础 JavaScript 调试功能,以及改进的会话恢复功能。浏览器界面现已改用页内浮层显示警告,不再使用会造成阻塞的模态窗口。 引擎性能获得了大幅提升,随着团队持续专注于优化,Speedometer 测试跑分显著提高。主要的架构改进包括:用于增量重绘的新样式引擎、布局结果缓存,以及将 CSS 动画移出主线程。 开发势头依然强劲,包括 CSS 解析、渲染(painting)和命中测试(hit-testing)在内的核心组件继续向 Rust 迁移。通过在 JavaScript 引擎中对单元指针进行隔离(caging),并优化 Wasm 编译的沙箱机制,安全性得到了进一步加强。此外,通过基于 JSON 的动态规则取代硬编码策略,网站兼容性也得到了改善。 随着项目目标瞄准 2026 年的 Alpha 版本发布,团队目前正将重心转向非引擎基础设施,例如崩溃报告和安装流程。Ladybird 仍完全由社区和企业赞助商资助,本月通过了超过 9,000 项新的 Web 平台测试。

抱歉。

客户端质询:您的浏览器已禁用 JavaScript。请启用 JavaScript 以继续。此网站的一个必要部分无法加载。这可能是由于浏览器插件、网络问题或浏览器设置所致。请检查您的网络连接、禁用任何广告拦截器,或尝试使用其他浏览器。

抱歉。

分享此文章 凡您将以下链接分享给的人员均可阅读此内容: 获取可分享链接 抱歉,此文章目前无法提供可分享链接。 将可分享链接复制到剪贴板 由 Springer Nature SharedIt 内容共享计划提供

抱歉。

尽管作者个人并不喜欢苹果的硬件,但为了在苹果平台上进行开发,他决定购买一台 Mac,以期为终端用户提供“尊重”的体验。出于低成本和低功耗的考虑,他选择了一台屏幕损坏的二手 M1 MacBook Air。 作者拆除了显示屏,让设备以“无头(headless)”模式运行,既节省了空间,又将其改造成了一台专用构建服务器。这一改造过程克服了多项技术难题: * **电源管理:** 在没有内置屏幕的情况下,定制供电方案并进入 macOS 的“恢复模式”。 * **状态监测:** 由于移除了电源指示灯,难以判断设备是否唤醒,作者编写了自定义脚本,通过本地网络监控机器状态和电量。 * **硬件特性:** 发现拆卸后的屏幕盖板中残留的磁铁会触发设备的霍尔传感器,导致机器意外进入睡眠循环。 如今,作者将这台 MacBook 用作 Flutter 构建的专用工具,并通过 SSH 或 NoMachine 从他常用的 Linux/DWM 环境进行远程访问。尽管他认为 macOS 的软件体验令人沮丧,但 M1 架构的高效性能满足了他离网环境下对低功耗的需求。

对不起。

在 Recurse Center 的第二周,Ben Kallus 尝试使用证明助手 Rocq 将 Dummit 和 Foote 所著的《抽象代数》形式化。在进行第一道习题——证明一个函数是单射当且仅当它有左逆——时,他屡屡受阻。 Ben 最终发现,该命题在处理空集时在技术上是不成立的。具体而言,从空集到非空集的单射函数不可能有左逆,因为没有任何函数可以将元素从非空集映射回空集。 这一经历凸显了形式化验证的严谨性;虽然纸面上的手动证明可能会忽略这个边缘情况,但 Rocq 的严格要求迫使他找出了这一逻辑偏差。Ben 后来通过查阅该教材的勘误表证实了他的发现,书中已承认了这一错误。

抱歉。

作者正在寻找完美的USB-C线材:既要耐热(能承受烙铁烫伤)、手感柔软亲肤,又要支持高速(USB 3.1及以上)数据传输。 在对Openterface原装线感到失望后(虽然手感舒适,但抗干扰能力差且一碰烙铁就融化),作者测试了几种替代品: * **Grtoed:** 通过了耐热和速度测试,但手感廉价,毫无质感。 * **Thzzhnno:** 屏蔽性和速度表现尚可,但不耐热,容易融化。 * **LISEN:** 手感高级柔软且耐热,但传输速度仅限USB 2.0。 * **Toocki:** 纤细便携且耐热,但同样受限于USB 2.0速度。 最终,测试的所有线材都无法完美平衡手感、耐热性和高速数据性能。作者仍在寻找那条“圣杯”级别的线材,并欢迎大家提供符合所有要求的推荐。

抱歉。

请启用 JavaScript 和 Cookie 以继续。

抱歉。

arXivLabs 是一个允许合作者直接在我们的网站上开发并分享 arXiv 新功能的框架。与 arXivLabs 合作的个人和组织都秉持并认可我们对于开放、社区、卓越和用户数据隐私的价值观。arXiv 致力于践行这些价值观,并仅与遵守这些价值观的合作伙伴开展合作。您是否有意开展一个能为 arXiv 社区创造价值的项目?了解更多关于 arXivLabs 的信息。

近期一篇讨论针对 Linux 发行版实施“信任的信任”(Trusting-Trust)攻击的论文在 Hacker News 上引发了广泛争论。研究人员展示了被篡改的系统工具(具体为 `strip`)如何被用于向二进制构建中注入后门代码,证明了此类攻击不仅限于编译器。 批评者认为这些发现并无新意,并指出肯·汤普森(Ken Thompson)在 1984 年发表的原始论文中就明确警告过,任何“程序处理”工具都可能助长此类攻击。许多评论者将此项工作归类为一种已知的“链接病毒”,即受感染的工具会在整个构建链中持续进行自我渗透。 此次讨论还凸显了“可引导构建”(bootstrappable builds)的局限性。尽管 Nix 和 Guix 等项目旨在实现“全源代码引导”以消除黑盒二进制种子,但怀疑论者认为,即便这些系统也依赖于底层未经审计的环境,理论上仍可能遭受持续性攻击。最终,各方共识是,该研究提醒了人们构建环境所固有的风险:如果 CI/CD 或构建工具遭到破坏,无论在纯净源代码上投入多少努力,所有生成二进制文件的完整性都将从根本上遭到破坏。

WeatherNext 3 是首个每小时生成预报的全球天气模型。它为个人和企业提供本地数据,并集成于 Google 搜索、地图和 Gemini 等产品中,助力我们做出更明智、信息更充分的决策。

Hacker News 上关于 DeepMind 发布 **WeatherNext 3** 的讨论,主要围绕人工智能驱动的天气预报与大众对当前天气服务质量下降的感受之间的矛盾展开。 **核心议题:** * **对性能的怀疑:** 许多用户反馈主流天气应用(特别是谷歌自家的应用)的准确度日益下降,引发了普遍不满。一些人推测,这可能是由于气象气球等气象数据采集基础设施的政府资金(NOAA)削减所致。 * **“Dark Sky”因素:** 爱好者们感叹“临近预报”(分钟级降雨预测)的高精度服务已不如从前,并指出当前的集成式应用往往难以达到过去专用服务所具备的可靠性。 * **技术探讨:** 评论者讨论了 WeatherNext 等 AI 模型能否超越传统的数值天气预报(NWP)。专家指出,虽然这些 AI 模型的分辨率令人印象深刻,但它们缺乏“可解释性”,且无法提供航空或能源等行业所需的颗粒度极细的本地化细节。 * **实用性:** 虽然新的 Weather Lab 演示因其雄心壮志而受到赞誉,但一些用户认为其界面令人困惑,或缺乏本地时间同步、直观单位等必要的气象标准。 总体而言,社区对于 AI 能否立即解决困扰日常天气应用的“最后一公里”准确度问题持怀疑态度。

帮助 登录 注册 规划您的棚屋 地点 内容 近期项目 让 HomeCat 为您处理建筑规划。让您的项目按进度进行。获取任何建筑项目的合规建筑规划、材料/切割清单及指南。[email protected] (289) 894-2990 关于我们 了解更多 LinkedIn 使用条款 隐私政策 HomeCat

抱歉。

更多

联系我们 contact @ memedata.com