台积电（TSMC）宣布将在日本建设第二座芯片工厂，计划于2027年底前投产。该项目使其在日本的总投资额超过200亿美元，并得到日本政府的支持。

台积电于2021年宣布在九州熊本县投资70亿美元建造第一座日本工厂。该厂将于今年2月开幕，第四季度开始量产。新宣布的第二座晶圆厂（fab）将于今年年底动工，旨在满足日益增长的客户需求。

两座工厂建成后，总月产能预计超过10万片12英寸晶圆，主要应用于汽车、工业、消费电子和高性能计算领域。产能规划将根据客户需求进行调整。

在台积电的日本合资公司中，台积电持股86.5%，索尼集团持股6%，汽车零部件制造商电装持股5.5%，丰田汽车持股2%。

此次扩张是日本政府重振其芯片制造中心地位、确保芯片稳定供应努力的核心。台积电在日本顺利建厂的经历以及对当地勤勉工人和良好营商环境的信心，促成了这一决定。此举也有助于应对中美贸易紧张局势下的供应链风险。

虽然台积电及台湾方面表示，公司最先进的产能大部分仍将留在台湾，但为响应客户需求，台积电正在推进全球产能布局。其旗舰海外项目是在美国亚利桑那州投资400亿美元建设两座工厂，并计划在德国建立首个欧洲工厂，主要服务汽车行业。

本文介绍了一个由Dmytry Lavrov开发的相对论飞船飞行可视化项目。

该项目是一个开源工具，用于模拟和可视化飞船以接近光速飞行时产生的相对论效应。文章以飞船以0%光速飞行为例，展示了初始状态下的各项参数：

• 伽马因子 (γ)：为1（表示无相对论效应）。
• 距离：0光年。
• 多普勒因子：屏幕中心和最大值均为1。
• 飞船时间与世界时间：均为0年。

项目包含加速度和亮度的可调参数（当前示例值均为1）。

技术实现上，该项目使用Three.js（一个基于WebGL的JavaScript框架）进行开发，其源代码已在GitHub上开源（地址：https://github.com/Dmytry/space）。

Show HN: Atopile – 用代码设计电路板

Atopile 是一个开源工具链和编程语言，旨在通过代码来描述和设计电子电路，特别是印刷电路板（PCB），以解决传统硬件设计中抽象复用困难、手动操作繁琐的问题。

核心理念与问题背景： 创始人认为，当前硬件设计的过程类似于仅使用汇编语言编写软件，缺乏有效的抽象、复用和自动化工具。受软件工程中自动构建、测试和合并工作流的启发，他们创建了 Atopile，希望将类似的优势引入硬件开发领域。

“ato” 语言与编译器：

• ato 语言：一种专用语言，允许设计者将电路分解为模块、组件和接口，并进行嵌套和连接。示例代码展示了如何导入微控制器、LED、电压调节器和USB连接器模块，并定义它们之间的电气连接。
• 编译器功能：ato 代码可被编译成描述电路连接的网表，并自动为电路选择通用的“果冻豆”元件。工具链开源（Apache 2.0 许可），代码托管在 GitHub。
• 未来规划：计划增加布局复用、元件数值间的数学关系定义，以及类似 Rust 的 trait 来定义电路特性。

适用范围与限制：

• 该工具目前针对中低复杂度的PCB设计。编译器可处理的电路复杂性将逐步提升，以适配生产环境需求。
• 明确不适用于芯片设计，专注于PCB领域。

商业模式与社区：

• 采用开源核心模式，核心工具链开源以促进社区共享和发展。
• 计划通过销售面向企业的功能来盈利，模式类似 GitLab。
• 团队积极寻求社区反馈，希望了解硬件工程师的故事和需求，并探讨未来的开发方向。

Ladybird 浏览器项目概述

项目定位

Ladybird 是一个全新构建的浏览器引擎，非现有引擎的分支。它由 501(c)(3) 非营利组织支持，旨在打造一个真正独立、基于网络标准、无利益冲突的浏览器。项目目前处于积极开发阶段，目标是在 2026 年发布面向 Linux 和 macOS 的首个 Alpha 测试版。

核心特点

• 真正独立：从零开始构建全新引擎，不依赖 Blink、WebKit 或 Gecko 等现有引擎代码。
• 专注浏览器开发：团队核心目标是构建浏览器，无其他业务分散精力。
• 无用户变现：不采用默认搜索协议、加密货币代币或其他用户变现模式。

技术进展（2026年月度更新摘要）

项目持续进行技术迭代，近期更新包括：

• 2026年5月：通过 Cloudflare Turnstile 测试、实现异步滚动、默认启用 Media Source Extensions、WebAssembly JIT、原生内容拦截、HTML 解析器用 Rust 重写、磁盘 JS 字节码缓存、支持 CSS @container/@scope/subgrid 等。
• 2026年4月：集成基于 pdf.js 的内嵌 PDF 查看器、GTK4 前端、浏览历史记录、推测性 HTML 解析、离线线程 JS 编译、异步 DNS、CSS 锚点定位等。
• 2026年3月：手写汇编解释器、离线解析、新正则引擎、Mach 端口 IPC、书签功能、CSS if()/inherit()/@container/@function、样式失效优化等。
• 2026年2月：开始采用 Rust 语言、文本编辑大改、提升 YouTube 和 Reddit 性能、支持 ScrollTimeline、CSS @counter-style、SVG 部分重排等。
• 2026年1月：聚焦真实网站兼容性、改进 Gmail 性能、优化绘画架构、强化 IPC、改进 HTTP 缓存、媒体流处理等。

参与与支持

• 开源参与：代码开源（GitHub: LadybirdBrowser/ladybird），欢迎贡献者克隆、构建并参与开发。
• 社区交流：通过 Discord 社区聊天进行协作。
• 资金支持：项目完全依赖捐赠和赞助，无搜索协议、数据收集或广告。赞助分为铂金、金、银、铜等级别，个人可通过 Donorbox 进行一次性或定期捐赠。

常见问题

• 发布时间：计划于 2026 年发布首个 Alpha 版本，面向开发者和早期采用者。
• 团队规模：拥有小型全职工程团队及大量志愿者贡献者，目前团队规模稳定。
• Windows 支持：社区贡献者正在积极开发 Windows 支持，CI 已能构建和测试 JavaScript 引擎，完整引擎支持将后续跟进。
• 移动端支持：当前专注于桌面版，待桌面版稳定后再投入 Android 和 iOS 开发。
• 独立性保障：赞助均为无限制捐赠，赞助商无权影响技术路线或产品方向。
• 语言选择：项目起源于 SerenityOS（C++ 项目），现正逐步采用 Rust 作为 C++ 后继语言，并通过 AI 加速迁移过程。

Servo项目重启与2024年进展概述

项目背景
Servo是Mozilla于2012年启动的实验性浏览器引擎，采用Rust语言开发，强调内存安全与模块化设计。尽管曾一度被Mozilla搁置，但该项目在2023年重新启动，并于2024年展现出新的活力。

当前进展

• 开发团队与支持：Servo项目现由Linux Foundation Europe支持，Igalia公司的贡献者接管了维护工作，并在2024年FOSDEM大会上展示了最新成果。
• 技术演示：在2023年Open Source Summit Europe上，团队展示了WebGL支持、跨平台兼容性（包括Android和Linux移动端）以及嵌入式设备应用（如树莓派）。初步测试显示，Servo在树莓派上可能比Chromium性能更优。
• 新布局引擎：正在开发新的布局引擎，以增强功能与兼容性，部分组件仍被Firefox浏览器沿用。
• 2024年路线图：
  1. 项目维护与推广：包括常规维护任务和社区管理。
  2. CSS支持实现：为Servo布局引擎添加基础CSS功能。
  3. 嵌入式API定义：与Tauri合作完成Servo网页视图API的定义，并实现新需求。
  4. 初始Android支持：使Servo能在新版Android上构建，未来计划发布夜间构建版APK。

未来展望
Servo作为独立开源项目，致力于提供多样化的浏览器引擎选择，有望与Blink（Chromium使用）和Gecko（Firefox使用）形成竞争。其模块化设计和Rust语言的安全性可能为嵌入式设备和跨平台应用带来新机遇。

OKR框架批评性分析

文章概述

本文标题为“OKRs Are Bullshit”，旨在批评科技行业广泛采用的OKR（目标与关键结果）框架，认为其在实际应用中存在根本性问题，并非有效的目标设定和规划方法。作者通过分析OKR的背景、结构和实践问题，指出框架的不足。

OKR的起源与核心概念

• 历史背景：OKR由Andrew Grove在1970年代于英特尔提出，后由谷歌在2000年代初推广，成为行业标准。谷歌虽未发明OKR，但使其普及。
• 基本框架：OKR是一种目标设定和进展衡量方法。“目标”（Objective）表示想要达成的愿景，“关键结果”（Key Results）是衡量目标达成的具体、可量化指标。
• 层级结构：OKR通常级联式实施，从公司层面到个人层面，每个层级设定1-3个目标，每个目标对应1-3个关键结果。
• 指导原则：
  • 目标应具挑战性，仅完成70%被视为成功，以鼓励雄心。
  • 避免二元关键结果（如“完成或未完成”）。
  • OKR不涵盖日常维护工作，仅聚焦于战略性目标。

