2024-01-20

50 篇热帖

1. Fujitsu bugs that sent innocent people to prison were known "from the start" (arstechnica.com)

文章摘要:

富士通高管在今日的公开调查中透露,导致英国邮政员工被错误定罪的软件漏洞“从系统部署之初就已知晓”。

主要事实:

  • 富士通欧洲区联席首席执行官保罗·帕特森作证称,自1999年其子公司安装Horizon会计软件系统起,软件就存在“众所周知”的错误和缺陷。
  • 1999年至2015年间,该缺陷软件导致超过900名邮政分支机构负责人被指控盗窃或欺诈,其中部分人入狱,另一些人被迫向英国邮政局支付所谓“短缺”款项。目前仅93起定罪被撤销,仍有数千人在等待赔偿。

关键问题:

  • 法庭在审理案件时,未被告知系统中自1999年以来已识别的29个软件漏洞。
  • 当漏洞被承认时,邮政局的律师会编辑富士通员工的证人陈述,以维持系统运行正常的立场,继续对无辜员工提起诉讼。
  • 帕特森承认两家机构均未能履行责任,并将此事件称为“可耻且令人震惊的”,认为所有证据都应提交给法庭。

补充信息:

  • 据报道,邮政局律师在去年12月的调查中已承认重写了富士通的证人陈述。
2. Tell HN: Russia has started blocking OpenVPN/WireGuard connections
4. Surf the web like it's 1999 (billsworld.neocities.org)

文章标题:Surf the web like it's 1999

文章摘要: 作者声称自己被困在1999年的GeoCities网站上。为了邀请未来的访客,他特意创建了一个时间门户,以便后世之人能够访问他当年制作的个人网站。这旨在模拟并重现1999年代的网页浏览体验。

7. Show HN: Coffeehouse, one-on-one voicechat with random HN users (coffeehouse.chat)

内容摘要

提供的文章内容异常,仅包含一个错误信息:“GET method not allowed”。

此信息通常出现在网络技术上下文中,表示客户端使用GET HTTP方法请求某个资源或API端点时,服务器拒绝了该请求,原因是该资源不支持GET方法。

结合文章标题“Show HN: Coffeehouse, one-on-one voicechat with random HN users”(展示于Hacker News:Coffeehouse,与随机HN用户进行一对一语音聊天)推测,该内容可能与一个名为“Coffeehouse”的在线语音聊天项目或其相关的技术说明(如API文档)有关。然而,目前可见的正文内容仅为一个通用的HTTP方法错误提示,并未包含关于该项目功能、用途、技术细节或开发背景的任何实质性描述。

8. Ceph: A Journey to 1 TiB/s (ceph.io)

Ceph 集群性能优化至 1 TiB/s 的实践之旅

项目背景

  • 客户需求:将现有基于硬盘的 Ceph 集群迁移至 10 PB NVMe 部署,要求跨 17 个机架,无服务中断。
  • 硬件选择:经过方案对比,最终选用 Dell PowerEdge R6615 节点,采用单路 AMD EPYC 9454P 处理器、192GiB DDR5 内存、2×100GbE 网络和 10×15.36TB NVMe 驱动器。
  • 网络环境:客户已搭建高性能以太网,总聚合带宽足以支持大规模集群。

关键挑战与解决

1. 性能初期异常

  • 问题:测试初期性能远低于预期,单 OSD 与多 OSD 测试行为不一致。
  • 排查:通过 blktraceperf 等工具分析,发现内核在 io_submit 中阻塞。
  • 三大修复
    1. CPU C-State 禁用:启用最大性能模式,提升 10-20%。
    2. IOMMU 优化:禁用 IOMMU 后,消除了内核锁竞争,多 OSD 测试性能显著提升。
    3. RocksDB 编译优化:修复上游包编译标志,压缩时间降低 3 倍,4K 随机写入性能翻倍。

2. PG 数量与性能

  • 发现:PG 数量对性能有巨大影响,尤其在随机读取场景。测试中 PG 数量高达 256K。
  • 建议:传统 100 PG/OSD 的建议可能需重新评估,未来应探索更高 PG 数量下的优化(如自动缩放、日志管理)。

3. 延迟问题与调优

  • Laggy PG:高负载写入时出现 PG 进入 active+clean+laggy 状态,导致性能下降。
  • MSGR 线程调优:通过调整异步消息线程数量,在读写性能间取得平衡。
  • 加密影响:启用 MSgR v2 加密后,大读取性能从 ~1 TiB/s 降至 ~750 GiB/s。

最终性能成果

  • 3 副本配置(630 OSD,客户端与 OSD 共置):
    • 4MB 随机读取:1025 GiB/s(1 TiB/s)
    • 4MB 随机写入:270 GiB/s
    • 4KB 随机读取:25.5M IOPS
  • 纠删码配置(6+2 EC,630 OSD):
    • 4MB 读取:547 GiB/s
    • 4MB 写入:387 GiB/s

待解决问题与未来展望

  • Laggy PG 问题:需深入解决高负载写入时的 PG 状态异常。
  • IOPS 瓶颈:每节点随机读取 IOPS 在 400-600K 左右遇到瓶颈,可能与 OSD 线程模型及内核交互有关。
  • 网络升级:为进一步提升吞吐量,需升级至 200GbE+ 网络。
  • 代码优化:未来需重写部分 OSD 线程代码以改善 IOPS 和延迟平衡。

总结

此次实践成功将 Ceph 集群性能推至 1 TiB/s,为已知单集群最高性能记录。通过系统性排查与优化,展示了 Ceph 在现代 NVMe 硬件和高速网络下的潜力,同时明确了 PG 数量、内核调优、编译选项等关键影响因素。

9. US government opens 22M acres of federal lands to solar (electrek.co)

美国政府开放2200万英亩联邦土地用于太阳能开发

核心计划更新

美国土地管理局(BLM)与能源部国家可再生能源实验室在拜登政府主导下,更新了西部太阳能计划。新计划将2200万英亩的联邦土地划为太阳能潜在开发区,旨在为未来20年预估所需的70万英亩太阳能电场用地提供"最大灵活性",以支持美国在2035年实现电力部门净零排放的目标。

计划范围与重点

  • 地理扩展:在原覆盖亚利桑那、加利福尼亚、科罗拉多、内华达、新墨西哥、犹他六州的基础上,新增爱达荷、蒙大拿、俄勒冈、华盛顿、怀俄明五州。
  • 选址优化:重点关注距离现有或规划中输电线10英里以内的土地,并避开生态敏感区域。
  • 基础设施关联:新划定了约20万英亩靠近输电设施的土地,以简化开发流程。

行业背景与反响

  • 太阳能行业协会(SEIA) 指出,当前联邦土地用于石油和天然气开发的面积达8000万英亩,是太阳能可用土地的100倍,认为本次更新是重大进展。
  • 拜登政府已累计批准47个清洁能源项目,许可11,236兆瓦的风能、太阳能和地热能项目,可为超过350万户家庭供电。

长期目标与灵活性

此次更新通过大幅扩大潜在开发区(实际需求的31倍以上),旨在为选址、环评和基础设施协调预留充足空间,确保未来太阳能项目能顺利落地,支撑国家清洁能源转型。

10. Vint Cerf is accumulating Dave Mills stories (docs.google.com)