作者的主要批评点

1. 70%完成率原则的问题：

   • 许多实际工作需要100%完成才有价值，例如系统迁移只完成70%会导致长期维护双重系统的负担。
   • 该原则可能激励错误行为，而非实际成果。

2. 测量困难：

   • 为避免二元结果，团队常发明额外指标，但这会增加工具开发和数据收集的冗余工作。
   • 指标可能与实际工作无关，例如用户满意度受系统设计影响更大，而非迁移本身。
   • 某些指标难以解释，如以零故障为目标时，分母为零导致无法计算完成百分比。

3. 数据驱动的误区：

   • 过度强调“数据驱动”可能忽略无法量化的重要工作，如研究或实验。
   • 作者建议转向“好论证驱动”，注重逻辑和情境而非纯数据。

4. 级联结构的僵化性：

   • OKR鼓励瀑布式开发，要求初期详细规划，缺乏应对变化的灵活性。
   • 在季度或年度周期中，新信息可能导致目标过时，但绩效评估时仍基于原始目标，造成失败感。

5. 实践中的脱节：

   • OKR常被简化为使用电子表格、JIRA史诗等工具进行跟踪，偏离其原始的激励目的。
   • 框架被误用于季度规划，导致规划过程冗长且易受干扰。

结论与建议

作者承认目标设定和规划的重要性，但认为OKR框架在实践中失效。他建议：

• 避免将OKR与僵化的规划流程绑定，应采用更灵活、适应变化的规划方法。
• 减少对量化指标的依赖，注重工作的实际价值和情境合理性。
• 区分目标设定（应具雄心和激励性）与日常规划（需灵活管理）。

通过研究加勒比海长寿海绵的古气候记录，科学家发现海表温度（SST）自1860年左右就开始响应工业时代的化石燃料燃烧而上升，比仪器记录时代早约80年，也早于政府间气候变化专门委员会（IPCC）采用的全球变暖起始日期。基于这些新记录，研究认为当前海洋温度可能比前工业时期高约1.7°C。

研究使用的硬化海绵生长极其缓慢，其骨骼像树轮一样记录了环境变化，为追溯至前工业时期的温度提供了关键替代指标。研究人员通过铀钍定年建立海绵生长时间线，并测量其中锶钙比作为温度代理，校准后发现自1700年至1860年初温度相对稳定，之后开始持续上升。

主要发现与意义：

• 海绵记录表明人类活动导致的变暖始于1860年左右，比IPCC采用的1850-1900年基准期早约80年。
• 若以此新基准计算，当前全球变暖幅度可能已达1.7°C，比IPCC估算值高约0.5°C，意味着世界可能在2030年前突破2°C升温门槛。
• 这对《巴黎协定》将升温控制在1.5°C以下的目标构成挑战，凸显了立即采取深度减排行动的紧迫性。

科学讨论与不确定性：

• 该研究被认为是创新性的，但部分科学家指出海绵记录在追溯如19世纪火山冷却期等事件时可能存在不确定性，且加勒比海温度对全球平均海表温度的代表性需要更详细论证。
• 有观点认为早期变暖可能部分源于小冰期后的自然恢复，但研究强调人类排放仍是主导因素。
• 尽管海绵记录的变暖速率与仪器记录大体一致，但存在一些差异，需进一步校正历史仪器数据以协调。

研究呼吁IPCC及气候模型考虑采用更早的前工业时期基准。无论是否采纳新基准，研究结果都表明人类在应对气候变化方面已落后于形势，急需加强全球减缓行动。

达特茅斯学院关于标准化考试成绩在本科招生中作用的报告摘要

核心结论

达特茅斯学院的研究工作组发现，SAT和ACT考试成绩是招生办识别能够在达特茅斯取得学术成功的申请者的关键工具。这些成绩尤其有助于识别那些来自弱势背景但学业优异的申请者，以及那些来自招生办信息不足的高中的优秀学生。报告指出，在考试可选政策下，许多这类高成就的弱势申请者选择不提交成绩，而这实际上阻碍了招生办对他们的识别，反而可能损害其申请机会。

主要发现

1. SAT成绩是学术表现的强预测指标：分析2017-2022年的招生和学生数据表明，SAT成绩与达特茅斯学生第一年的累积GPA存在高度线性相关关系。SAT成绩本身能解释约22%的第一年GPA变化，其预测力显著高于高中GPA（仅解释9%）。结合使用时，SAT成绩的边际贡献也远大于高中GPA。

2. 预测力适用于所有学生群体：SAT成绩对达特茅斯各子群体学生第一年GPA的预测效力相似。无论是来自更优势还是更弱势背景的学生，SAT成绩与GPA之间的正向关系都是一致的。数据显示，在给定的SAT分数下，来自更弱势背景的学生平均GPA略低，这与SAT成绩对弱势群体存在向下偏见的假设相悖。

3. 考试可选政策构成识别障碍：数据表明，考试可选政策可能成为达特茅斯识别高成就弱势学生的障碍，原因有三：

   • 招生办被迫更依赖其他可能对高收入学生有利、且预测力较弱的因素（如顾问推荐信）。
   • 对于来自招生办信息有限的高中的学生（常为低收入或国际生），缺少标准化考试成绩使得评估其学业潜力更加困难。
   • 在考试可选政策下，一些弱势学生即使提交成绩能显著提升其录取概率（例如，来自学校平均分较低社区的1400分申请者），也选择不提交。达特茅斯招生办会结合学生的高中和社区背景来评估分数（即“contextual reading”），但申请者往往不了解这一点，导致他们误以为自己的分数“不够高”而选择隐藏。数据显示，这类隐藏的分数申请者中存在大量高成就的弱势学生。

4. 政策未提升弱势学生申请比例：比较实施考试可选政策前后申请者的社区收入分布和第一代大学生比例，发现分布基本相似。这表明考试可选政策并未显著改变申请者池的多样性构成。

数据支持

报告基于详细的达特茅斯申请者和学生微观数据，并引用了多项学术研究（如Chetty等人2023年研究、Comeaux和Sánchez的2020年报告等）来支持其结论。多个图表（例如，显示不同背景学生提交分数倾向与录取概率差异的图表）直观地展示了考试可选政策如何导致高成就弱势学生隐藏其有利分数。

最终建议

工作组总结认为，在招生过程中使用标准化考试成绩具有重要价值。它们能显著提升预测学生学业成功的能力，并有助于招生办更公平地识别来自弱势背景的高潜力申请者。数据特别表明，考试可选政策导致大量弱势申请者在本可受益的情况下不提交成绩。

文章标题为“Explore interesting places nearby listed on Wikipedia”，内容提示用户正在加载地图，并建议旋转设备以获得最佳用户体验。这表明该功能旨在帮助用户探索维基百科上列出的附近有趣地点，界面强调了在纵向模式下使用以优化体验。

文章标题：Web货币化API发生了什么？

背景与初期推动

• 创作者最初看好Web货币化API，认为其具备成功潜力。主要推动者是初创公司Coil。
• Coil在2018年启动，将Interledger（跨账本）技术从概念变为现实，并培育了相关生态系统。目前该技术已移交中立的Interledger基金会负责后续发展。
• 作者对Interledger的当前状态了解有限，仅知晓近期有相关峰会举办。

核心愿景与用例

• 引用Sara的观点：核心需求是实现“点击一个按钮即可向网站运营者付费”的体验，强调需集成到浏览器和网页标准中，确保流畅、快速、匿名的微支付。
• 理想用例包括：支付1美元后即时解锁网站功能（如去除广告、提供更多下载内容、开放课程等），且操作应比信用卡支付更便捷。
• 作者特别推崇移除广告这一用例，并指出技术关键：必须快速判断用户是否已支付足够金额，以避免在广告加载决策上出现延迟（影响收入），或因事后隐藏广告导致追踪器已泄露数据。

技术现状与展望

• Web货币化API本身被视为可胜任该任务，文章展示了其HTML代码示例，表明开发者可通过<link rel="monetization">标签及简单脚本实现集成。
• 作者原不确定该API是否仍有发展前景，但根据更新：
  • 目前Interledger基金会开发者关系负责人（PPK）正在重新推动该技术。
  • 新进展：API将连接由Fynbos提供的在线钱包，该钱包绑定银行账户和信用卡（而非加密货币），这被视为正确方向，因为加密货币领域存在过多欺诈和犯罪问题，与主流支付脱钩更合理。

总结

Web货币化API致力于通过网页标准实现便捷的微支付，虽初期推动者Coil失败，但技术已移交至Interledger基金会。当前该API可能因连接传统金融体系的钱包而重新获得发展动力，核心愿景仍是让用户轻松、快速、匿名地向网站付费，以解锁功能或移除广告。

文章标题：Weaveworks公司关闭公告

Weaveworks公司已正式宣布将停止商业运营并关闭。

关闭原因与商业状况：

• 尽管公司2023年营收达到千万美元级别（＞1000万美元），且新客户数量翻倍以上，但销售增长并不稳定，导致现金流状况波动。
• 公司寻求长期增长所需的合作伙伴或投资者，但最终一项与一家大型公司非常有前景的并购交易在最后一刻破裂。
• 由于上述情况，公司决定关闭。客户和合作伙伴的后续事宜将与即将公布的财务受托人对接。