本文指出,当前使用的浏览器版本已不再受支持,因此用户需要升级到受支持的浏览器版本,以继续正常访问或使用相关服务。

11. Tart: VMs on macOS using Apple's native Virtualization.Framework (tart.run)

Tart 是一个工具集,用于在 Apple Silicon 芯片的 macOS 上构建、运行和管理 macOS 及 Linux 虚拟机。

其主要特点和优势如下:

  1. 原生性能:Tart 使用了苹果原生的 Virtualization.Framework。该框架与 M1 芯片同步开发,实现了硬件与软件的紧密集成,从而确保了流畅且无性能损耗的运行体验。

  2. 虚拟机远程存储:Tart 集成了 OCI 兼容的容器注册表来存储虚拟机镜像,使用户能够像管理 Docker 容器一样方便地操作虚拟机。

  3. 与现有自动化系统无缝集成:Tart 能够与多种持续集成系统集成,其中包括专用的按需 GitHub Actions 运行器服务。通过一个简单的修改,用户可以使用 Cirrus Runners 来运行工作流,从而将 CI/CD 成本降低多达 30 倍。

  4. 通过 Orchard 实现规模化运行:Tart 工具集包含了 Orchard 编排工具,用于在 Apple Silicon 主机集群上大规模运行和管理 Tart 虚拟机。Orchard 集群通过一个简单的 REST API 来管理数千台虚拟机,其 CLI 工具允许用户像访问本地虚拟机一样访问远程虚拟机。

应用场景:凭借其强大的自动化能力,Tart 已拥有超过 25,000 次安装,被用于多种场景,包括驱动 CI/CD 管道、创建可复现的本地开发环境,以及在无需物理设备的情况下测试设备管理系统。

12. Textfiles (www.textfiles.com)

总结

  • 表面现象:文本文件看似仅包含英文字母和偶尔的标点符号,是基于纯文本的格式。
  • 深层内涵:该网站通过文本文件展示了历史背景,特别是作家和艺术家在ASCII(美国信息交换标准代码)的128个字符限制下的创作历程。
  • 焦点内容:重点集中在1980年代中期的文本文件及其所反映的当时社会文化世界。
  • 历史延续:这些文件有时是1960年代和1970年代作品的重新改编,并且这种文本文化至今仍有衍生和影响。
13. Textart.sh (textart.sh)

这篇文章列出了一个名为“Textart.sh”的文件或项目所包含的全部内容。其核心内容是一个庞大的列表,系统性地枚举了可以通过文本字符(Text Art)来表现的各种对象、概念、生物、物品、地点、活动及抽象主题。

主要内容概览: 该列表覆盖面极广,主要可分为以下几类:

  • 动物与生物:如猴子、猫、恐龙、狗、鸭、龙、熊猫、鲨鱼、鲸鱼、大象、蝴蝶、孔雀等,涵盖了哺乳动物、鸟类、爬行动物、昆虫及神话生物。
  • 人物与社会角色:如女孩、男孩、女人、男人、医生、老师、警察、国王、士兵、间谍、婴儿、父亲、母亲、祖母、侄子等,以及各种国籍(日本、中国、印度、俄罗斯等)和文化背景的人物。
  • 日常物品与食物:如汽车、卡车、自行车、飞机、火箭、汉堡、披萨、咖啡、茶、香蕉、西瓜、蛋糕、三明治、糖果等,包括交通工具、食物饮料及家用物品。
  • 自然与地理:如山、云、河流、海洋、森林、岛屿、沙漠、瀑布、彩虹、雪花、闪电、火山、树、花等。
  • 抽象概念与符号:如爱、恨、心、和平、危险、思考、能量、力量、时间、梦、快乐、悲伤等。
  • 活动、事件与场所:如足球、篮球、游泳、烹饪、学校、医院、公园、家、战场、婚礼、生日派对等。
  • 其他特定主题:还包含了大量具体的名词,如乐器(吉他、小提琴)、服装(衬衫、鞋)、身体部位(手、眼睛)、建筑(教堂、监狱)、武器(枪、剑)、节日(圣诞节)、运动(网球、高尔夫)以及各种数学术语(三角学、代数)等。

文章目的与结构: 这篇文章本质上是一个主题索引或灵感清单。它并未提供具体的文本艺术图案,而是罗列了文本艺术可以表现的海量主题。其结构是一个简单的、用换行分隔的列表,每一行都是一个主题词后跟“text art”。这种结构非常便于快速浏览和检索。

总结: “Textart.sh” 文件展示了一个极其丰富和全面的文本艺术主题库,其目的在于为文本艺术创作提供广泛的选题参考。它几乎涵盖了现实与想象世界中的所有类别,从具象的物体到抽象的情感,体现了文本艺术表现形式的多样性和包容性。对于希望进行文本艺术创作但缺乏灵感的用户来说,这个列表可以作为一个全面的创意起点。

14. New York Times Flash-based visualizations work again (flowingdata.com)

《纽约时报》Flash 可视化作品借助模拟器重获新生

背景

在2000年代,Flash是创建网页交互式和动画可视化内容的主流技术。然而,随着Flash技术停止支持并从互联网上淘汰,大量基于Flash的优质可视化作品无法再被访问和展示。

解决方案

《纽约时报》通过采用开源Flash模拟器Ruffle,成功使其历史档案中的Flash可视化作品重新恢复功能。此前,这些作品只能以静态缩略图形式呈现。

恢复的示例

文中提及了几个具体案例,包括:

  • 曾引发广泛讨论的票房收入流图(box office streamgraph)
  • 显示“与你相似人群”失业率的多线折线图
  • 展示人们每日时间分配的交互式堆叠面积图

技术细节

《纽约时报》所使用的核心技术是开源项目 Ruffle,这是一个Flash模拟器,能够在不依赖Adobe Flash Player的情况下运行旧的Flash内容。

展望与反响

作者表达了对其他新闻媒体效仿此做法的期望,认为让这些经典的可视化作品重见天日具有重要价值。该信息源自 EagerEyes。

15. Let's talk about joins (cghlewis.com)

本文系统介绍了数据集连接(joins)的主要类型、应用场景、关键规则及操作要点,重点以R语言示例进行说明。

核心概念与连接类型 数据集连接主要分为两类:

  1. 水平连接:通过一个或多个键变量将不同数据集的列进行匹配,形成更宽的数据集(增加列)。它适用于链接不同仪器、时间点或参与者的数据。
    • 左连接:保留左侧(第一个)数据集的所有行,仅添加右侧数据集中匹配的数据。
    • 右连接:保留右侧(第二个)数据集的所有行,仅添加左侧数据集中匹配的数据。
    • 全连接:保留两侧数据集的所有行,不匹配的行也会保留,对应列值为空。
    • 内连接:仅保留两侧数据集中键值匹配的行。
  2. 垂直连接:通过匹配变量名将数据集上下堆叠,形成更长的数据集(增加行)。它适用于合并同类数据,如不同队列、站点或时间点收集的相似数据。

水平连接的关键规则与要点

  • 规则一:变量名不能重复。连接前必须重命名同名的非键变量。
  • 规则二:每个数据集必须有键。键用于唯一标识和匹配行,分为主键(唯一、无缺失)和外键。键可以是一个或多个变量的组合。
  • 关系类型:除了一对一连接,还存在一对多多对一连接(如将学生数据与教师数据合并),此时行数会按“多”的一方数据集扩展。
  • 应用场景:常用于数据去标识化、纵向研究数据处理等。

垂直连接的要点

  • 要求被连接的数据集变量名和数据类型必须完全一致
  • 需要添加一个标识变量(如wave)来区分行的来源(如时间波次)。
  • 在R中常用bind_rows()函数实现。

组合连接与检查 在复杂研究中,常需组合使用水平和垂直连接。例如,可先对每个队列内部进行水平连接(合并不同时间点的数据),再将各队列的结果垂直堆叠。 完成任何连接后,必须检查合并后数据的行数,确保符合预期,避免出现意外的行重复或行丢失。

结论 选择何种连接方式取决于具体的研究目的。在实际操作前,通常无需预先连接所有数据,可按需进行。本文通过R代码示例清晰展示了各种连接的具体操作过程。

16. Google search is losing the fight with SEO spam, study says (arstechnica.com)

该研究由莱比锡大学、魏玛包豪斯大学和可扩展数据分析与人工智能中心联合进行,历时一年监测了谷歌、必应和DuckDuckGo在7,392个产品评论类查询(如“最佳耳机”)上的搜索结果质量。研究发现,谷歌正在输掉对抗搜索引擎优化垃圾内容的战争。

主要发现包括:

  • 在主流搜索引擎的结果页面中,排名靠前的产品评论大多采用了联盟营销模式,其中相当一部分是彻头彻尾的SEO产品评论垃圾内容。
  • 搜索引擎偶尔会更新排名算法以打击垃圾内容,但研究指出搜索引擎“似乎在SEO垃圾内容的猫鼠游戏中节节败退”。
  • 搜索引擎排名与联盟营销之间存在强相关性,且内容趋向简化、重复,并可能由AI生成。
  • 研究发现页面优化程度与其被感知的专业性呈负相关,表明SEO可能至少会损害主观页面质量。谷歌及其页面处理方式是定义何为SEO的主要力量,而谷歌的指南降低了主观页面质量这一结论,直接挑战了其整个排名算法的权威性。
18. Calculus on Computational Graphs: Backpropagation (2015) (colah.github.io)

计算图上的微积分:反向传播

反向传播的核心价值
反向传播是使深度模型训练在计算上可行的关键算法。相较于朴素实现,它能将梯度下降训练速度提升数百万倍,这是模型训练时间从“一周”与“20万年”的本质区别。该算法在深度学习之外亦有广泛应用(如天气预报、数值稳定性分析),其通用名称为“反向模式微分”,本质是一种快速计算导数的技术。

计算图的概念
计算图是可视化数学表达式的有效工具。例如表达式 (e=(a+b)*(b+1)) 可分解为:

  • (c = a + b)
  • (d = b + 1)
  • (e = c * d)

图中每个变量或操作视为节点,节点间的依赖关系用箭头连接。计算图是函数式编程、依赖图和深度学习框架(如Theano)的核心抽象。

计算图上的导数计算

  • 偏导数的计算:利用求导的加法与乘法法则,计算边上的局部偏导数(如 (\frac{\partial c}{\partial a}=1))。
  • 链式法则的路径求和:对于非直接相连的节点,导数可通过所有路径的导数乘积之和计算(如 (\frac{\partial e}{\partial b}=12+13)),这本质上是多元链式法则的体现。

路径爆炸问题与因式分解
若直接求和所有路径,路径数量可能呈指数增长。例如从 (X) 到 (Z) 的路径数可能为 (3×3=9) 条,计算繁琐。通过因式分解可将求和转化为乘积形式(如 ((\alpha+\beta+\gamma)(\delta+\epsilon+\zeta))),从而高效计算。这正是前向模式微分反向模式微分的思想基础,两者均只需遍历每条边一次。

前向与反向模式的区别

  • 前向模式微分:从输入节点出发,沿图向前计算,记录每个节点对某一输入的导数。
  • 反向模式微分(反向传播):从输出节点出发,沿图反向计算,记录某一输出对所有节点的导数。

计算效率对比

  • 前向模式适合多输出单输入的场景,需为每个输入遍历一次图。
  • 反向模式适合单输出多输入的场景,只需一次遍历即可获得输出对所有输入的导数。
    对于具有百万参数的神经网络(输入多、输出少),反向传播能带来巨大的效率提升,这也是它在深度学习中至关重要的原因。

反向传播的发明意义
尽管反向传播本质上是链式法则的应用,但其提出经历了认知上的突破。过去,训练神经网络的可行性未被广泛认识,且计算所有导数的代价被认为过高。反向传播的发现打破了这种循环依赖的认知壁垒。

核心启示

  1. 导数计算成本低廉:尽管直觉上可能认为复杂,但导数的计算成本远低于预期。
  2. 理解梯度流动的工具:反向传播有助于分析模型优化困难(如循环神经网络的梯度消失问题)。
  3. 算法思想的通用性:结合线性化与动态规划思想,该方法可用于高效计算涉及导数的其他复杂表达式。

本文对反向传播进行了高度抽象的阐述,更具体的神经网络实现可参考Michael Nielsen的专题论述。

19. Show HN: I made an app people call "Airdrop for Android" (www.ubidrop.com)

Ubidrop 是一款被称为“Android版AirDrop”的本地文件传输应用。其主要特点和功能如下:

核心传输方式

  • 通过本地WiFi网络直接传输文件,无需注册、上传至服务器或互联网连接。

传输可靠性

  • 若设备在传输过程中暂时断开连接,一旦两设备重新连接到同一WiFi,传输会自动继续。

文件支持

  • 支持传输任意类型和大小的文件,从单个照片到整个文件夹均可处理。

平台兼容性

  • 提供iOS、Android和Mac的原生应用,在各平台上均经过优化,使用体验流畅。

其他特点

  • 强调高速传输,提供“30天无理由退款”保证。
  • 提供新功能与改进的通知服务,用户可随时退订。
20. Open source Spotify client that doesn't require Premium nor uses Electron (github.com)

Spotube 是一款开源的 Spotify 客户端,它无需 Spotify Premium 会员且不使用 Electron 框架。它是一个跨平台的、可扩展的音乐流媒体平台,核心特点是通过插件支持各种音乐服务,用户可以使用社区创建的插件或自行开发,从而支持任意平台或自定义音乐源,迈向去中心化的音乐流媒体时代。

主要特性:

  • 插件驱动:支持通过插件接入任何平台或自定义音乐服务。
  • 社区驱动:拥有针对流行平台的社区插件,也支持用户创建自己的插件。
  • 自由下载:可自由下载带有标签元数据的音轨。
  • 跨平台支持:适用于桌面和移动设备。
  • 轻量高效:体积小,数据使用量少。
  • 同步歌词:支持时间同步歌词,无需插件原生支持。
  • 隐私保护:无遥测、诊断或用户数据收集。
  • 原生性能:具备原生应用性能。
  • 开源自由:采用开源/自由软件许可证。
  • 本地控制:播放控制在本地完成,而非服务器端。

安装方式: Spotube 通常每 3-4 个月发布一个新版本。它提供了多样化的安装方法,覆盖:

  • 桌面端:支持 Windows(通过应用商店、Chocolatey、Scoop、WinGet)、macOS(DMG 安装包、Homebrew)以及多种 Linux 发行版(如 Flatpak、Debian/Ubuntu 的 .deb 包、Arch/Manjaro 的 AUR、Fedora/OpenSuse 的 .rpm 包等)。
  • 移动端:支持 Android(通过 F-Droid、APK 或 AppImage)和 iOS(通过 iPA 文件,需使用 AltStore 等工具侧载)。
  • 其他渠道:提供夜间构建版本供尝鲜,也支持从源代码自行构建。