对团队与历程的肯定：

• 创始人Alexis Richardson向团队致歉并致敬，称赞团队是“特别的群体”，在容器技术早期发展、Kubernetes首次在Azure上运行、CNCF创立、GitOps为企业客户服务等历程中付出了巨大努力，并为此感到自豪。

开源项目的未来：

• 公司的开源软件（如CNCF Flux）将继续存在并被广泛使用。
• 创始人正与多个大型组织合作，以确保CNCF Flux项目处于最健康的状态，后续会有更多信息公布。

邀请与结语：

• Richardson邀请对此有疑问或希望提供帮助的人与他联系。
• 公告以诗句结尾，表达了对这段探索历程的纪念。

FutureMe 平台旨在帮助用户给未来的自己撰写信件，其核心价值主要体现在以下几个方面：

• 重温记忆：通过书信，在未来的某个时刻以生动细节回味过往。
• 见证成长：回顾并肯定自己取得的进步与成就。
• 设定目标：为未来确立清晰的努力方向。
• 整理思绪：清空杂念，为心灵腾出空间。

为了激发灵感，平台允许用户阅读公开的信件，有时甚至能了解写信人后续的经历。

文章中展示了其中一个公开信件的示例：一封写于2026年5月14日、寄给“FutureMe”的信，其设定的投递时间约为21天后（2026年5月27日），信件内容非常简短（仅2个词）。该信件获得了0次点赞和0条评论。

# glibc qsort() 越界读写漏洞摘要

## 漏洞概述
在 glibc 的 `qsort()` 函数中发现内存损坏漏洞，源于缺少边界检查。该漏洞仅在程序使用非传递性比较函数（如 `return (a - b);`）调用 `qsort()` 并且元素数量较大（导致内部 `malloc()` 失败）时触发。受影响版本包括所有 glibc 版本（从 1992 年 9 月的 glibc 1.04 到 2024 年的 glibc 2.38）。glibc 开发者已在 master 分支（commit b9390ba）中独立修复此问题。

## glibc 团队立场
glibc 安全团队认为，该内存损坏是由于应用程序传递非传递性比较函数引起的，根据 POSIX 和 ISO C 标准，这是未定义行为。因此，任何 CVE 应分配给调用应用程序而非 glibc。但他们承认这是实现质量问题，并在最近的 `qsort()` 重构中修复。

## 技术细节
- **非传递性比较函数**：常见于使用减法（如 `return (a - b);`）时，整数溢出可能导致非传递性行为（例如，`a < b`、`b < c` 但 `a >= c`）。
- **根本原因**：glibc 的 `qsort()` 默认使用归并排序（`stdlib/msort.c`），但当数组过大或 `malloc()` 失败时，回退到快速排序（`stdlib/qsort.c`）。快速排序的插入排序阶段在比较非传递性函数时，指针 `tmp_ptr` 可能递减到数组边界之外，导致越界读写。
- **实验验证**：作者编写测试程序，使用非传递性比较函数（返回 `a - b`）并设置边界哨兵元素。通过限制内存（如使用 `prlimit` 设置低 `RLIMIT_AS`）强制 `malloc()` 失败，成功触发越界写，覆盖了哨兵元素。

## 修复与影响
- **修补**：在插入排序的 `cmp()` 调用前添加边界检查（`tmp_ptr > base_ptr &&`）。glibc master 分支已包含此修复（commit b9390ba），并重构 `qsort()` 为 introsort（结合快速排序、堆排序和插入排序），但后续又回退到归并排序加堆排序回退。
- **现实风险**：虽然作者未找到实际漏洞程序，但类似程序可能存在（调用 `qsort()` 且使用非传递性比较函数）。强制 `malloc()` 失败在本地可通过低 RLIMIT_AS 实现，远程则需通过内存耗尽等方法。

## 时间线
- 2023-12-12：发送漏洞草案给 glibc 安全团队。
- 2023-12-19：glibc 团队决定不将此视为 glibc 漏洞。
- 2024-01-16：作者提供补丁给 linux-distros。
- 2024-01-30：协调发布日期。

摘要：使用超高能中微子束摧毁核弹

本文探讨了利用超高能中微子束（约1000 TeV）探测并摧毁地球上任何核弹的可能性。其核心思想是，中微子束可穿透地球，在距离潜在核弹仅几米处发生相互作用，产生强子簇射，进而引发核弹材料中的裂变反应，通过加热导致核弹熔化或提前引爆。

基本原理与技术可行性

1. 能量选择：选择约1000 TeV的中微子能量，是因为在此能量下，中微子的平均自由程与地球直径（约10^7米）相当，从而确保束流能有效穿透地球并在目标附近发生交互。
2. 技术挑战：该方案纯属“未来主义”。产生如此高能量中微子束，需要周长达1000公里、磁场强度约10特斯拉的加速器，这远超当前技术水平（需将磁场强度提高近一个数量级）。其建造成本可能超过1000亿美元，运行所需功率可能超过50 GW（超过英国总发电量），任何单一国家都难以承担。作者认为，此类装置或需在“世界政府”框架下由全球合作建造和运营。

效果评估与模拟验证

1. 预期效果：
   • 当核弹装有炸药时：中微子引发的裂变可加热系统，若达到炸药引爆温度（如TNT的300°C），可能引发“微弱爆炸”，威力约为完整爆炸的3%。
   • 当核弹为分离的钚球时：作用时间更长，可导致钚材料熔化或气化。
   • 所需时间：在假设束流强度为10^14/秒的情况下，引发爆炸约需100秒，熔化则需约1000秒。
2. 计算机模拟：作者使用蒙特卡洛模拟（如MCNPX代码）进行了验证。模拟显示，需要约2.6×10^14个中子入射到钚核心，才能使其温度升高约250K以点燃TNT，这与粗略估算结果一致。

潜在应用与发展路线

1. 探测用途：能量和强度要求更低的中微子束可用于探测核弹，例如通过探测裂变产物。
2. 其他应用：高能中微子束亦可用于研究地球内部结构。
3. 发展路线：作者提出了一个分四步走的长期愿景：
   • 步骤一：建设较低能量的中微子工厂，研究中微子基本性质。
   • 步骤二：建设多TeV量级的μ子对撞机。
   • 步骤三与四：攻克关键技术（如超强磁场），最终实现可操控的1000 TeV μ子对撞机。作者强调，前两步技术可行且具有重大的基础科学价值。

结论

尽管该想法在技术上极具挑战性，但原理上可行。它旨在通过一种非传统方式消除核威胁，但其发展与实现依赖于未来革命性的技术突破和全球性的合作努力。

## 内容摘要

该文档提供的实际内容与文章标题所述事件无关。

**核心内容：**
文档正文仅为一段网站通用的错误提示信息。提示用户网站出现故障，可能与隐私相关浏览器扩展有关，并建议用户禁用相关扩展后重试（针对 `x.com` 网站）。

**结论：**
所给定的文档内容不包含任何关于“GitHub 联合创始人兼前CEO Chris Wanstrath 在 GitHub 上被封禁”的信息、细节或背景。正文内容是一段独立的网站功能提示，与标题所描述的新闻事件完全不符。

这篇内容主要探讨了作者在阅读苹果Vision Pro（AVP）评测时，联想到威廉·吉布森1993年小说《虚拟之光》中对未来增强现实（AR）设备的描绘，并从中提炼出对当前技术发展的启示。

核心观点： 作者认为，当前的苹果Vision Pro因价格和形态限制，难以成为大众畅销产品，但他本人坚信增强现实（AR）的潜力（尽管目前的AVP更偏向虚拟现实）。在回顾吉布森小说时，他发现其中对AR眼镜的设想，对未来技术发展仍有重要参考价值。

小说《虚拟之光》中的AR设备描绘：

• 外观与形态：设备被描述为一副重量超出预期、外观精致（如黑色、厚重框架）的太阳镜，但佩戴后可在现实世界中透明使用。
• 功能与体验：它能直接在用户的视觉神经上生成信息，例如在现实物体旁显示标签（如植物名称）、叠加数据（如犯罪现场的法医信息）或呈现虚拟图像（如城市建筑增强视图）。设备昂贵，但属于专业领域工具。
• 交互特点：信息输入方式未被完全解决，但其核心价值在于“增强”现实——通过文本、图像或数据标签来丰富用户对真实环境的感知。

从吉布森的预见中得到的启示：

1. 设备仍存在重量与成本问题，但已足够轻便，可全天候在现实世界佩戴。
2. 外观设计注重酷炫感。
3. 使用时应保持透明，不遮挡现实视野。
4. 可用于信息共享，替代手机或平板电脑。
5. 信息输入方式仍是待解决难题。
6. 最关键的是：AR的核心价值在于“增强现实”，而非创造独立虚拟空间。例如，在夜晚公园看到火焰蛇环绕树木、在商店中看到指向商品的发光气球，或维修机器时出现浮动标签说明。

对当前技术的评价： 作者认为，苹果Vision Pro所采用的技术是走向这一“1993年愿景”的必要但不充分的一步。他强调，真正的未来应聚焦于增强现实体验——通过技术叠加数字信息来丰富现实世界，而非沉浸在私人的虚拟巨幕娱乐中。