技术栈与依赖: Spotube 主要使用 Flutter 和 Dart 构建。它依赖于众多库和服务,例如:

  • 核心服务:Flutter(跨平台开发框架)、MPV(媒体播放后端)、MusicBrainz/ListenBrainz(音乐元数据与收听数据)、Piped/Invidious/yt-dlp(用于从 YouTube 等平台获取音频内容)、LRCLib(同步歌词)等。
  • 关键功能库:涵盖了网络请求、音频播放、本地存储、UI 组件、系统集成(如通知、托盘图标、窗口管理)等各个方面,具体包括 dioaudio_servicedriftflutter_riverpodshelfsqlite3 等数十个包。

团队与许可:

  • 核心团队:由 Kingkor Roy Tirtho 创立并主导开发,Owen Connor、Piotr Rogowski 和 Rusty Apple 也参与其中。
  • 开源许可:项目基于 BSD-4-Clause 许可证发布,其许可证选择的具体原因可在项目中查阅。
21. Snowcraft – Building a Lego Snowfort from giant Lego snow-bricks (www.verandavikings.com)

本文介绍了利用雪块搭建乐高风格雪堡的创意活动,以及多种激发儿童想象力与户外探索的自然游乐方式。主要内容包括:

雪砖制作与搭建

  • 在雪质适宜时,使用大型乐高存储箱盖作为模具,通过按压雪地并脱模,制成2×2规格的雪砖。
  • 孩子们运用这些雪砖自由搭建,如构造发光雪灯、雪堡堡垒等类似《我的世界》中的结构,并规划领地、修建围墙与座椅区。
  • 傍晚在雪堡内放置灯光,透过雪墙散发出温暖光芒,将作品转化为富有创意的视觉景观。

其他自然游乐活动

  1. 滑轮装置:引入滑轮设备,使孩子在游戏过程中直观学习力学原理。
  2. 宝石与半宝石:利用天然晶石激发想象游戏,如冒险任务与创意叙事。
  3. 垂直探索:通过绳索、秋千等增加游乐场的立体层次,提供攀爬与摆荡体验。
  4. 平衡与障碍活动:设置临时跷跷板、滚动原木、平衡木等,鼓励孩子跳跃、平衡与自由探索。

这些活动共同强调利用自然元素与简单工具,促进儿童在户外环境中发挥创造力、学习基础知识并享受探索乐趣。

22. 'Cozy' relationship between Boeing and the US draws scrutiny amid 737 MAX 9 mess (www.npr.org)

波音公司与美国政府间的“亲密关系”因737 MAX 9事件再受审视。波音作为美国经济支柱,既是国防承包商也是民用航空巨头,自称美国最大出口商,长期享有政府高层在海外市场推销的支持,其737 MAX系列更是获得进出口银行融资等关键助力。

然而,这种特殊关系在2018年和2019年737 MAX 8两起致命空难后引发严厉质疑。调查揭示了波音在飞行控制系统设计、飞行员培训以及向监管机构隐瞒关键信息等方面的问题,同时美国联邦航空管理局(FAA)监管不力,被批评为与企业关系“过于亲密”,监管权过度委托给波音,导致监管失效。

空难后虽进行了改革:波音更换CEO,国会通过立法,FAA调整授权监督方式。但2024年1月,一架阿拉斯加航空的737 MAX 9客机在高空发生门塞脱落事故,再次引发担忧。此次事件虽无人员伤亡,但突显了生产制造过程可能存在问题。

当前,FAA正重新评估将监督权委托给波音的做法,考虑引入独立第三方进行质量监督和检查,这可能是监管模式的重大转变。尽管FAA承认无法检查波音工厂的每个细节,但现行方式已不可持续。波音新CEO承诺完全透明并确保事故不再发生。此次事件的核心争议在于,FAA如何在波音这一对美国经济至关重要的公司面前,履行其保障飞行安全的监管职责。

23. Why lowercase letters save data (endtimes.dev)

小写字母节省数据的原理

核心观点

将大写字母转换为小写字母能够通过文本压缩减少数据量,尽管单个字符在未压缩状态下占用相同字节数。

压缩算法原理

哈夫曼编码(Huffman Encoding)

  • 频率决定编码长度:压缩算法为文本中更常见的字符分配更短的二进制编码。
  • 字母频率影响:小写字母在文本中出现频率通常远高于大写字母,因此能获得更短的编码。
  • 减少字符种类:将大写字母转为小写可减少文本中的字符种类,从而简化哈夫曼树,进一步提升压缩效率。

LZSS算法

  • 寻找重复序列:该算法通过查找重复的数据块并用指向首次出现位置的指针来替换它们。
  • 大小写统一的好处:统一使用小写字母会增加重复序列的出现概率,从而增强压缩效果。

实际应用与影响

数据节省示例

  • Hacker News案例:将标题从标题大小写(Title Case)改为句子大小写(Sentence Case)后,压缩后的HTML文件大小减少了31字节。
  • 碳排放估算:假设Hacker News每日访问量为1000万次,这一改变相当于每年减少燃烧约4.3加仑汽油所产生的碳排放,可支持一辆Mini Cooper行驶约137.6英里(约等于斯里兰卡国土宽度)。

可系统优化的代码区域

  • HTML doctype声明<!DOCTYPE html> 可改为小写 <!doctype html>(HTML5规范不区分大小写)。
  • 十六进制颜色值:如 #ABCDEF 可转为小写 #abcdef
  • 字符编码声明charset="UTF-8" 可改为 charset="utf-8"
  • 其他代码:JavaScript指数表示、HTML lang属性、SVG路径命令等均可进行小写优化。

重要提醒

  • 在优化网页资源时,未压缩的图片、自动播放视频、未使用的JavaScript等因素对数据量的影响远大于大小写优化。
  • 尽管单个优化效果微小,但系统性地应用这些优化(如通过代码压缩工具)能显著减少网站数据传输量、提升加载速度并降低能耗。

总结

通过理解文本压缩算法(尤其是哈夫曼编码和LZSS)如何利用字符频率和重复性,可以认识到统一使用小写字母能有效提升压缩率。这种优化虽在单个页面上节省有限,但在大规模应用中具有可观的环境与性能效益。

24. The bane of my existence: Supporting both async and sync code in Rust (nullderef.com)

文章摘要:在Rust中同时支持异步与同步代码的挑战

本文以作者维护Rspotify(一个Spotify Web API的Rust封装库)的经历为例,探讨了在Rust中为一个异步库同时提供同步接口所遇到的困境与尝试的解决方案。

问题背景

开发者希望其库既能供异步用户使用,也能供偏好同步代码的用户方便地调用。对于主要执行I/O操作(如HTTP请求)的库,使用异步是自然选择,但用户需求催生了对同步支持的需要。

尝试的解决方案

  1. 直接代码复制:创建一个独立的blocking模块,手动将异步代码(去除async/.await)复制一份。此方法简单,但导致代码大量重复,维护和测试成本高昂,极易产生错误。

  2. 使用block_on包装:仅在异步端实现功能,同步接口内部通过runtime.block_on()调用异步方法。虽然避免了业务逻辑重复,但仍需重复方法定义。更重要的是,它引入了Tokio等运行时作为依赖,导致编译时间和二进制大小增加,为纯同步代码引入不必要的开销。

  3. 创建独立crate:将库拆分为rspotify-asyncrspotify-sync两个独立crate。此方案在Cargo中难以优雅实现,通常仍需复制整个代码库,不切实际。

  4. 使用maybe_async过程宏:此方案通过特性标志(is_sync)自动在编译时移除async/.await,消除了代码重复和运行时开销。作者还借此实现了HTTP客户端抽象,通过HttpClient trait支持reqwest(异步)和ureq(同步)等不同后端,用户通过Cargo特性标志选择。

核心问题:Cargo的特性可叠加性原则

maybe_async方案看似完美,但违反了Cargo的一个核心原则:特性必须是可叠加的。这意味着启用一个特性不应禁用其他功能。由于Cargo可能会合并依赖树中相同crate的特性以避免重复编译,互斥的特性(如is_sync与异步特性)会导致冲突,使得同一个项目无法同时间接依赖该库的异步和同步版本。即便使用“Feature Resolver v2”也无法解决此根本矛盾。

修复尝试与现状

为解决此问题,maybe_async考虑引入_async_sync后缀来区分函数,但这样降低了API的友好度。作者探讨了其他可能性,如RFC提议、Cargo官方支持或“Sans I/O”架构,但均未形成成熟方案。

结论与权衡

作者面临艰难选择:

  • 忽略原则:假设不会出现需要同时支持异步和同步的依赖树场景。
  • 采用后缀方案:修复maybe_async,但牺牲API简洁性。
  • 放弃支持:彻底放弃对其中一种模式的支持,回归到只支持异步或只支持同步的常见做法。

文章最终反思,这是Rust作为系统级语言在提供高层抽象时可能面临的复杂性,展现了在追求灵活性与维护简洁性之间的持续权衡。

25. Samsung Joins Apple and Adobe in Supporting JPEG XL (r2.community.samsung.com)

三星加入苹果与Adobe的行列,支持JPEG XL格式

根据文章内容,三星在其最新的Galaxy S24系列中加入了对JPEG XL图像格式的支持。这一支持主要体现在其专业摄影应用Expert RAW中。

主要要点

  1. 功能引入:三星在Galaxy S24系列的Expert RAW应用中正式提供了JPEG XL格式支持。该功能此前在S23系列中作为测试版提供。
  2. 核心优势:采用JPEG XL格式的主要目的是在保持图像质量的同时,有效减少文件的存储容量
  3. 应用背景:这一支持是三星为提升Galaxy S24系列相机与编辑体验所做的众多努力之一,与夜景摄影技术改进、分辨率提升至24MP、新增数字ND滤镜自动模式等功能并列推出。
  4. 行业阵营:三星此举使其成为支持JPEG XL格式的主要科技与软件公司之一,与苹果和Adobe站在了同一阵列。

总结

简而言之,三星通过在Galaxy S24的Expert RAW应用中集成JPEG XL格式,为用户提供了更高效的存储解决方案,同时承诺不牺牲图像质量。这标志着JPEG XL格式在消费电子设备上的进一步普及。

26. Microsoft actions following attack by nation state actor Midnight Blizzard (msrc.microsoft.com)

该文章的标题表明内容应涉及微软在遭受名为“Midnight Blizzard”的国家级行为者攻击后所采取的行动。

然而,所提供的内容并非与标题相关的实质性文章。其实际内容是微软官方网站的一个通用导航页面或页面框架,主要包含以下结构性信息:

  1. 产品与解决方案目录:列出了微软的各类产品与服务,如Surface设备、Microsoft 365、Azure、Microsoft Security、Dynamics 365、Windows 11应用、以及面向教育、开发者、小型企业的解决方案。
  2. 公司信息与支持链接:包括下载中心、商店支持、订单跟踪、职业发展、公司新闻、投资者关系、隐私、无障碍、可持续性等栏目。
  3. 版权与法律声明页脚:包含站点地图、联系方式、隐私政策、Cookie管理、使用条款、商标信息、广告信息等标准法律和运营链接。
  4. 隐私选项图标:显示“你的隐私选择”退出图标。

总结:所提供的网页内容本质上是微软官网的标准结构布局,用于展示其产品生态、企业信息和支持资源。文中完全没有包含与标题“微软在遭受国家级行为者Midnight Blizzard攻击后的行动”相关的任何具体信息、事件描述或官方声明。

29. System76 Thelio Major Powered by AMD Ryzen Threadripper 7000 Series Performance (www.phoronix.com)

System76 Thelio Major (搭载 AMD Ryzen Threadripper 7000 系列) 性能概述

本文旨在总结搭载 AMD Ryzen Threadripper 7000 系列处理器的 System76 Thelio Major 工作站的性能特点。

  • 产品定位:Thelio Major 是 System76 推出的一款面向专业人士和发烧友的高端工作站电脑。其设计目标是为对计算能力、多线程性能和可靠性有极高要求的工作负载提供强大支持。
  • 核心硬件:该机型的关键升级在于采用了 AMD Ryzen Threadripper 7000 系列处理器。这一系列处理器以其卓越的核心数量、多线程性能和巨大的缓存容量而闻名,非常适合视频编辑、3D 渲染、科学计算、软件编译和虚拟化等高度并行化的专业应用。
  • 性能预期:搭载 Threadripper 7000 系列处理器意味着 Thelio Major 在处理复杂、资源密集型任务时能够提供顶级的性能。用户可以期待在多线程基准测试和实际应用中获得显著的速度提升和更高的工作效率。
  • 生态系统:作为 System76 的产品,该工作站默认搭载并深度优化了 Linux 操作系统(通常为其定制的 Pop!_OS 或 Ubuntu),确保了硬件与开源软件栈的卓越兼容性和性能发挥,为开发者和 Linux 用户提供了无缝的使用体验。

(注:由于提供的原始内容为网页验证页面,无法获取实际评测详情。以上总结基于产品标题和已知的系统配置信息进行归纳。)

30. Wayfair CEO tells employees to 'work longer hours' in year-end email (www.usatoday.com)

Wayfair首席执行官要求员工延长工作时间

  • 事件:Wayfair公司的首席执行官在年底向全体员工发送了一封电子邮件。
  • 核心内容:该邮件明确要求员工“延长工作时间”。
  • 背景:这一要求是在年底的沟通中提出的,通常可能涉及业务冲刺、假期销售季或其他年终工作压力。
31. What's that touchscreen in my room? (laplab.me)

这篇文章记录了作者调查公寓内一块不明用途的智能触控屏的完整过程。这块屏幕是NETTHINGS公司能源管理系统的一部分,由连接电表的数据采集器(服务器)和作为显示客户端的触控屏组成。