文章总结

本文以“凝视艺术的十三种方式”为题，系统探讨了艺术存在的多重目的与意义，涵盖美学、真理、社会、个人等维度。以下是核心观点的梳理：

1. 为美与超验：艺术源于对自然美的震撼，试图重现、延续那些转瞬即逝的美（如花卉、日落）。它回应了人类对美无法抑制的渴求，这种渴求可能源于进化中性吸引力的过度延伸。
2. 为真与洞察：艺术揭示人性，尤其是善恶交织的复杂真相。艺术家通过自我观察，坦白人性中常人难以直面的秘密，编纂人类经验的“无尽地图集”。
3. 为正义服务（间接性）：艺术可能助力社会正义，但仅是通过提供对世界的认知。政治需以理解为前提，故艺术先于政治，真理先于正义。
4. 为教化与公共益处：机构常宣扬艺术能“教育”、“启迪”民众，作为社会的精神补剂。但作者批评这种说法过于功利和温吞，类似王尔德所讽刺的。
5. 为个人生成：艺术有助于个体（尤其在教育环境中）发展成更深刻、自由、独立的自我，成为有自主思想的个体，而非适应群体。
6. 为部落构成：艺术能跨越既有群体，创造新的共同体，如粉丝文化，为互联网时代的个体提供归属。
7. 为个体连接：艺术超越政治与身份网格，连接独立个体，表达普遍的人类经验（如对离婚、中年、遗憾的体悟），不被当下分类所限。
8. 为文化资本：有人视艺术为社会地位信号，但作者强调对某些人而言，艺术是切身的“面包与葡萄酒”，而非仅是符号。
9. 为适应现代性：现代艺术要求观者自行构建理解框架，无传统规范可依，这训练了我们应对现代生活持续认知与道德挑战的能力。
10. 为文明化：艺术与城市生活、商业、差异共处，它调解异质人群的焦虑，但非消除焦虑，而是教人利用焦虑。其文明化功能在于“争议性礼貌”，即自由辩论生活条款，无关权威。
11. 为艺术家自身：创作本身已是回报，尽管社会常常低估艺术家贡献，美国人对待艺术家态度矛盾。
12. 对统一理论的质疑：艺术目的多元甚至矛盾，无需宏大统一理论。为艺术辩护时，我们常扭曲其真正价值以迎合资助者，但这源于现实需求（如支持小众艺术），虽显自私。
13. 为增加生命体验：艺术的核心是“增加生命”——通过专注与强度，让我们更全然临在世界、无所保留地感受。它连接另一世界，如精神之泉，是传统社会与神灵对话的现代形式，赋予存在意义。

结论：艺术的价值无法被单一目的涵盖，但最终根植于拓展生命深度与强度，成为连接人类精神世界的媒介。

Web2pdf 命令行工具摘要

核心功能： Web2pdf 是一个命令行工具，旨在将网页转换为格式精美的 PDF 文件，以供离线阅读。

主要特性：

• 批量转换： 支持一次性将多个网页转换为 PDF。
• 高度自定义： 允许通过自定义 CSS 调整 PDF 的外观，包括字体、背景色等。
• 灵活布局： 支持多栏布局等复杂的 PDF 排版。
• 增强导航： 可自动生成基于 HTML 标题的目录，并添加页码。
• 格式控制： 提供对分页符的控制，以确保 PDF 格式符合预期。

安装与使用：

• 基本安装（适用于 UNIX 系统）：
  1. 克隆仓库：git clone https://github.com/dvcoolarun/web2pdf.git
  2. 进入项目目录，使用 pipenv shell 和 pipenv install 安装依赖。
  3. 运行 python main.py，并在命令行中以逗号分隔的形式提供网页 URL 进行转换。
• Docker 使用方式：
  1. 构建镜像：docker build -t web2pdf .
  2. 运行容器并挂载卷以保存文件：docker run -it -v $(pwd):/app/ web2pdf

项目状态与贡献： 该工具处于早期版本，项目鼓励社区通过提交代码拉取请求、报告问题或建议新功能等方式参与改进。

Meta宣布关闭Facebook Groups API：影响与反应

Meta宣布与时间表
Meta在1月23日发布Facebook Graph API v19.0时宣布，将停止现有的Facebook Groups API。该API主要用于开发者和企业调度Facebook群组中的帖子，将在90天内移除，包括所有相关权限和可审查功能。这一突然决定导致部分企业和社交媒体营销人员陷入混乱。

Meta的解释与新功能
Meta表示，Groups API的一个主要用例是允许开发者在群组中私下回复（例如，企业向在群组中发帖或评论的用户发送私信）。但公司声称，新API v19.0中的其他变化将支持此功能，无需依赖Groups API。然而，开发者认为API关闭将严重影响提供社交媒体帖子调度和自动化服务的公司。

对企业和开发者的影响

• 业务损失：例如，VipeCloud公司（提供社交媒体调度工具）CEO Adam Peterson指出，约8%的收入面临风险，该公司服务约5,000个Facebook账户（主要为女性企业家）。客户依赖API将帖子发布到Facebook页面及私下发布到群组（作为Slack替代品）。
• 行业冲击：一些依赖API的机构合作伙伴可能遭受更大打击，甚至可能倒闭。PostMyParty公司（帮助安排在线派对）表示API关闭将导致公司破产，损失七年努力和超过10,000客户。
• 历史类似事件：开发者指出，Meta数年前曾突然终止Events API，几乎没有通知，几乎摧毁相关业务。

动机与不确定性
开发者质疑Meta关闭API的动机不明确。可能原因是Facebook群组不产生广告收入，但Meta未澄清。公司博客仅提及一个用例将通过新API解决，其他细节模糊，例如群组帖子是否将通过Page Access Token处理。此外，Meta近期还关闭了开发者bug门户，加剧了开发者对平台风险的担忧。

社区反应与未回应

• 企业与专家观点：社区管理者Maurice W. Evans认为这标志着Meta运营哲学的“关键转变”，将给小企业、开发者和数字营销人员带来挑战。网站设计公司Archer Web Design称此消息“毁灭性”，预测企业将“被扔回石器时代”。
• 开发者论坛反馈：在Meta开发者论坛上，开发者表示震惊和沮丧，他们的应用依赖Groups API，关闭后将失效。多人抱怨Meta未回复论坛评论，导致不透明和焦虑。
• 持续发展：截至文章发布，Meta尚未回应开发者疑问，故事仍在发展，预计将更新更多信息。

项目概述

本文档详细介绍了作者设计的一个运行Linux和Ultrix操作系统的微型业务卡项目。该项目基于微控制器（ATSAMD21系列）模拟MIPS R2000/R3000处理器，目标是创建一个实用、易组装且成本低廉的设备，能够在业务卡大小的电路板上启动并运行完整操作系统。

核心目标与设计选择

• 目标改进：相较于作者2012年基于8位AVR运行Linux的项目，新设计旨在提升速度（启动时间从6小时缩短至几分钟）、简化组装（避免密集封装和隐藏焊点）、改善接口（无需USB转串口适配器），并保持低成本和紧凑尺寸。
• 关键硬件选择：
  • 存储：使用微型SD卡，选用易于焊接的Amphenol插槽。
  • 内存：采用QSPI PSRAM（AP Memory/ISSI芯片，如1MB、2MB、4MB、8MB型号），封装为SOIC-8，便于焊接。
  • 电源：MIC5317-3.3YM5TR稳压器。
  • USB接口：利用0.8mm厚度的PCB边缘作为USB-C连接器，无需额外插座。
  • 微控制器：ATSAMDA1E16（ATSAMD21系列），因可用性、易焊接性和QSPI支持而入选。后期增加了对ATSAMD21E17A的支持。
• 模拟架构：
  • 处理器：选择MIPS R2000/R3000（MIPS-I指令集），因其RISC特性、无条件码、32位架构及成熟的工具链支持。
  • 系统：模拟DECstation 2100/3100，因Linux支持且结构相对简单。

模拟器实现细节

• CPU模拟：初始用C实现用于测试，后用ARMv6-M汇编写高性能版本，支持延迟槽、异常处理及R4000部分指令（如条件分支、原子操作）。
• FPU模拟：支持三种配置：完整FPU、最小FPU（仅支持寄存器操作，数学指令引发异常）和无FPU。Ultrix需要最小或完整FPU。
• MMU模拟：实现TLB和ASID，使用哈希表优化地址翻译，虚拟地址空间划分与真实MIPS一致（kuseg、kseg0等）。
• 通信：
  • 通过USB-C复合设备（两个CDC-ACM串口）模拟DECstation的DZ-11串口控制器（端口3为主控制台，端口0/2为第二控制台）。
  • 使用超调用（特殊指令）实现与模拟器的交互（如获取内存映射、调试输出、SD卡读写）。

系统启动与运行

• 启动流程：
  1. ROM：32字节代码加载SD卡第一扇区至RAM。
  2. MBR引导：查找类型0xBB的分区，加载PROM实现代码。
  3. PROM模拟：支持FAT文件系统，查找并加载“VMLINUX”内核ELF文件。