作者通过查阅手册发现系统故障,原因是保险丝缺失。安装正确的保险丝后,系统启动。触控屏实为老旧的Android平板,通过WiFi连接数据采集器。作者对系统进行了深入技术分析:

  • 通信方式:数据采集器与触控屏通过WiFi连接,使用Socket.IO协议通信,这在嵌入式设备中较为少见。
  • 安全漏洞:作者利用系统遗留的调试服务tcf-agent(运行于1534端口)获得了root权限。该服务功能强大但安全性差,允许任意文件读取和进程控制。
  • 系统架构:数据采集器运行Linux 3.10系统和ARM9处理器。核心应用分为两部分:一是“Pulse应用”,通过GPIO引脚从电表读取脉冲数据并存储为CSV文件;二是Node.js Web应用(使用Express和Socket.IO),读取CSV数据并通过网页界面展示。
  • 技术栈与问题:系统使用了较旧的技术栈(如RequireJS、Backbone.js)。作者还发现存在未完成的MQTT云集成代码,以及已失效的NTP服务器配置。密码哈希算法陈旧,已被破解。

最终,作者成功获得了对该能源管理设备的完全访问权限,并视其为一个独特的边缘计算平台,思考如何加以利用。

32. The Knowledge Economy Is Over. Welcome to the Allocation Economy (every.to)

知识经济已终结:欢迎进入分配经济时代

核心观点:人工智能(如ChatGPT)正在改变人类的认知与工作模式,推动经济从“知识经济”转向“分配经济”。未来,人类的角色将从具体执行者转变为资源分配与管理者,对技能的要求也将发生根本转变。

1. AI正成为低层级思考的抽象层

  • 作者通过使用ChatGPT发现,许多原本被归类为“智能”的任务(如总结代码、邮件、文章)本质上都是对现有知识的总结与整合
  • AI可以高效完成这类低层级认知工作,使人类得以将这类任务“外包”给AI。
  • 人类智能的定位因此转变为:指导、编辑和评估AI生成的总结,而非亲自执行。

2. 从知识经济到分配经济的转变

  • 知识经济(约1970年代至今):价值来源于个人掌握知识并在具体场景中应用知识的能力。
  • 分配经济的兴起:当AI能快速、高效地处理知识总结任务时,人类的价值将不再取决于“知道什么”,而在于如何分配、管理和验证由AI等资源完成的工作
  • 这种转变意味着,工作模式将从**“执行者”** 转向**“管理者”**——从亲手做事转向决定做什么、如何做、做得是否合格。

3. 人人皆需成为“资源管理者”

  • 目前,仅约12%的美国劳动力(约100万人)从事管理工作,他们需要具备评估人才、项目管理和质量控制等技能。
  • 在分配经济中,几乎所有员工都需要具备类似管理者的能力:
    • 使用并分配任务给AI模型(成为“模型管理者”)。
    • 评估AI输出的质量,进行编辑与修正。
    • 规划任务、估算时间与资源。
  • 即便是初级员工,也将从单纯的任务执行者转变为AI资源的协调者与监督者

总结:AI正在接管知识总结等基础认知工作,推动经济模式转型。未来,人类的核心能力将不再是积累和运用知识,而是如何有效地分配、管理并优化AI及其他资源的产出,实现从“动手做”到“动脑管”的根本转变。

33. Shots: Create Mockups (shots.so)

Shots:快速创建样机图的设计工具

核心功能概述

  • 免费样机库:提供一键可用的免费样机资源库,持续更新。
  • 动态样机与视频缩放:支持将静态设计转为动态样机,内置流畅的视频缩放和动画预设。
  • iPhone样机展示:包含最新iPhone 17等样机模板,适用于产品展示、应用预览等场景。
  • 一体化样机应用:集创建、编辑、分享于一体,支持网站、iPhone及动画样机的全流程操作。

视频与动画功能

  • 高质量视频生成:可快速生成达到After Effects水准的视频内容。
  • 视频缩放与动画:通过缩放效果和动画预设,提升内容生动性。
  • 视差效果:为设计添加深度层次感。
  • 动画预设库:提供多样化的动画预设,轻松为设计注入活力。

样机与布局

  • 预制布局:提供多种定制化布局,快速调整样机外观。
  • 全类型样机覆盖:包含iPhone、安卓手机、iPad、桌面设备等多种设备的完整样机集合。
  • 简易编辑工具:通过直观选项快速自定义样机样式。

样式与特效

  • 魔术背景:自动匹配背景,提供多样化选择;视频样机支持动态背景。
  • 3D形状与阴影叠加:一键增强设计立体感。
  • 滤镜与特效:支持噪点、VHS、故障效果等电影级视觉风格。

导出与分享

  • 自定义水印:可直接添加品牌Logo或水印。
  • 多平台导出:支持像素级完美导出,并预置社交媒体尺寸模板。
  • 可分享链接:生成自定义尺寸的分享链接。
34. On Leibniz Notation (math.stackexchange.com)
本文标题为“On Leibniz Notation”(论莱布尼茨记号),但所提供的实际内容并非关于微积分记号(如dy/dx)的学术讨论。

内容是一个网站安全验证页面,属于Cloudflare的挑战系统。其主要元素包括:
*   **页面标题与目的**:标题为“Just a moment...”(请稍候...),这是一个典型的用于验证访问者是否为人类的中间页面。
*   **技术结构**:页面代码包含HTML、CSS样式表以及一个核心的JavaScript脚本。该脚本用于执行客户端安全挑战。
*   **安全策略**:通过内容安全策略(Content-Security-Policy)严格限制页面资源的加载来源,仅允许来自`challenges.cloudflare.com`等特定域名的脚本和资源。
*   **用户提示**:页面主要提示用户需要“Enable JavaScript and cookies to continue”(启用JavaScript和Cookie以继续),并提供了相关的错误信息样式。
*   **验证机制**:脚本中包含大量配置参数和哈希值,用于与Cloudflare的安全平台进行通信和验证,以防止自动化工具或恶意请求。

总之,该内容是一个网络防护层,旨在确保访问者是真实用户而非机器人,与文章标题“论莱布尼茨记号”所指向的数学主题无直接关联。
35. Show HN: Voxos.ai – An Open-Source Desktop Voice Assistant (gitlab.com)

由于提供的内容是 Cloudflare 的安全验证页面,而非关于 Voxos.ai 的实际文章或技术文档,因此无法提取与该语音助手项目相关的任何有效信息,如功能、技术栈或用途。

要获取该项目的准确信息,需要访问其有效的项目页面或官方文档。

36. Roadmap for the Xilem back end in 2024 (linebender.org)

Xilem后端2024年路线图

项目背景与目标

Xilem是Rust GUI框架的研究与开发项目,旨在探索如何使UI开发与Rust语言兼容。当前项目处于"永久实验"状态,自2022年5月起未取得足够进展,同时前身项目Druid已被搁置。作者Olivier Faure获得Google Fonts资助,目标是在2024年底前使Xilem具备与Iced、SlintUI同等的推荐级别,并计划实现无缝热重载功能。短期内将专注于基础功能、组件和样式选项,中期将关注性能优化。

当前问题

Xilem的原生后端存在代码质量不佳的问题,包括注释掉的代码、过时文档和待办事项。Rust GUI生态系统面临"过度打磨"问题——开发者往往专注于底层技术而忽视终端用户需求,导致用户体验不足且文档缺乏。

主要改进计划

切换到Masonry后端

Masonry是从Druid分叉而来的GUI框架,代码质量优于Xilem当前原生后端。计划将其整合为Xilem后端,需进行以下改造:

  • 使用Vello和Parley替代Piet
  • 使用Glazier替代druid-shell
  • 集成AccessKit以支持无障碍功能
  • 移除对GTK的依赖

避免过度自定义Widget

鼓励开发者使用组合式声明UI元素而非创建自定义Widget,类似于Web开发中的DOM元素组合方式。提供逃生舱机制(如固定大小的画布表面),但设计框架时应假设用户几乎不需要这些机制。

更明确的布局方案

减少布局算法的自定义点,整合主流布局算法(CSS Flow、FlexBox、CSS Grid、Morphorm)。计划深度集成Taffy布局引擎,通过受Web启发的Widget间协议实现布局,而非硬编码布局算法集。

消除Box

由于Widget集合相对固定,可以避免使用Box,这将带来性能优势:

  • 允许向Widget trait添加更多方法而不增加vtable大小
  • 使方法内联成为可能,改善开发体验

探索ECS模式

考虑采用实体组件系统,主要利用:

  • Slotmap数据结构存储Widget
  • 高效添加/移除实体组件的能力 使Widget由库而非用户代码拥有,便于序列化、调试和事件处理。

未来讨论主题

  • 声明式样式:为Widget提供类似CSS属性的特性,包括动画、伪类、媒体查询和容器查询
  • 合成阶段:在GPU处理后增加合成阶段,优化滚动和简单动画的性能与电池寿命
  • 资源加载:借鉴游戏引擎,实现纹理、着色器、字体等资源的自动加载管理

社区参与

所有计划均未最终确定,将通过RFC流程与社区讨论。已创建RFC仓库,每个改进方向将有专门RFC文档。最终决策将基于社区共识,而非单方面决定。

生态系统关系

项目关注Winit、Bevy和Servo的协作可能,注意到Vello、Parley、wgpu、Taffy等项目间的合作日益紧密。作者对Rust GUI框架的前景表示乐观,认为Rust有能力构建一流GUI框架。

37. TampaDevs – Tampa Bay's Developer Community (github.com)

Tampa Devs是坦帕湾地区增长最快的非营利软件开发社区,致力于打破科技行业的壁垒。社区每月免费为不同背景和经验水平的人士举办研讨会,并创造教育和职业发展机会。

社区通过与当地大学、非营利科技机构和创业孵化器的合作,为本地开发者、学生、技术人员和创业者提供学习、成长和成功的平台。其资金来自财务支持者,代码仓库也有贡献者参与。

社区通过Meetup.com、Instagram、Twitter、LinkedIn和电子邮件通讯等社交平台进行互动,并在YouTube和Twitch上提供活动视频和直播。本地科技新闻可通过news.tampa.dev获取。

活动信息可在主页和Meetup上查看,社区还运营Slack群组供成员交流。合作伙伴信息可访问tampa.dev

社区的招聘板为开发者提供免费服务,允许个人资料被招聘者和当地企业发现。该平台具有非营利性、完全开源的特点,收入用于支持教育和社区项目,并将1%的收入捐赠给气候倡议。

社区商品可在store.tampa.dev购买,以支持Tampa Devs运营。

38. Firms churning out fake papers have taken to bribing journal editors (www.science.org)

由于提供的文章内容是访问网站时遇到的Cloudflare安全验证页面,并非文章原文,因此无法获取文章实际内容来生成摘要。

41. You don't need to document everything (www.freyaindia.co.uk)

现象概述 人们过度记录生活,从日常琐事到深层个人时刻,如健康危机、心理崩溃等,往往忘记体验当下。网红是极端例子,特别是情侣和父母记录关系和孩子的生活,常涉及不真诚、商业化和侵犯隐私。

具体表现

  • 情侣记录关系:设置摄像机录制浪漫时刻,如怀孕揭示、求婚等,追求在线关注。
  • 父母记录孩子:分享每个里程碑、情绪,甚至让孩子面对陌生评论,如强迫孩子为镜头哭泣。
  • Z一代压力:认为如果不上网分享,事件就没发生;如男友不发照片可能被视为不忠。

负面影响

  • 心理健康:近70%的Z一代感到社交媒体导致压力、焦虑和抑郁。
  • 真实性丧失:记录者常牺牲隐私和人类尊严,如用环形灯在医院直播分娩,将父亲葬礼变成拍照活动。
  • 后果:完美网红在镜头后崩溃,关系破裂,自我认同混乱。

作者观点

  • 记录行为不真诚:往往为注意力而非记忆;与90年代摄像机不同,现代记录与自我价值挂钩。
  • 陌生人不关心:观众快速浏览内容,真正关心你的人不需要表演。
  • 有意义的生活安静:自信和爱不需要公开证明;不常发帖的人可能更健康。

呼吁

  • 不要记录一切:放下相机,保护个人生活,享受当下而不寻求外部验证。
  • 成为例外:在时刻中沉浸,保护隐私,让记忆通过怀旧而非数字记录保留。
  • 享受烟火:专注于体验,而非拍摄。
42. First AI medical device that detects major skin cancers received FDA approval (digialps.com)

DermaSensor: 首款获FDA批准的AI皮肤癌检测设备

  • 产品与批准: DermaSensor是美国食品药品监督管理局于2024年1月17日批准的首款AI医疗设备,用于检测三种最常见的皮肤癌:黑色素瘤、基底细胞癌和鳞状细胞癌。该设备采用非侵入性的弹性散射光谱技术,在细胞层面分析可疑病变,并实时提供癌症风险评估。
  • 工作原理与效能: 设备通过尖端接触皮肤并发射不同波长的光线,集成的AI模型分析光相互作用模式来识别癌症特征。在基于梅奥诊所主导、超过1000名患者参与的临床试验中,该设备检测皮肤癌的灵敏度高达96%,良性病变特异性为97%,并能有效帮助医生将皮肤癌漏诊率从18%降至9%。其性能在不同肤色(菲茨帕特里克皮肤分型I-VI型)人群中均表现稳定。
  • 优势与影响: 该设备能辅助非皮肤科医生(如初级保健医生)进行筛查,扩大筛查可及性,增强其诊断信心,并有望通过早期检测降低死亡率。对患者而言,它提供了一种更快、侵入性更小的筛查方法。FDA指出,该设备需与临床评估的其他信息结合使用,不应作为唯一的诊断标准,且批准后需进行进一步的上市后验证。
  • 未来展望: DermaSensor被视为AI融入临床决策的里程碑,其技术未来可能扩展用于糖尿病足溃疡筛查或伤口愈合监测,并可能为皮肤健康监测设立新的护理标准。

Verizon与AST SpaceMobile将从太空推出蜂窝服务

  • 合作与时间: 美国电信巨头Verizon与卫星公司AST SpaceMobile达成协议,计划于明年开始提供直接从太空接入的蜂窝服务,旨在覆盖美国境内地面网络难以到达的区域。
  • 技术整合: 合作的核心是利用Verizon的850 MHz优质低频段频谱,该频谱非常适合广域覆盖和穿透。AST SpaceMobile的卫星网络将整合此频谱及其自身的L波段和S波段频谱,其系统设计可处理合作伙伴高达1150 MHz的低/中频段频谱。
  • 市场与领导层反应: 协议公布后,AST SpaceMobile股价在盘前交易中飙升逾10%。此交易发生在Verizon任命前PayPal首席执行官Dan Schulman为新任CEO两天后,表明在新领导层下,此项太空服务扩展是一项关键战略重点。
  • 目标与愿景: 该合作旨在实现真正的无处不在的连接,弥合数字鸿沟。Verizon高管表示,将其庞大的地面网络与创新的太空技术相结合,为实现无论地理位置如何都能连接一切奠定了基础。