• Linux支持：
  • 使用4.4.292内核，通过补丁优化大小和性能（如移除microMIPS代码、修复FPU模拟、调整定时器频率）。
  • 使用自定义准虚拟化磁盘驱动器（通过超调用直接访问SD卡）。
• Ultrix支持（版本2新增）：
  • 实现SCSI控制器（SII）、网络卡（LANCE）、ESAR（MAC地址ROM）、帧缓冲器（单色/彩色）、键盘、鼠标及绘图板模拟。
  • 修改PROM接口以兼容Ultrix的旧式跳转表API，并实现COFF格式内核加载。
  • 应用Ultrix内核补丁以禁用缓存相关循环、优化延迟函数和调整定时器频率。

性能优化措施

• 指令缓存：2KB VIVT缓存（32组、2路、32字节行），命中率约95%。
• CPU超频：ATSAMD21超频至90MHz（原48MHz），提升65%性能。
• 内存带宽：使用四通道QSPI PSRAM，通过位 bang 模式实现并行访问（平均9MHz时钟），并优化为直接映射缓存以减少开销。
• L2缓存：2KB缓存（后期扩至2KB），平均内存访问时间降低87%。
• 其他优化：使用寄存器保存关键地址以减少分支周期、调整TLB哈希表结构、移除不必要的代码路径。

硬件迭代与版本支持

• v1.3硬件改进：重新布线以支持QSPI位 bang 模式，提升内存访问速度；支持1、2或4颗RAM芯片配置（速度与容量权衡）。
• 固件更新：
  • v2.1.1：优化QSPI内存访问速度，显示RAM配置信息。
  • v2.2.0：更新引导加载程序支持更多芯片型号（如ATSAMD21E17A），引入栈保护机制，支持将关键函数移至RAM执行以提升性能。
• 多芯片支持：自动检测RAM芯片数量和大小，选择最优配置（优先容量，同容量选速度更快方案）。

构建与使用指南

• 硬件组装：需订购定制PCB、指定元器件和SD卡，使用SWD编程器烧录固件。
• 软件构建：需ARM和MIPS工具链，分别构建引导代码、内核、模拟器和磁盘镜像（提供busybox、Debian和混合镜像）。
• 使用方式：插入SD卡，连接USB-C，通过串口终端（如minicom）交互，默认根密码为“mipsmips”。

总结

该项目展示了在资源受限的微控制器上通过精巧的硬件设计和软件优化运行完整操作系统的可行性，不仅支持经典的Unix系统Ultrix，还保持了Linux的良好性能，体现了作者在嵌入式系统、计算机体系结构和操作系统移植方面的深厚功底。

Weaveworks 关闭相关情况说明

标题内容缺失
原文标题提及“Weaveworks Is Shutting Down”，但正文未提供相关实质性信息，仅显示浏览器错误提示。

实际页面内容
正文为网站加载错误提示，建议用户禁用隐私相关扩展后重试访问。

为什么我们无法拥有优秀的软件

软件的问题在于它过于强大。它能快速创造巨大财富，以至于几乎无法阻止财富的扩散。虽然开发有用的软件需要时间，但一旦完成，它就能持续运行，只需少量维护和电力。这引出一个难题：少数人如何独占这些财富，而不让大众受益？音乐行业通过EULAs和DRM来应对，但这些措施限制了软件的潜力。

Bitrot的真相

Bitrot（软件老化）并非自然过程，而是商业利益驱动的结果。理想情况下，Bitrot源于技术进步，如依赖项更新或硬件升级，这需要少量劳动来适应，但之后软件即可稳定运行。然而，更糟糕的情况是公司为了追求利润而强制更新，例如微软在Windows Update中加入广告和UI更改，导致代码混乱和资源浪费。这种人为的更新不仅效率低下，还降低了软件质量。

平台浪费

消费者喜爱标准，因为标准允许互操作性并增强选择权。但盈利公司厌恶标准，它们倾向于使用专有设计来锁定用户和增加利润。例如，苹果频繁更改充电线标准，迫使消费者购买新配件，造成浪费。在软件领域，像XMPP这样的标准本可统一消息应用，但公司如谷歌放弃标准，开发了多个不兼容的应用，浪费了大量编程时间。Discord等应用也因追求利润而添加不必要的功能，导致软件流失。

洗碗机的巅峰类比

洗碗机曾达到“巅峰”状态，性能完美且无需改进。但为了持续盈利，公司引入了劣质产品，如洗涤剂包（更贵、更不环保且损害洗碗机功能）和智能功能（如互联网连接和触摸按钮），这些变化反而降低了用户体验。这表明，当产品无法再改进时，公司会通过负面变化来维持利润增长，导致产品退化。

区块链和LLMs的共同点

区块链和大型语言模型（LLMs）都是因为浪费而吸引投资者。区块链的proof of work机制需要指数级增长的计算资源，尽管效率低下，但投资者青睐其持续创造工作的特性。类似地，LLMs需要大量资本、硬件和劳动力，其任务（如提示工程和测试）具有主观性且永远无法完成，确保软件流失和利润持续增长。这些技术被设计为永不完善，以维持“创新”和盈利。

结论

技术，特别是软件，本应像魔法一样创造财富和美好未来，但无限增长的追求导致机会被浪费。软件的高效潜力被商业利益所破坏，使我们无法拥有真正优秀的软件。

Panda CSS 是一个构建时生成的 CSS-in-JS 解决方案，具有类型安全、兼容 React 服务器组件（RSC）、支持多变体等特性，提供出色的开发体验。

核心特点

• 构建时生成样式：Panda 在构建阶段生成静态 CSS，输出使用现代 CSS 特性，如层叠层（@layer）、:where 选择器和 CSS 变量，以实现最佳的 CSS 性能。
• 类型安全：原生支持 TypeScript，提供开箱即用的类型提示和安全验证。
• 低学习曲线：设计注重开发体验，易于上手。

主要功能

• 设计令牌：遵循 W3C 规范，可轻松定义基础令牌和语义令牌（如主题变量、颜色模式适配），实现主题化和设计系统一致性。
• 变体与配方：提供类似 Stitches 的强大函数（如 cva），用于定义组件的变体样式，支持组合式组件设计。
• 框架兼容性：与主流 JavaScript 框架（如 Vite、Remix、Next.js 的 App Router）开箱即用，包括对服务器组件的支持。

快速开始

1. 安装：npm i -D @pandacss/dev
2. 初始化：npx panda init --postcss
3. 使用：在项目中引入并应用 Panda 生成的样式工具类或 CSS-in-JS 函数。

生态与社区

提供官方课程《Panda Mastery》以帮助用户深入学习，并拥有活跃的开发者社区（如 Discord）用于获取支持和交流。

Threads月活用户超1.3亿，Meta公布第四季度财报

Threads用户增长情况

• Meta首席执行官马克·扎克伯格在公司第四季度财报电话会议上宣布，Instagram旗下社交应用Threads的月活跃用户已超过1.3亿，较第三季度增长3000万。
• 扎克伯格表示Threads“增长稳定”，并指出其当前活跃用户数已超过发布初期的峰值，认为该应用有望成为“重大成功”。
• 此前扎克伯格曾预测Threads有望在几年内达到10亿用户规模，当时其月活用户刚超过1亿。
• 第三方追踪数据显示，Threads的总用户数估计已达1.6亿。

市场竞争与应用表现

• Threads是2022年埃隆·马斯克收购Twitter（现更名为X）后涌现的众多竞争产品之一，与Bluesky、Mastodon等初创公司和开源项目形成竞争。
• 应用情报机构Appfigures数据显示，Threads在2023年12月的下载量增长了两倍，成为当月Apple App Store和Google Play下载量第六的应用；而X仅排在第36位。
• Threads通过利用Instagram的好友关系链实现了创纪录发布，在去年7月推出五天内注册用户即达1亿。但随后用户兴趣有所下降，直到Meta通过向Facebook用户推荐Threads的热门帖子推动其增长。

Meta整体用户与财务数据

• Meta旗下应用家族（包括Facebook、Instagram、Messenger和WhatsApp）第四季度日活跃用户达31.9亿，较第三季度的31.4亿有所增长；月活跃用户为39.8亿，高于前一季度的39.6亿。
• 财务方面，Meta第四季度收入为401亿美元，超出分析师预期的391.8亿美元；每股收益5.33美元，高于预期的4.96美元；净利润为140.2亿美元。2023年全年收入达1349亿美元。
• Meta宣布首次派发现金股息，每股0.50美元，将于3月向股东支付。

全职工作后如何找到时间学习

这是一个在全职工作后平衡学习与生活的普遍挑战。许多人在转为规律办公工作后，感觉精力被消耗，难以维持原有的学习节奏。以下是从社区讨论中总结的关键见解和建议：

核心挑战

• 时间与精力双重挤压：通勤、固定的8小时工作以及办公室环境会大量消耗认知和体力，导致下班后难以进行需要高度集中精力的学习活动。
• 从自由职业到固定工作的转变：独立工作时拥有更多自主安排的时间，而固定工作后这种灵活性大幅减少。
• 维持多元兴趣的困难：同时关注行业文章、阅读文学、掌握乐器或进行编程项目变得极具挑战性。

实用策略

1. 优化时间与精力管理

• 利用高效时段：识别自己一天中精力最旺盛的时段（如清晨），将最需要专注的学习安排在此。
• 整合碎片时间：在通勤、午休或短暂休息时，通过播客、有声书或短视频进行学习。
• 设定界限：明确工作时间的结束点，避免工作过度侵占个人时间与精力。

2. 调整学习方法与期望

• 聚焦与优先级：明确当前最想提升或探索的1-2个领域，避免同时追逐过多目标导致精力分散。
• 采用微学习：将学习任务拆解为小的、可管理的模块，每天投入15-30分钟，比偶尔长时间学习更可持续。
• 质量优于数量：深度理解少量内容，比泛泛浏览大量信息更有价值。

3. 培养习惯与环境支持

• 建立日常惯例：将学习固化为每日或每周的固定习惯（如每晚阅读半小时），减少决策消耗。
• 创造有利环境：在生活空间中设置专门的学习角落，减少干扰。
• 利用社区与项目驱动：参与学习小组或开源项目，通过社交承诺和实际应用来保持动力。

4. 身心能量维护

• 保障休息与恢复：确保充足睡眠、规律运动和健康饮食，这是维持认知能力的基础。
• 管理压力与倦怠：认识到工作初期适应期需要额外精力，允许自己有时“无所事事”，避免因未能持续学习而产生焦虑。

长期视角

• 接受阶段性波动：不同人生阶段可用于学习的时间不同，职业初期或工作变动期可能暂时需要减少学习量。
• 寻求工作与学习的结合：尝试将工作中的问题作为学习契机，或寻找能提供更多学习机会的工作角色。
• 长期坚持的力量：即使每天投入时间很少，持续数年也能积累显著的知识与技能。

最终，平衡的关键在于根据个人实际情况进行调整，找到可持续的节奏，而非试图复制他人的模式。年轻时意识到这个问题是积极的开端，通过有意识的规划和习惯培养，可以在职业生涯中持续学习和成长。

文章揭示了基于美国经济分析局最新发布的个人收入分配账户数据所发现的一个长期被掩盖的经济现实：美国80%的家庭长期存在“负储蓄”，即他们的支出持续超过收入。只有收入最高的20%家庭能够实现持续的储蓄。

这一现象在2020年首次发布的DPIA数据之前是不可见的。该数据提供了按收入十分位（如顶部10%、次10%等）划分的个人收入和个人税款分解，目前涵盖2000年至2021年的数据。

文章结合了劳工统计局的消费者支出调查数据，该调查提供了按收入五分位划分的年度支出份额。通过计算每个收入阶层的可支配收入减去支出（包括消费和消费者利息支付），再除以可支配收入，得出了标准的个人储蓄率。数据显示，底层80%的各收入阶层长期处于负储蓄状态。

文章提出了一个核心问题：家庭如何能在长达数十年的支出赤字下维持消费，而不耗尽资产？

答案在于，“个人收入”并非家庭资产的唯一来源。家庭资产负债表上资产的增加还有两个重要来源：资产持有收益和借贷（同时增加资产和负债）。将这两项纳入考量后，大多数年份里，底层80%的家庭的财务状况从支出赤字转变为资产盈余。

在后全球金融危机至新冠疫情前的时期，数据显示，在支撑底层80%家庭的长期负储蓄中，资产持有收益是远比借贷更为主要的资金来源。

文章最后指出，个人收入和国民收入等传统核算指标忽略了资产持有收益这一构成家庭财富积累的巨大组成部分。DPIA数据的发布，实现了自西蒙·库兹涅茨和塞尔玛·戈德史密斯以来在收入分配核算方面长期未竟的努力，并且提供了比以往研究（如皮凯蒂等人的工作）更为细致的收入分布细节。

《噪音的强大污染》内容摘要

这篇文章探讨了噪音（尤其是交通噪音）作为一种强效环境污染物的广泛影响，介绍了其对人类和动物健康的危害，并通过具体案例展示了城市声音规划、生态适应以及现有降噪策略的复杂性与可能性。

噪音：普遍的强效污染物

• 主要来源：交通运输，尤其是汽车，是最普遍的噪音来源。其低频、复杂的声谱深刻改变了地球的声景。
• 对人类的影响：世界卫生组织指出，长期暴露于噪音与睡眠障碍、心血管疾病、工作学习表现下降、听力损伤等不良后果相关。
• 对动物（尤其是鸟类）的影响：噪音导致鸟类产生慢性应激，引发生理反应和健康问题。鸟类为了适应噪音，会无意识地提高鸣叫音量（伦巴德效应）、改变歌曲频率（如提高最低频率以区别于交通噪音）、提前晨鸣时间，并减少歌曲多样性。长期来看，噪音可能导致鸟类方言文化甚至部分物种的灭绝（如白冠麻雀方言的消失），并影响其繁殖能力，因为鸣叫是主要的求偶方式。

人类与鸟类应对方式的相似性

• 人类在嘈杂环境中也会不自觉地提高音调说话，集中注意力的能力同样会受到破坏。
• 为人类改善声环境的策略（如降低交通噪音）通常也会惠及动物，因为人们普遍偏爱听到鸟鸣等自然声音。

案例研究：柏林的声音景观设计

• 背景：托马斯·库西茨基是一位城市声音景观规划师，致力于不仅使建筑符合噪音法规，更使其声音“好听”。
• 关键理念：城市声音设计的前提是先控制噪音（主要是汽车噪音）。降噪后，才有更多规划空间。
• 柏林Admiralbrücke的实践：该区域通过一系列交通限制措施（如移动路障、步行区、限速等）创造了愉悦的声环境。其附近的建筑（如战后公寓楼形成的“城市峡谷”）和庭院结构（内院）起到了重要的隔音和声音缓冲作用。
• 设计原则：可通过建筑错位、使用吸音外墙材料（避免全玻璃幕墙）来优化“城市峡谷”的声音效果，减少声音放大效应。

降噪技术与策略

• 技术方案：
  • 低噪音沥青：内部多孔结构能吸收轮胎噪音，效果显著，但维护成本高且易被堵塞。
  • 电动汽车：虽无发动机噪音，但轮胎噪音仍存，且可能加入合成提示音（未来可能形成声音品牌噪音）。需与低噪音道路、低速限制等结合。
  • 其他：如日本部分城市地铁使用橡胶轮降噪。
• 政策与规划限制：
  • 道路本身的生态破坏和噪音是根本问题。奥地利拟建公路案例显示，为保护依赖声音沟通的濒危鸟类石鸻，需要建造极高的隔音土墙，凸显了道路建成后噪音缓解的极端困难。
  • 噪音影响评估往往不全面（如只评估赛道车辆噪音，忽略直升机和人群噪音）。
• 文化观念：需要将噪音视为有形的物理污染。例如，吹叶机不仅噪音大，还会破坏昆虫、刺猬等生物的栖息地，是一种生态上“愚蠢”的行为。

噪音治理的挑战与共同利益

• 政治与经济阻力：降噪措施常因经济利益而被搁置。噪音废弃物的转移是一个深层政治问题（如奥地利案例中，当地政客将保护“无人得见的”鸟类与居民生活质量对立）。
• 共同利益：在多数情况下，为人类和动物降噪的目标是一致的。研究表明，减少噪音污染（如保留完整树木、创造安静城市空间）能提升居民福祉和生物多样性。
• 结论：我们已拥有缓解噪音污染的技术和策略，关键在于实施的政治意愿和公众意识。

科学家提议增设“6级飓风”分类：应对气候变暖下的极端风暴风险

当前飓风强度已超出5级阈值

• 过去9年间，有5个热带气旋的风速远超萨菲尔-辛普森飓风等级的5级标准（风速>157英里/时/253公里/时），导致数千人死亡和数十亿美元损失。
• 研究指出，气候变化正在增强风暴可用的能量，使此类超强破坏性飓风的发生概率增加。

科学家提议增设“6级”分类

• 一项发表于《美国国家科学院院刊》的研究建议，在萨菲尔-辛普森飓风等级中增加第6级，涵盖风速**超过192英里/时（309公里/时）**的风暴。
• 主要依据包括：
  1. 已出现超5级风暴：如2013年台风“海燕”（登陆菲律宾时风速195英里/时）和2015年飓风“帕特里夏”（风速达215英里/时）。
  2. 气候模型预测：分析显示，墨西哥湾地区在1979-2019年间，每年约有10天的天气条件可能催生6级飓风，且此类天数因气候变化而增加。
  3. 未来风险上升：在各种气候情景模拟中，未来十年发生6级飓风的风险均会增加。

支持与争议：分类能否有效传达风险？

• 支持观点：
  • 增设6级可更准确反映飓风强度的实际增长，强调气候变化加剧的极端风暴风险。
  • 有助于推动公众讨论现有预警系统是否足够应对未来气候挑战。
• 反对/保留意见：
  • 美国国家飓风中心（NHC）认为，飓风致命主因是风暴潮、洪水等水患而非仅强风，当前5级已涵盖“灾难性破坏”，增设新级别的必要性存疑。
  • NHC建议重点关注各类具体危害（风暴潮、强风、降雨等），而非单纯扩大风力等级。