华为开源SINQ技术:1600美元显卡可运行30000美元AI模型

  • 技术发布: 华为苏黎世计算系统实验室于2025年10月3日发布了一种名为SINQ的开源量化方法,旨在解决大型语言模型的巨大内存需求问题,使高级AI的部署更加民主化。
  • 核心效能: SINQ技术能将LLM的内存使用量减少60%-70%。这意味着原本需要超过60GB内存的模型,现在可以在仅约20GB内存的设备上高效运行,例如一块Nvidia GeForce RTX 4090消费级显卡(售价约1600美元),而无需昂贵的企业级GPU(如A100或H100,价格达数万美元)。
  • 经济影响: 此项技术大幅降低了硬件门槛和运营成本。在云服务方面,使用配备RTX 4090的24GB GPU实例的每小时成本(约1.00-1.50美元)远低于使用A100的实例(约3.00-4.50美元),可为长期推理工作负载节省大量开支。
  • 技术细节与许可: SINQ是一种无需校准的快速量化方法,通过降低模型权重的精度(如转换为8位整数)来减少内存占用,同时力求保持输出质量。该技术代码已在GitHub和Hugging Face上公开,并采用宽松的Apache 2.0许可证发布,允许商业使用和修改。
43. Why strive? Stephen Fry reads Nick Cave's letter on the threat of AI [video] (aeon.co)

本文内容显示了一个Vercel安全检查点,具体信息为:“Vercel Security checkpoint | sfo1::1780033393-ipIdXHkhwFnpLqs2OclM12jLW3aW35e5”。这是一个技术性条目,涉及网站安全验证过程。

目的:该安全检查点旨在验证用户访问权限,防止未授权或恶意请求访问受保护的网站内容,确保系统安全和数据完整性。

结构:内容以文本形式呈现,包括“Vercel Security checkpoint”标签和一串标识符(sfo1::1780033393-ipIdXHkhwFnpLqs2OclM12jLW3aW35e5)。标识符可能包含IP地址、时间戳或唯一代码,用于安全跟踪和验证。

关键功能:作为安全机制的一部分,它执行访问控制,可能通过挑战-响应协议来确认用户身份,从而维护网站的安全性,防止网络攻击或未授权访问。

44. Platform issues which disadvantage Firefox compared to first-party browsers (mozilla.github.io)

Firefox在iOS平台面临的不公平限制

核心限制:强制使用WebKit引擎

苹果App Store的规则2.5.6禁止第三方浏览器引擎,要求所有浏览器应用必须使用WebKit框架。这直接阻止了Firefox在iOS上使用其Gecko引擎,同时也影响了macOS等其他苹果平台上的分发。

关键技术限制

  1. 多进程架构支持不足:Safari使用私有的多进程机制,第三方应用无法使用。iOS需要提供公开的机制来创建和管理隔离的子进程,支持进程间通信和共享内存,且进程数量和生命周期应由用户浏览行为决定。
  2. JIT编译支持缺失:现代浏览器需要可写且可执行的内存区域来运行高性能JavaScript/WebAssembly引擎。iOS的mmap系统调用默认禁止此操作,而Safari享有特权。iOS应提供类似macOS的com.apple.security.cs.allow-jit权限。
  3. 无障碍API文档不全且闭源:iOS的无障碍API文档不完整,许多必需API未公开。WebKit使用了闭源的系统包,使第三方浏览器难以完整支持Web无障碍标准。
  4. 与“关联域名”相关的功能受限:密码自动填充、通行密钥、Apple Pay等功能依赖于基于源的“关联域名”机制。非WebKit浏览器需要能够指定其浏览内容的源,但目前只有WebKit浏览器可以覆盖应用的关联域名。

功能与生态限制

  1. 浏览器扩展支持被禁止:Safari的扩展通过App Store分发,但第三方浏览器因App Store规则2.5.2无法使用自己的扩展目录或现有的Web分发模式。
  2. 主屏幕Web应用安装问题:虽然存在API将Web应用添加到主屏幕,但它总是在Safari中打开,造成体验割裂。第三方浏览器引擎应被允许渲染主屏幕Web应用。
  3. 单一二进制分发限制:在欧盟,苹果要求使用自有引擎的浏览器必须分发一个单独的应用,而非在现有应用中更新。这导致了糟糕的用户体验(如用户迁移、旅行时服务中断)和开发维护的复杂化。
  4. 测试与分发限制
    • Beta测试:TestFlight有10,000用户限制且流程复杂,而Safari的测试版随iOS系统发布,无此限制。
    • 开发者测试限制:网页开发者无法在欧盟境外使用替代浏览器引擎进行测试,影响了他们对网站兼容性的验证。

用户体验限制

  1. 数据导入阻碍:历史记录、书签、Cookie等浏览数据无法被第三方浏览器导入,阻碍了用户从Safari迁移到其他浏览器。
  2. 默认浏览器设置不便:iOS不提供API让第三方浏览器以编程方式请求或检测是否为默认浏览器。用户必须手动进入系统设置,且设置中的搜索功能也难以找到相关选项。
  3. 系统功能绕过默认浏览器
    • “搜索网页”等上下文菜单功能总是使用Safari。
    • SFSafariViewController API总是调用Safari版本,而非用户的默认浏览器。
  4. 消息应用集成缺失:Safari首页可显示“信息”应用中收到的链接,但第三方浏览器无权访问“信息”数据,无法提供同等便利功能。
45. HaptX gloves provide high-fidelity touch feedback of virtual spaces (www.freethink.com)

HaptX公司开发了一款高保真触觉手套,旨在通过模拟真实的触觉体验来增强虚拟现实(VR)的沉浸感。当前VR技术主要侧重于视觉和听觉,但HaptX手套通过其独特的“微流体”技术,弥补了触觉反馈的缺失。

该手套的工作原理是:压缩空气经过过滤后,由空气控制器管理。当用户接触虚拟物体时,控制器向手套特定部位的执行器输送气流,按压用户的手掌和指尖,模拟触摸感。同时,手套内置的“肌腱系统”会产生阻力,模拟虚拟物体的形状和大小。在演示中,用户能感受到齿轮的齿纹、猫毛的顺滑与盆栽树木的刺感等精细触觉差异。

该技术目前主要应用于工业、制造业和政府领域,特别是培训场景。例如,它与美国陆军合作训练医疗兵,模拟战场环境中的包扎和注射操作;还可用于培训飞行员、外科医生和技术人员,通过触觉反馈帮助建立肌肉记忆。此外,HaptX正与机器人公司合作,使操作人员通过手套远程感受机器人所接触的物体,实现精准操控。

未来,HaptX计划在即将推出的G1手套中加入振动反馈,以进一步提升纹理分辨力。公司的长远目标是将触觉反馈扩展到全身,通过模拟手臂、上肢乃至整个身体的反馈,实现更全面的虚拟沉浸体验,进一步模糊现实与虚拟的界限。

49. Dumping Firmware for fun and learning [pdf] (github.com)

提供的材料中仅包含文章标题《Dumping Firmware for fun and learning》以及一段与文章内容无关的GitHub平台界面文本。因此,无法基于当前内容生成有效的技术摘要。

如需获取该文章的摘要,请提供文章正文或PDF文档内容。

50. An Ugly Single-Page Website Makes $5k a Month with Affiliate Marketing (medium.com)