结论：平衡科学与风险沟通

• 研究者强调，提议增设6级的核心目的是突出气候变化带来的日益增长的风险，而非仅用于即时风暴预警。
• 是否采用新分类需综合气象学家、社会科学家、应急管理者等多方意见，但相关讨论有望促进更全面的飓风风险沟通体系。

这是一个由Carson Gross主讲的视频，旨在深入讲解htmx的内部工作原理。视频的主要目的是帮助开发者理解htmx的底层机制，从而能够更好地调试在实际项目中可能遇到的问题。视频内容包含一个时间戳目录，例如在02:45处进行工具概览，在05:5开始具体讲解。

Scriptisto 摘要

核心功能
Scriptisto 是一个“shebang 解释器”工具，它允许用户使用需要编译、依赖管理或预处理的编程语言来编写单文件脚本。

工作原理

• 它充当脚本的 shebang 指令，从脚本文件的注释中提取构建指令。
• 如果脚本被修改，Scriptisto 会自动重新构建它并缓存结果。
• 如果脚本已经构建过，Scriptisto 会立即委托执行对应的二进制文件，启动开销小于1毫秒。
• 支持在Docker中进行构建，无需在主机系统上安装编译器。

主要特点与用例

• 适用于C、Rust等语言的单文件脚本。
• 通过示例演示：一个包含构建命令注释的 .c 文件，可被直接赋予执行权限并运行。
• 注意：某些语言（如Rust）首次构建时耗时较长，默认会抑制构建日志。

安装与文档

• 提供预编译的静态链接二进制文件或发行版包，可从项目发布页或 Crates.io 获取。
• 详细的安装说明和用法（包括优势和用例）可在项目的 Wiki 中找到。

免责声明
该项目并非官方支持的 Google 产品。

死海效应：大型IT组织的人才流失陷阱

本文探讨了大型组织在信息技术（IT）开发中常遇到的一个反模式——“死海效应”，并分析了其成因、表现及影响。

1. 概念类比
作者以死海为喻：死海因只有流入（约旦河）和蒸发，盐分不断积累而无法支持生命。类似地，许多大型企业的IT部门如同死海，虽然不断招聘新员工，但由于管理不善或环境问题，最终导致高人才流失率与低效能积累。

2. 核心现象

• 人才流失规律：最具才华和效率的IT工程师往往最先离开，因为他们对组织中的官僚主义、低效工作或文化问题容忍度最低，且通常更容易找到外部机会。
• 残留效应：留下的多是能力相对较弱或适应性较低的员工。他们更依赖现有职位，可能通过占据关键系统维护等角色来巩固自身地位，使组织难以替换他们。
• 自我强化：团队整体素质下降后，组织更难吸引和留住优秀人才，形成恶性循环。最终，只有刚入行、缺乏经验的新人可能加入，但一旦他们积累足够经验，也很可能选择离开。

3. 原因与背景

• IT行业没有统一的专业认证体系，导致人才质量参差不齐。
• 组织在招聘、留任策略和领导力上的失败是关键因素。例如，招聘流程缺陷、帝国式管理心态以及将开发者视为“可替换零件”的误区。
• 这种现象在大型企业和政府机构中尤为常见，但并非普遍存在。有些优秀团队通过高效的管理能保持人才稳定。

4. 与相关概念的区别

• 彼得原理：死海效应不同于“员工晋升至不胜任职位”的彼得原理，它强调的是人才因外部机会而主动离开，而非内部晋升失败。
• 普遍性：虽然IT行业因个体生产力差异显著而受影响更直接，但类似问题也可见于其他领域。

5. 现实案例与应对

• 作者指出，网站 The Daily WTF 中的“面试故事”栏目等现实案例常反映此类问题。
• 一些解决方案包括借鉴职业体育团队的管理模型，强调人才价值评估与团队建设，而非单纯依赖传统科层制。

6. 总结
死海效应揭示了大型IT组织中因人才流失与残留导致的效率衰减问题。其根本在于领导力、招聘策略和文化缺陷。作者呼吁组织应主动留住优秀工程师，而非被动接受人才流失的恶性循环。

（注：摘要基于原文内容提炼，作者Bruce F. Webster为IT项目管理和法律咨询专家，曾著有相关书籍并参与专业期刊文章撰写。）

盖茨定律及其相关概念概述

本文探讨了盖茨定律（常与阿马拉定律互指）的内涵，以及它与技术发展规律的关系。其核心是：人们往往高估短期变化，低估长期影响。

• 定律来源与表述：该定律表述为“大多数人高估了一年内能完成的事情，却低估了十年内能完成的事情”。其最可能源于斯坦福计算机科学家罗伊·阿马拉关于技术影响的类似观点，也因比尔·盖茨的引用而广为人知。

• 与摩尔定律及指数增长的关联：该定律常与摩尔定律（观察到的计算能力指数增长趋势）一同讨论。指数增长难以被人类直观理解，如同“棋盘与米粒”的故事所揭示：初期增长缓慢，后期则爆发性增长。我们容易低估长期指数增长的累积效应。

• 技术炒作周期模型：为理解该定律在技术领域的体现，文章引入了“炒作周期”模型，其阶段包括：

  1. 新技术萌芽期：引起关注但尚未成熟。
  2. 膨胀期望峰值：炒作达到顶峰，存在过高预期。
  3. 幻觉低谷期：失败导致失望，兴趣骤减。
  4. 复苏爬坡期：技术改进，用途明确，开始被主流采纳。
  5. 生产率高原期：技术成为主流并融入生活。 我们通常在峰值期高估短期影响，在低谷期低估长期潜力。识别此周期对评估创新价值至关重要。

• “相邻可能性”与创新累积：技术增长的驱动力之一是“相邻可能性”——每一项创新都打开了通往新可能性的大门，使未来更多的创新成为可能。这形成了一个反馈循环，导致进步呈现复合增长。例如，GPS技术的出现催生了自动驾驶、手机导航等无数新应用。

• 加速变化定律：上述过程导致了技术变化的加速。历史表明，从石器时代到信息时代，创新间隔不断缩短，社会变革步伐加快。互联网从九十年代的普及到今天的个性化体验，即是这一加速过程的明证。

• 局限与结论：指数增长最终会遇到物理或资源瓶颈而放缓。尽管如此，本文的核心启示是：由于创新的累积特性和我们对指数增长的认知局限，我们应持长远眼光，避免被短期波动所误导，充分认识到长期变革的巨大潜力。

如何改进 Mistral-7B 微调使其效果良好

背景与初始问题

Helix 平台从 v0.1 更新到 v0.5，重点改进了文本微调功能。最初，其微调方法基于一份 LlamaIndex 文档页面（该页面本身标注为“效果尚不理想”），核心思路是使用语言模型（如 Mistral-7B）自动生成问答对作为训练数据，以微调另一个语言模型。

遇到的挑战与错误示例

初始微调效果不稳定。以一篇关于“英国初级医生因薪酬问题举行罢工”的新闻文章为例，对微调后的模型提问“医生们打算做什么？”时，模型给出了荒谬答案，如“医生们将进行微调数据训练”或“医生们将进行气管切开术”。这表明模型未能正确理解基础文档内容。

关键改进方案

问题根源在于生成训练数据的提示词单一。改进方案包括：

1. 实施提示词套件：设计了包含多种提示词的配置文件，从不同角度（如实体关系、长短摘要、谁/什么/哪里等问题）提取文档上下文，而不仅仅依赖单一问答对生成提示。
2. 引入文档ID系统：为每个文档生成基于内容的哈希ID，并将ID与文档内容关联映射。这使模型能够：
   • 知道其知识来源于哪个具体文档。
   • 将回答关联并链接回源文档。
3. 添加系统提示：指示模型仅依据其训练过的特定文档ID回答，避免使用背景知识，从而提高回答的准确性和相关性。

评估与未来计划

• 当前评估方式：依赖主观“感觉”（vibes），即手动测试和观察，但这种方法可扩展性差。
• 未来计划：开发端到端的“评估”框架，自动建立包含良好与不良会话的库。每次修改提示、代码或模型后，重新对整个会话库进行微调和评估，可能使用LLM进行自动评分。

为何选择微调而非 RAG

文章列举了坚持使用微调的多个原因：

• 能记忆远超过单个提示可容纳的信息量。
• 无需在提示中塞入自定义知识，延迟更低。
• 更擅长模仿风格和理解大量领域背景知识。
• 微调后的模型更易于在边缘设备运行，无需向量存储等基础设施。
• 可以使用比通用模型+RAG更小的微调模型（例如可在CPU上运行的Phi-2模型）。

API 集成

平台现提供 OpenAI 兼容的API。用户可以通过设置模型名称、API密钥和基础路径，将私有Helix部署与Flowise等工具集成，API调用会自动记录为会话。微调过程在问答对提取完成后自动进行，耗时约10-15分钟。

HTTP Garden：HTTP解析器漏洞研究工具

工具概述

HTTP Garden 是一个由可组合的HTTP服务器和代理组成的集合，配合相关脚本进行交互，旨在大幅简化漏洞发现过程。该工具在 ShmooCon 2024 会议上进行了演示，展示了其发现的漏洞示例。

技术依赖与运行环境

• 支持平台：x86_64 和 AArch64 架构的 Linux 系统，其他平台未经测试。
• 核心依赖：
  • Docker：用于构建和运行目标服务器容器。
  • Python 3.12+ 及以下库：docker、pyyaml、tqdm。

使用示例

基本流程

1. 启动服务器与代理：使用 ./garden.sh start --build 命令启动如 Gunicorn、Hyper、Nginx、HAProxy 等组件。
2. 通过REPL交互：在另一个终端启动 REPL 界面，发送请求并观察解析结果。

示例分析

• 示例一（合规请求）：发送标准GET请求，通过HAProxy转换后，由多个源服务器（Gunicorn、Hyper、Nginx）处理。工具以网格形式展示各服务器解析结果的一致性，并能智能忽略非关键差异（如Nginx额外添加的 content-length 和 content-type 头部）。
• 示例二（违规请求）：发送一个使用裸LF行尾的分块传输编码请求（违反规范）。结果显示：Gunicorn返回400错误，Hyper无响应，Nginx则接受请求。这揭示了Nginx对规范的一种已知且未修复的偏离。工具能识别并视本质相同的拒绝响应为一致。

项目结构

目录布局

• images/：包含每个HTTP服务器和转换器（用于修改HTTP消息的组件）的子目录，每个目标拥有独立的Docker镜像。目标程序尽可能从源代码构建，并可通过仓库URL、分支和提交哈希进行参数化配置以支持多版本构建。
• tools/：包含与服务器交互的脚本，例如：
  • probe_quirks.py：枚举被测系统中的良性HTTP解析怪癖，以便在模糊测试中忽略。
  • repl.py：HTTP Garden的主要用户界面。
  • update.py：用于更新 docker-compose.yml 中的提交哈希。

支持的目标组件

HTTP服务器（共34个）

包括但不限于：aiohttp, apache_httpd, gunicorn, nginx, node_stdlib, twisted, uvicorn 等知名服务器和库。

HTTP转换器（共14个）

包括但不限于：envoy, haproxy, nginx_proxy, squid, varnish 等代理和负载均衡器。

组件排除说明

以下为一些未被包含的知名项目及其原因：

• 使用相同解析器：例如 unicorn (使用 yahns 解析器), SwiftNIO (使用 llhttp), Deno (使用 hyper), Caddy (使用Go标准库) 等，因功能已由库中其他项目覆盖而排除。
• 维护或回应问题：例如 boa 已停止维护；Cheroot 忽略了项目方的报告；dart_stdlib 和 openjdk_stdlib 缺乏有效的漏洞披露渠道或曾忽略报告。
• 非生产用途或功能限制：例如 CPython http.server 不用于生产；uwsgi 不支持分块消息体。
• 基于已有组件：例如 Vultr Load Balancer (基于HAProxy), VMWare Avi Load Balancer (基于Nginx) 等。

研究成果

项目已发现的全部漏洞列表记录在 TROPHIES.md 文件中。

Flathub直接上传的优缺点分析

讨论背景

在FOSDEM 2024的Flathub/Flatpak BOF会议上，关于是否允许开发者直接上传预构建二进制文件（而非完全依赖Flathub中心化构建基础设施）进行了深入讨论。

允许直接上传的初始动机

1. 简化特定语言应用的构建流程：对于依赖网络获取依赖的语言工具（如Python、Electron），Flathub禁止构建时网络访问，导致需要大量手动工作和额外工具。
2. 提供开发者熟悉的工作流：让来自其他平台的开发者能够使用“构建-上传”的简单命令，无需学习新构建工具的语法。

主要担忧与缺点

对开源应用的影响

• 多架构构建缺失：直接上传可能导致无法在Flathub基础设施上构建多个CPU架构的版本。
• 构建环境安全可见性降低：难以监控构建环境或上传凭证是否在开发者不知情的情况下被入侵。
• 虽不主要担忧恶意代码：Flathub已采用开发者验证模式，用户自行决定是否信任应用，但直接上传会削弱其他方面的保障。

现有缓解措施与局限性

• 手动审核流程：已存在针对应用元数据变更（名称、图标、许可证、权限）的审核机制，直接上传也将适用。
• 沙箱化作为可能方案：有人建议仅允许高度沙箱化应用（如通过门户访问文件系统）进行直接上传，以减轻部分风险。

Electron应用的实例挑战

• 作为典型用例的Electron应用实际上目前大多无法满足严格沙箱要求：
  • 通常使用旧版Chromium，门户支持不完整
  • 需要沙箱逃逸才能正常运行
  • 在Flatpak内运行需要额外工具/下游补丁

适用场景与价值

适合直接上传的情况

• 已有成熟构建基础设施的项目：已自行发布可信二进制的项目。
• 对二进制完整性有特殊要求的应用：如加密、密码管理或金融工具。
• 当前已采用类似模式的应用：包括一些已验证应用，其构建配方仅是从其他地方获取并解包二进制文件。

对独立开发者的挑战

• 需要从工具和基础设施角度整体改进开发者体验
• 计划发布需求建议书/信息征集书（RFP/RFI）以改进工具限制
• 需要寻找合作方协助确定范围、估算成本/工作量，以争取资金支持

会议结论

虽然直接上传对特定类型项目有价值，但对Flathub整体而言可能不如最初设想的那么理想。未来改进将集中在工具和基础设施增强上。

美国联邦航空管理局（FAA）航空地图概述

FAA发布的航空地图是美国政府出版物中信息密度最高的视觉产品之一。这些地图免费提供给飞行员，涵盖全美空域、机场及周边环境，并保持高频更新，以保障飞行安全与导航效率。

主要地图分类及功能

1. 终端程序出版物 (TPP)

• 用途：为全美各类机场的进场和离场提供具体指令。
• 特点：每56天更新一次（数字版28天）。设计相对简化，以黑白为主。
• 关键信息：包含机场详细图表、周边地理特征、跑道信息、障碍物高度、控制塔频率及“复飞”程序。大型机场还提供基于预定义航线和导航定位点的详细离场指令。

2. 目视飞行规则 (VFR) 地图

• 用途：适用于能见度良好的目视飞行，帮助飞行员通过地面特征进行导航。
• 特点：色彩丰富，信息密度极高，是新飞行员最常用的视觉数据系统。
• 关键信息：包含自然地理特征及空中可见的人造物（如体育场、风力发电机）。详细标注机场信息、由彩色环区分的各类空域规则，以及军事区、核电站和禁飞区等特殊限制空域。

3. 仪表飞行规则 (IFR) 航路地图

• 用途：适用于依赖机舱仪表和电子信号导航的飞行条件。
• 特点：分低空和高空版本。背景信息极少（多为留白），以突出关键导航元素，避免视觉干扰。
• 关键信息：清晰显示地面无线电导航台和导航航点。

导航航点 (Waypoints) 系统

为管理空中交通，飞机通过一系列编号航线和已知的“航点”飞行，确保路径可预测。

• 技术特征：航点是特定的经纬度坐标点。为适应嘈杂的无线电通讯，统一采用易发音的五字母命名。
• 文化特色：航点名称常反映当地文化。例如：波士顿包含体育队伍和美食主题；奥兰多采用迪士尼主题；亚特兰大拥有大量《指环王》和《星球大战》主题航点。
• 特殊含义：部分航点按顺序拼写具有特定含义，如新罕布什尔州的卡通主题序列，或里根机场纪念9/11事件的特定序列。FAA也会根据社会反馈更改具有争议的航点名称。

卫星巨型星座可能削弱地球磁场

自2020年以来，地球轨道卫星数量急剧增加，主要由SpaceX的Starlink等巨型互联网星座驱动。过去一年发射的卫星数量超过太空时代前三十年的总和。环境问题包括夜空光污染、低地球轨道拥堵和臭氧层损耗，而其他公司和国家的类似星座将加剧这些担忧。

冰岛大学研究生Sierra Solter的研究提出新担忧：巨型星座可能改变和削弱地球磁场。预计未来几十年将有超过50万颗卫星发射，最终再入大气层解体，产生大量导电带电金属碎片层。与地球自然磁层成分相比，这些碎片的质量极其庞大：地球范艾伦辐射带质量仅0.00018公斤，而一个第二代Starlink卫星质量为1250公斤，解体后成为导电碎片，质量比范艾伦辐射带大700万倍；整个巨型星座的质量更是天文数字。

证据显示，这一过程已在发生。2023年NASA高空飞机研究发现，平流层10%的气溶胶含有来自卫星和火箭解体的铝等金属，这些粒子来自70至80公里高的“消融区”。NASA模型显示，在卫星解体的消融区，德拜长度（衡量导电等离子体中电荷影响距离的参数）急剧变化，表明该区域电学性质已受影响。

Solter的初步研究指出，太空行业向磁层添加大量导电材料，可能扰动磁场。她类比：在球形磁铁（地球）外放置导电壳（卫星碎片）时，由于屏蔽效应，外部磁场会减弱。虽然简化，但类似情况可能正在发生。地球磁场保护人类免受宇宙射线和太阳风暴影响，因此这种扰动令人担忧。

研究结论强调，不能无限制向磁层倾倒导电尘埃而不考虑影响，急需多学科研究评估污染后果。