YouTube新规：AI生成逼真内容需强制标注

政策核心： YouTube推出新工具，要求创作者披露当视频内容具有高度逼真性、可能被观众误认为真实人物、地点或事件时，是否使用了AI等生成或合成技术。

实施目的：

• 增强透明度：满足观众对内容是否被修改或合成的知情需求。
• 建立信任：强化创作者与观众之间的信任关系。

需要标注的内容示例：

• 使用逼真人像：替换人脸、合成人物声音进行解说。
• 修改真实事件/地点影像：使真实建筑显得起火，或改变真实城市景观。
• 生成逼真场景：虚构但逼真地描绘重大事件（如龙卷风袭击真实城镇）。

无需标注的内容（例外情况）：

• 明显不现实的内容：如动画、奇幻世界场景。
• 用于生产力辅助的AI：如生成脚本、创意或自动字幕。
• 无实质性影响的修改：如调色、灯光滤镜、背景模糊、复古效果、美颜滤镜等视觉增强。

标签显示规则：

• 大多数视频：标签将出现在视频描述的展开部分。
• 敏感话题视频（如健康、新闻、选举、金融）：会在视频播放器界面本身显示更醒目的标签。

实施与执行：

• 推出时间：标签将在未来几周内上线，首先在YouTube手机应用中推出，随后扩展至桌面端和电视端。
• 执行措施：初期给予创作者适应时间，未来将对持续不披露信息的创作者考虑采取强制措施。
• 平台主动干预：在某些情况下，即使创作者未披露，若AI生成内容可能造成混淆或误导，YouTube也可能自行添加标签。

行业协作与隐私保护：

• YouTube作为C2PA（内容来源和真实性联盟）的指导成员，正与行业合作提升数字内容的透明度。
• YouTube正在更新隐私流程，允许个人要求删除模拟其身份（包括肖像或声音）的AI生成内容，相关全球流程将稍后公布。

总结： 此项政策旨在通过强制标注逼真的AI生成内容，提升平台透明度，帮助观众辨别内容真伪，同时承认AI在创意过程中的辅助价值，并明确其适用边界。

文章《How to Start Google》是作者在2024年3月面向14-15岁青少年的演讲，核心主题是：如果年轻人未来可能想创业，现在可以做哪些准备。作者结合其运营创业孵化器Y Combinator的经验，指出创办一家像谷歌这样公司的路径主要包含三个要素，而为未来所做的准备其实可以归结为两个行动。

一、 创业的核心三要素 成功的初创公司需要具备三点：

1. 精通某种技术：技术泛指任何涉及“制造”或“构建”的能力，例如编程、焊接、制衣或制作视频。关键区别在于你是“生产者”还是“消费者”。例如，编程是过去30年创业公司的主要技术来源，预测未来十年变化不大。
2. 拥有创业想法：一旦你精通某项技术，就能更敏锐地发现世界中缺失或可以改进的事物。最佳的想法往往源于解决自己或朋友们实际需求的项目，而非凭空构思的商业点子。
3. 找到联合创始人：理想的初创公司通常由2-3位创始人共同创立。寻找联合创始人的最佳方式，是在合作项目中评估对方的能力和默契。

二、 现在应做的准备（两大行动） 为未来能够创办一家公司，作者建议青少年现在专注于两件事：

1. 通过实际项目来精通技术：
   • 为何重要：课堂学习不足以真正掌握技术（如编程），实践是关键。通过做自己感兴趣的项目（哪怕是制作游戏这类看似“不严肃”的事），学习速度更快、更深入。史蒂夫·乔布斯少年时学习书法，后来为Macintosh的图形设计奠定了优势，即为一例。
   • 如何做：不必预测未来最热门的技术，只需追随自己的兴趣。编程是稳妥的起点。7-8年的持续练习足以让你在一门技术上变得相当出色。
2. 在学校努力学习，争取进入优秀的大学：
   • 为何重要：优秀的大学是寻找联合创始人和好想法的主要场所。成功初创公司的创始人大多来自顶尖学府，并非因为教学更好，而是因为入学门槛高，汇聚了大量聪明、有决心的年轻人（如谷歌创始人最初就在斯坦福招聘）。合作完成的项目常常催生创业想法。
   • 怎么做：即使面对需要死记硬背或看似无关的课程，也要尽力取得好成绩，以提高被顶尖大学录取的机会。

三、 关于创业想法的深入见解

• 创业想法源于解决问题：当作者精通技术后，会像木匠看到一扇关不上的门一样，自然地看到技术中缺失的部分和可修复的问题。例如，马克·扎克伯格看到大学在线通讯录缺失，便在一夜之间创建了Facebook的前身；谷歌创始人拉里·佩奇和谢尔盖·布林看到搜索结果不排序的问题，从而改进了搜索引擎。
• 想法并非显而易见：如果某个点子是“明显”的好主意，很可能早已被别人实现。最好的初创公司往往从那些并非旨在创业的项目中萌芽，跟随兴趣和本能发现的机会更为宝贵。
• 为真正的需求构建产品：年轻创始人应为自己和朋友打造真正想用、若下线会感到失落的产品。即使最初不知道如何盈利，这样的需求通常隐藏着可行的商业模式。

总结：作者将复杂的创业准备提炼为一个清晰的路径：青少年现在应通过做项目来实践技术，并在学校努力学习以进入优秀的大学。这两个行动能帮助他们掌握必要技能、激发创意并找到合适的合作伙伴，从而为未来创办一家像谷歌一样有潜力的公司打下基础。

模型核心功能 Stable Video 3D (SV3D) 是 Stability.ai 发布的3D生成模型，能够将单张物体图像作为输入，生成该物体的多视角新颖视图，并可进一步用于生成3D网格。

模型版本与能力 该模型提供两种变体：

• SV3D_u：基于单张图像输入，无需相机参数条件即可生成环绕物体的视频。
• SV3D_p：在 SV3D_u 的基础上，兼容单张图像与已有环绕视图输入，支持沿指定相机路径生成3D视频。

主要优势与技术特点 相较于此前发布的 Stable Zero123 等模型，SV3D 实现了显著的质量与多视角一致性提升。其核心优势在于采用了视频扩散模型（而非图像扩散模型）作为基础，并结合了相机路径条件。这带来了以下关键改进：

• 更优的泛化能力与视角一致性：生成的多视角视频在物体外观上保持高度一致。
• 先进的3D优化技术：利用 SV3D 生成任意环绕视角的能力，并结合解耦光照优化以及新的遮罩分数蒸馏采样损失函数，从而能够从单张图像可靠地输出高质量3D网格。
• 增强的视角可控性：支持从任意角度生成连贯视图，提升了新视角合成（NVS）的可控性和准确性。

获取与使用 该模型可用于商业目的（需通过 Stability AI 会员资格），非商业用途可从 Hugging Face 下载模型权重，详细技术报告已发布于 arXiv。

文章标题：EPA全面禁止石棉，一种在部分禁令数十年后仍在使用的致命致癌物

内容摘要： 美国环境保护署（EPA）于周一宣布全面禁止石棉。石棉是一种已知致癌物，每年在美国导致数万人死亡，但至今仍被用于部分氯漂白剂、刹车片及其他产品中。

• 禁令核心内容：新规禁止温石棉（chrysotile asbestos），这是美国目前唯一仍在使用的石棉形式。它存在于刹车衬垫和垫片等产品中，并用于制造氯漂白剂和烧碱（包括用于水净化的产品）。EPA署长迈克尔·里根称此举是保护公众健康的重大一步。
• 法规背景：该最终规则标志着依据2016年具有里程碑意义的《弗兰克·劳滕伯格化学品安全法》对EPA监管权力的重大扩展。该法改革了对日常用品中数万种有毒化学品的监管。此前，EPA于1989年曾禁止石棉，但该规定在1991年被法院大幅推翻，削弱了EPA的权力。
• 健康危害与政策目标：接触石棉会导致肺癌、间皮瘤及其他癌症。每年美国有超过4万人因其死亡。终止石棉的使用符合拜登总统“癌症登月计划”的目标。
• 实施时间表：
  • 氯碱工业：规则发布后立即禁止石棉进口，但将给予五年或更长时间的过渡期逐步禁止其使用，以实现平稳转型。目前美国仅有八家工厂仍使用石棉隔膜生产氯和烧碱。
  • 汽车及其他产品：对油田刹车块、售后汽车刹车及衬垫等石棉使用的禁令将在六个月内生效。
  • 特殊例外：美国能源部萨凡纳河场址可继续使用含石棉的片状垫片直至2037年，以确保核材料安全处置计划按期进行。
• 各方反应：
  • 支持方：环保组织“环境工作组”称赞此举结束了污染者无视健康的状况。
  • 行业关切：美国化学理事会认为需要15年过渡期以避免氯和烧碱供应中断。全国清洁水机构协会则警告立即禁令可能导致水处理化学品短缺和价格上涨，但表示支持向无石棉产品过渡。
• 未来工作：EPA同时正在评估学校、工业场所等旧建筑中石棉的“遗留用途”对公共健康的潜在风险，最终风险评估预计于年底完成。

Java 22（JDK 22）正式发布

发布状态与构建信息

• JDK 22（Java 22 的参考实现）现已正式发布（Generally Available）。
• GA 版本基于 Build 36，该版本于 2024 年 2 月 16 日作为第二个候选版本发布，此后未报告任何 P1 级别缺陷。
• Oracle 提供的 GPL 许可 OpenJDK 构建可从官网下载：https://jdk.java.net/22 ，其他供应商的构建预计也会很快提供。

核心新特性 本次发布包含 12 个 JEP（JDK 增强提案），其中以下两个为最终版本：

• JEP 454：外部函数与内存 API：用于高效、安全地与本地代码和外部内存进行互操作。
• JEP 456：未命名变量与模式：简化代码，提高可读性，例如在模式匹配中使用未命名变量。

其他重要 JEP（部分为预览或孵化状态）：

• JEP 423：为 G1 垃圾收集器引入区域固定（Region Pinning）以提升性能。
• JEP 447（预览）：允许在 super(...) 构造函数调用之前出现语句（如计算参数）。
• JEP 457（预览）：引入新的类文件 API，用于解析、生成和转换类文件。
• JEP 458：支持直接启动包含多个源文件的程序，无需先编译。
• JEP 459（第二次预览）：继续预览字符串模板，提供安全、灵活的字符串组合。
• JEP 460（第七次孵化）：继续孵化向量 API，用于表达式级别的 SIMD 编程。
• JEP 461（预览）：引入流收集器（Stream Gatherers），增强 Stream API 的自定义中间操作能力。
• JEP 462（第二次预览）：继续预览结构化并发，简化并发编程错误处理。
• JEP 463（第二次预览）：继续预览隐式声明的类和实例主方法，降低入门门槛。
• JEP 464（第二次预览）：继续预览作用域值（Scoped Values），用于在任务间共享不可变数据。

总体改进

• 除了上述 JEP，该版本还包含了数百项较小的功能增强和数千个错误修复。
• 发布方对所有贡献者表示感谢，包括设计实现、修复缺陷以及参与早期访问构建测试的人员。

Godspeed：一款快速、完全键盘驱动的Mac待办应用

Godspeed是一款专为追求效率的用户设计的Mac任务管理应用。其核心设计哲学是速度至上，旨在通过极快的响应提升工作流程。

核心特性：

• 极速体验：应用强调每一个用户交互操作的响应时间均低于50毫秒，确保操作流畅无延迟。
• 100%键盘驱动：所有功能和操作都通过键盘完成，旨在为习惯键盘操作的用户提供最高效的使用方式，减少对鼠标的依赖。
• 专注任务管理：作为一款待办应用，它专注于任务的管理核心功能，可能包含创建、查看、编辑、完成任务等基础操作，但具体功能细节未在提供的内容中详述。

目标与定位：

该应用面向那些将工作效率和操作速度置于首位的Mac用户。它通过彻底优化的键盘交互和极快的系统响应，试图重新定义待办事项应用的体验，摒弃任何可能影响速度的冗余元素。

访问信息：该应用提供了官方预览页面（通过提供的URL中unfurl-1.png图片链接可知存在官方网站），但提供的文本内容未包含具体的功能列表、价格或下载方式。

这篇文章详细分析了ARM Mali GPU中的一个漏洞（CVE-2023-6241），该漏洞允许恶意Android应用在启用了内存标签扩展（MTE）的Google Pixel 8设备上获得内核代码执行权限和root权限。

漏洞核心：这是一个位于Mali GPU驱动内存管理单元中的逻辑竞争条件漏洞。具体问题出在kbase_jit_grow函数中，当其为JIT内存区域分配物理页面时，会临时释放锁（kctx->reg_lock和kctx->mem_partials_lock）。在此期间，另一个线程可以通过触发GPU页错误来增长同一JIT区域，导致reg->gpu_alloc->nents（实际物理页面数）发生变化，但函数中缓存的旧大小值（old_size和delta）变得过时。后续使用这些过时值进行物理页面分配和GPU地址映射，会造成GPU虚拟地址映射与物理页面状态之间的不一致。

漏洞利用步骤：

1. 创建JIT内存区域并触发漏洞，使得错误处理程序添加物理页面，但只映射了部分页面。
2. 在漏洞触发后，再次触发GPU页错误，使新页面被追加到区域中未被映射的部分之后。
3. 通过BASE_KCPU_COMMAND_TYPE_JIT_FREE命令释放JIT区域，此过程会修剪（缩小）该区域。控制修剪后的大小，使其落在由第一步创造的“未映射区间”内。
4. 当区域被修剪时，内核调用kbase_mmu_teardown_pgd_pages取消GPU地址映射。由于高级页表条目无效，内核会跳过取消映射一段地址范围。但这部分地址范围实际仍映射到即将被释放的物理页面上。
5. 这些被释放的物理页面可被重用。攻击者可将其重用为GPU的页表全局目录（PGD）。随后，通过仍拥有访问权限的GPU地址重写此PGD，便可将任意内核内存（包括代码页）映射到GPU地址空间，从而实现内核任意代码读写，进而获得root权限并禁用SELinux。

绕过MTE：此漏洞利用完全绕过了MTE保护。MTE通过检查指针标签与内存标签的一致性来检测内存损坏（如越界访问或释放后重用），是一种强大的早期缓解措施。然而，本漏洞的利用不依赖于任何内存损坏或指针解引用。其核心是利用竞争条件造成的状态不一致，最终通过协处理器（GPU）直接访问物理地址。由于MTE主要在CPU端的软件内存访问路径上生效，GPU直接操作物理内存的行为完全不受其检查，从而规避了防护。

结论：尽管MTE是针对内存损坏漏洞的重大防御进展，但此漏洞表明，针对协处理器及其内核驱动程序的攻击仍可突破此类防御。文章强调，随着CPU侧硬件与软件安全缓解措施的不断增强，协处理器及其驱动将成为更具吸引力的攻击面。

Causal 2.0 – 初创公司现代化财务规划解决方案

核心目的

本文介绍了一款名为 Causal 的财务规划与分析平台（其核心理念为 Extended Planning and Analysis，即 xP&A），旨在为初创企业提供现代化、智能化的财务规划工具。该平台通过统一财务与运营数据，打破传统数据孤岛，帮助企业做出更快速、更明智的战略决策。

核心价值主张

• 统一规划，消除孤岛：传统上，财务与运营规划相互割裂，数据分散在不同系统（如HRIS、ERP、CRM）中。Causal 通过 xP&A 理念，将两者统一，提供实时、整合的洞察。
• 赋能决策，提升效率：平台帮助财务团队摆脱传统 Excel 的瓶颈，实现规划与报告的简化，从而提升运营效率与数据准确性。
• 云端解决方案，安全可扩展：作为“CFO 解决方案平台的首选”，Causal 在安全、可扩展的云端环境中运行，旨在统一数据、人员与战略，驱动卓越的财务表现。

平台关键功能与优势

1. 统一的实时洞察：整合财务与运营规划数据，提供单一事实来源，支持对市场变化做出快速反应。
2. 简化规划与报告：旨在解决 Excel 带来的协作与版本控制瓶颈，提升流程效率。
3. 无缝数据集成：能够轻松迁移并整合来自不同系统的数据。
4. 增强的准确性与数据质量：通过集中管理减少错误，提供实时、准确的数据视图。

客户成效与案例

平台已获得全球超过 6,000 家客户的认可，案例展示了其带来的具体效益：

• Bitpanda：利用该方案应对快速扩张，年度结账节省 2 个月，月度合并节省 4 天，并实现了IT层面的无缝数据集成。
• Condor：通过单一工具简化了报告和规划流程，并轻松从多个系统迁移数据。
• Urban Sports Club：获得了实时的流动性洞察与控制，建立了集中的财务数据枢纽，支持基于无错误数据的快速行动。

相关资源

网站还提供了资源中心，包含深度指南文章，如：

• 如何为组织选择合适的 xP&A 解决方案（列出7项关键特性）。
• 探讨 xP&A 如何成为应对不确定性和提升财务敏捷性的关键。
• 解释 xP&A 如何提供360°可视性以增强决策能力。

总结：Causal 2.0 是一个面向初创企业的现代财务规划平台，其核心是通过 xP&A（扩展规划与分析） 方法，整合财务与运营数据，旨在简化流程、提高数据准确性、赋能实时决策，并以云端安全架构支持企业规模化增长。

BootLogo：508字节的x86机器码Logo语言解释器

概述

BootLogo是由Oscar Toledo G.于2024年3月18日开发的一款极简Logo语言解释器，仅占用512字节（可作为启动扇区或COM文件）。它兼容8088处理器（原始IBM PC），甚至支持CGA显示模式。

主要特点

• 极致精简：核心代码仅508字节，采用x86汇编语言编写。
• 广泛兼容：可在VirtualBox、DOSBox、QEMU等模拟器或实际硬件上运行。
• 显示灵活：默认使用CGA模式（320x200x4色），也支持EGA/VGA模式（320x200x16色）。
• 命令行操作：通过键盘输入命令，支持退格键修正。

构建与运行

• 需使用Netwide Assembler (NASM) 汇编。
• 构建命令：
  • 生成COM文件：nasm -f bin bootlogo.asm -Dcom_file=1 -o bootlogo.com
  • 生成启动镜像：nasm -f bin bootlogo.asm -Dcom_file=0 -o bootlogo.img
• 运行示例（QEMU）：qemu-system-x86_64 -fda bootlogo.img

核心命令

配置选项

可通过汇编标签自定义：

• video_mode：视频模式（默认4为CGA，13为EGA/VGA）
• color1：命令行文字颜色（默认1）
• color2：绘图颜色（默认3）

示例代码

TO CURVE REPEAT 4 [LT 10 FD 10] END
TO PETAL [CURVE LT 140 CURVE] END
TO FLOWER REPEAT 4 [PETAL LT 50] END
FLOWER

致谢

感谢以下贡献者的优化建议：

• jcmeyrignac（数字解码优化）
• Jim Leonard（高精度正弦函数与BIOS服务建议）
• raulamd（更小的正弦函数参考）

扩展资源

作者在《Programming Boot Sector Games》一书中提供了8086/8088汇编速成课程及多个示例程序（如猜数字、井字棋、曼德勃罗集等），适用于进一步学习。

这篇文章主要反驳了“SQL是关系代数的语法糖”这一观点，认为该心智模型已过时且不足，尤其是在处理现代SQL的复杂特性时。作者通过具体示例和历史分析，阐述了两者转换的复杂性，并指出其对学习、工具设计和语言构建的意义。

核心论点 “语法糖”通常指纯粹局部、仅语法的简化转换，如JavaScript中的可选链操作符。然而，将SQL转换为关系代数远非如此：

1. 转换非局部：SQL的许多语法规则（如ORDER BY可以引用未出现在SELECT列表中的列）使得转换无法独立进行，必须考虑上下文。
2. 转换非纯语法：正确的转换依赖于语义信息，如数据库模式、列的类型、函数（标量、聚合、集合返回）的类别以及作用域规则，这需要大量的目录查询和类型推断。
3. 复杂性巨大：在实际系统（如Materialize）中，将SQL解析树转换为完全类型化、明确作用域的高层中间表示就需要约3万行代码，远超将Scheme编译到x86汇编的复杂度。

关系代数的扩展 为了表达SQL的全部功能，必须在Codd原始的关系代数基础上进行大幅扩展，包括：

• 多集合、空值与三值逻辑
• 排序、限制、聚合、分组、窗口函数
• 公共表表达式（CTE）与递归查询
• 丰富的标量表达式语言（含错误、数组等）

虽然扩展后的代数保持了便于优化和向量化执行的一些特性，但实际数据库的物理计划往往无法完全遵守。例如，处理标量子查询或相关子查询时，数据库普遍使用类似SubPlan的算子，它混合了标量和关系世界，将查询计划从树形变为有向无环图，给优化带来挑战。

历史与现状

• SQL在SQL-92标准之前曾禁止子查询包含自由变量，当时关系代数或可作为其合理模型。
• 此后的23年里，数据库普遍需要类似SubPlan的算子。
• 尽管2015年后学术界（如Neumann和Kemper）提出了将任意SQL查询转换为某种关系代数的方法，但只有少数系统（如Materialize, DuckDB）采用，大多数主流数据库对复杂查询仍依赖于非纯关系代数的算子。

启示 建立准确的心智模型至关重要：

• 学习SQL：应尽早理解其作用域和类型规则，而非仅将其视作关系代数的简单映射。
• 设计ORM或查询语言：必须仔细处理作用域规则、子查询和 lateral joins 的表达。新的查询语言应从一开始就支持嵌套关系和标量到关系的函数。
• 构建SQL的形式化模型（如用于模糊测试或验证优化）：不应从一阶关系代数出发，而应考虑以嵌套关系演算或类似Materialize的高层中间表示为基础。

Nvidia发布新一代AI芯片Blackwell，加速平台化转型

Nvidia在圣何塞开发者大会上宣布推出新一代人工智能芯片Blackwell，旨在巩固其作为AI公司核心供应商的地位。首款Blackwell芯片GB200将于今年晚些时候发货。CEO黄仁勋表示，现有Hopper架构芯片虽优秀，但市场需要更强大的GPU。

Blackwell芯片性能显著提升：基于Blackwell的GB200在AI性能上可达20 petaflops，远超H100的4 petaflops。这使得AI公司能够训练更大、更复杂的模型。Blackwell GPU包含专为Transformer模型设计的引擎，并由台积电制造，将两个独立的芯片粒整合为单一芯片。GB200 Grace Blackwell超级芯片结合了两个B200 GPU和一个Arm架构CPU。

Nvidia加速向平台公司转变：公司不再仅被视为芯片供应商，而正转型为类似微软或苹果的平台提供商。黄仁勋明确指出：“Blackwell不只是一个芯片，它是一个平台的名称。”

发布关键软件产品NIM：Nvidia同步推出了名为NIM的营收型软件（Nvidia Inference微服务），旨在降低AI部署难度，作为其企业软件订阅的一部分（每年每GPU 4,500美元的授权费）。NIM允许公司更轻松地在旧款Nvidia GPU上运行AI推理任务，保护其现有投资，并支持开发者在自有服务器或云服务器上高效运行AI模型，无需复杂配置。该软件有助于将原本调用OpenAI等服务的代码快速切换至本地Nvidia部署。

合作伙伴与市场布局：亚马逊、谷歌、微软和Oracle将通过云服务提供GB200的访问权限。例如，亚马逊AWS将构建一个包含20,000颗GB200芯片的服务器集群。Nvidia称GB200系统可部署高达27万亿参数的模型。新系统成本未公开，但基于Hopper的H100芯片单颗价格估计在2.5万至4万美元之间。

此次发布正值Nvidia股价和销售额自2022年底AI热潮以来大幅增长，旨在通过更强的硬件和更易用的软件平台，吸引客户持续投入，应对日益激烈的竞争。

文章概要

本文聚焦于《超级马里奥制造》（Wii U版）玩家社区“Team 0%”为在服务器关闭前通关所有未通关关卡而进行的终极挑战。文章核心内容如下：

• 目标与现状：“Team 0%”的长期目标是通关原版《超级马里奥制造》中所有曾未被除上传者以外的任何人通关过的关卡。经过多年努力，他们已将约85,000个此类关卡清零至仅剩最后一个，名为“Trimming the Herbs”。该关卡设计极其刁钻，是一个需要精准操作的《超级马里奥世界》风格的炸弹人挑战。
• 外部期限：此次挑战存在紧迫的截止日期——任天堂将于4月8日关闭Wii U在线服务，届时所有关卡将无法再被尝试通关。
• 团队历程：该社区始于2017年底，创始人Jeffie受到一份未通关关卡列表启发，发起了这个看似“愚蠢”的构想。团队从清理2015年上传的关卡开始，逐步壮大。2021年任天堂停止接受新关卡上传后，任务目标变得固定，吸引了更多玩家加入，并得到知名主播的推广。
• 挑战性质：多年来，团队攻克了大量“容易但无人问津”或“恶搞/陷阱”型关卡，并在过程中发现了游戏的新技巧和漏洞。清关过程虽繁重，但也因寻找隐藏设计和直播娱乐性而持续吸引参与者。
• 最终关卡“Trimming the Herbs”：该关卡由玩家Ahoyoo设计，被认为是技术的先驱。它要求约17秒内完成一系列高精度操作，团队中仅有不到10名顶级玩家有能力尝试。此前，关卡作者曾发布过自己的通关视频以证明其可行性。
• 社区心态：无论结果如何，参与者均珍视这段共同奋斗的历程。若失败，原因很可能就是这最后的“最终关卡”；若成功，通关者将成为《超级马里奥制造》史上最后一个获得“首次通关”荣誉的玩家。

文章概要

本文主要介绍了域名交易平台 ExpiredDomains.com，并展示了一个具体域名 r-u-human.com 的详细信息和售卖情况。内容围绕该平台的功能、优势以及相关的域名服务提供商（如GoDaddy）展开。

ExpiredDomains.com 平台简介

ExpiredDomains.com 是一个免费的在线平台，专注于帮助用户发现和筛选有价值的过期及即将过期的域名。它聚合了来自677多个顶级域名（TLD）的超过100万个域名列表，并提供可搜索、可过滤的数据视图，旨在为SEO专家、域名投资者和营销人员提供决策支持。

核心功能与数据

• 全面的筛选工具：用户可根据TLD、关键词、域名长度、外链资料、SEO评分、流量预估等多种维度进行筛选。
• 独家与第三方数据：平台不仅提供来自MOZ和Majestic等权威第三方的域名权重（Domain Authority）、信任流（Trust Flow）等数据，还包含其专有的指标，如预估拍卖价格、品牌排名和SEO价值。
• 数据更新：域名数据每日更新，确保用户看到最新的列表、价格和指标信息。
• 使用方式：平台本身不直接注册域名，而是引导用户前往GoDaddy等受信赖的外部注册商或市场完成购买或竞价。

具体域名展示示例（r-u-human.com）

文章以 r-u-human.com 域名作为示例进行了展示：

• 售卖信息：在GoDaddy上以195美元的“立即购买”价格出售。
• 域名属性：
  • 长度：9个字符
  • TLD：.com
  • WHOIS注册日期：2024年3月15日
  • 互联网档案馆（Wayback Machine）首次收录年份：2024年
• 平台描述：该域名已过期，现可供购买，是一个建立新品牌或为现有网站引流的新机会。

用户反馈

平台收到了大量来自用户的正面评价，主要称赞其：

1. 免费且无需注册即可使用大部分功能。
2. 数据全面且实用，尤其是对于寻找具有SEO潜力或品牌价值的域名。
3. 能有效节省时间，手动搜索域名的工作效率大大提升。
4. 界面功能强大，虽然初看复杂，但熟悉后非常高效。

平台优势与合作伙伴

• 平台优势：强调其拥有海量列表、独家数据、用户友好的界面以及在专业领域内的信任度。
• 合作伙伴GoDaddy：文中多次提及GoDaddy，作为全球最大的域名注册商，管理着超过8400万个域名，提供域名注册、网站托管、网站构建等一站式服务，并以99.9%的正常运行时间和24/7客户支持著称。ExpiredDomains.com常将用户导向GoDaddy完成交易。

macOS 14.4 更新引发广泛兼容性问题

苹果于两周前发布了 macOS Sonoma 14.4 更新，但随后用户和企业报告了大量兼容性问题，主要涉及外部设备失灵和软件异常。

主要问题概览

问题报告从多个渠道（Reddit、苹果支持社区等）不断涌现，且列表持续扩大。主要故障集中在以下方面：

• USB集线器失效：特别是内置在显示器中的USB集线器在更新后无法正常工作。此问题可能与macOS 13 Ventura引入的USB安全提示有关（要求用户确认新连接的USB-C配件）。部分用户通过设置系统每次都请求连接权限（而非默认的“一次授权后自动识别”）暂时恢复了USB集线器功能。
• 打印机驱动程序故障：部分打印机驱动出现兼容性问题。
• Java应用程序崩溃：一些Java应用程序在更新后出现意外闪退。
• 依赖PACE反盗版软件和iLok硬件加密狗的应用程序无法启动：此问题主要出现在Apple Silicon Mac上。iLok公司建议将相关数字音频软件以Rosetta模式运行作为临时解决方案，并表示苹果已承认此漏洞但未提供修复时间表。

问题特征与临时措施

多个问题似乎与Apple Silicon架构的Mac电脑关联性更强。目前，苹果官方已确认部分bug（如iLok相关问题）并在开发更新，但未公布具体修复时间。对于USB集线器问题，用户可通过修改系统权限设置尝试恢复功能，但这仅为临时应对方案。

此次更新后暴露出的兼容性问题范围较广，影响了从硬件外设到专业软件的多个层面，建议受影响的用户关注后续系统更新。

托马斯·P·斯塔福德（Thomas P. Stafford）宇航员于周一去世，享年93岁。他是一位退役的美国空军三星将军，曾执行过四次太空任务。

主要太空任务与成就：

• 双子座计划：曾执行两次双子座飞行任务，其中包括首次实现两艘美国航天器在轨交会（双子座6号与7号）。
• 阿波罗计划：
  • 阿波罗10号（1969年5月）：担任指令长，执行了首次载人登月前的最后彩排任务。他与吉恩·塞尔南驾驶着绰号为“史努比”的登月舱，降至距月球表面仅9英里（14公里）处，为两个月后的阿波罗11号登月任务铺平了道路。该任务创造了载人飞行器返回地球时的最高速度纪录。
  • 阿波罗-联盟测试计划（1975年）：作为美国方面指令长，指挥了历史上首次美苏联合太空任务。他在对接时用俄语发出“我们捕获了”的信号，标志着冷战时期两国重要的太空合作。
• 太空生涯总计：累计在太空度过507小时，驾驶过4种不同类型的航天器以及127种飞机和直升机。他是仅有的24位曾飞往月球的NASA宇航员之一，但并未登月。

退休后的贡献与影响：

• NASA顾问：在结束飞行生涯后，他成为NASA寻求独立建议的关键人物，议题涵盖载人火星任务、安全事务、2003年哥伦比亚号事故后复飞评估等。他曾主持一个监督小组，研究如何修复当时存在缺陷的哈勃太空望远镜，并因此获得NASA公共服务奖。
• 军事与技术研发：在美国空军服役期间，他不仅负责指挥空军顶级的飞行试验中心和测试基地，还曾负责著名的“51区”。据其博物馆的传记记载，在他负责期间及后来担任五角大楼发展和采购主管时，“撰写了技术规范并建立了项目，最终促成了F-117隐形战斗机以及后来的B-2隐形轰炸机的开发”。因此，他被誉为“隐形技术之父”。
• 推动国际合作：在20世纪90年代，他参与了关键讨论，促成了俄罗斯加入建造和运营国际空间站的合作。

个人背景与生活： 斯塔福德在俄克拉荷马州的韦瑟福德长大，自幼立志飞行。他以班级前1%的成绩毕业于美国海军学院，后转入空军。1962年，他被NASA选入第二组宇航员（同组包括尼尔·阿姆斯特朗等人）。他的太空经历也深化了他与苏联宇航员的友谊，例如阿列克谢·列昂诺夫。这种友谊深远，甚至在他70多岁时，列昂诺夫还帮助他安排收养了两名俄罗斯男孩。

退役后，他曾担任一家俄克拉荷马州运输公司的高管，后移居至佛罗里达州卡纳维拉尔角附近。他身后留有妻子琳达、两个儿子、两个女儿以及两个继子女。

“甚至不算错误”的20年

本文作者回顾其物理学博客创建20周年，对比了理论物理领域的现状与过去，并表达了对学术环境的深刻忧虑与个人感悟。

博客与传播方式的变迁

• 博客兴起于20年前，同期许多物理学博客出现，如今大多停更，仅少数如Sabine Hossenfelder的博客保持活跃。
• 科学传播方式转向视频（如Sean Carroll）和社交媒体，但作者质疑在Twitter等平台讨论复杂物理问题的有效性。

二十年间的学术观点

• 作者认为二十年前的许多观点经得起时间检验。LHC实验结果（标准模型希格斯玻色子存在、超对称缺失）符合当初最可能的预期。
• 个人视角随年龄和时代而变：20年前作者处于职业生涯中期，如今更接近终点。

理论物理领域的危机

• 弦理论的主导与失败：二十年来，弦理论作为推测性理论长期主导基础理论研究，但作者认为其早已失败。领域未能承认失败并转向，严重损害了理论物理作为严谨科学的地位。
• 实验停滞：达到更高能量尺度的技术困难，可能使作者一生无法获得超越TeV尺度的新实验数据。缺乏实验约束，理论物理已“严重脱轨”。
• 长期停滞：标准模型极其成功，却无实验指引改进方向，导致该领域约50年来进展艰难。
• 学术机构衰落：作者曾就读于哈佛、普林斯顿等精英机构，认为这些地方过去能提供良好训练。但如今，40年来在失败研究纲领中训练学生，已损害整个学科。学生被迫学习弦理论等失败理论的技术，而非前沿知识。
• 具体事件影响：近期一些学术项目（如文中讨论的计划）和“虫洞宣传噱头”使作者深感失望，认为学科领导者永远不会承认问题，甚至不惜以糟糕的前景（如将量子计算与AI炒作）换取资金和证明过去的正确。

个人层面的感受

• 尽管宏观环境令人沮丧，作者个人对物理学新想法持乐观态度，享受探索过程，认为余生在智识上仍将充实。
• 展望未来，作者对个人学术方向期待，但对整体领域的前景感到悲观。

FPGA的非常规使用摘要

本文探讨了FPGA（现场可编程门阵列）的非常规用途，强调理解其模拟特性和非理想行为的重要性，而非简单遵循制造商建议。这些技术可能带来性能提升或新应用，但也存在风险，如芯片损坏。

背景与原理

FPGA的数字电路本质上是模拟电路，在理想条件下表现为数字行为，但在特定条件下可利用其模拟特性。关键因素包括工艺、电压和温度（PVT）变化，这些会影响传播延迟、功耗和可靠性。理解这些现象有助于开发者探索FPGA的极限。

核心非常规应用

• 超频：通过提高时钟频率和电压提升性能，但需管理传播延迟和散热。稳定超频可借助环形振荡器测量延迟来实现。
• 环形振荡器：由查找表构成的延迟环路，产生频率随延迟变化的时钟。应用包括动态延迟测量、应变检测（通过频率变化感知物理弯曲）以及作为真随机数生成的熵源。
• 时间数字转换器（TDC）：用于高精度时间戳事件，分辨率可达皮秒级。利用抽头延迟线（TDL）和组合逻辑毛刺生成短脉冲，结合波联合TDC技术提升精度。
• 随机数生成与安全：
  • 真随机数生成器（TRNG）：基于环形振荡器或亚稳态产生随机性，用于加密。
  • 物理不可克隆函数（PUF）：利用工艺变异为每个FPGA生成唯一ID，可用于无电池备份的密钥源，但需抵抗PVT变化。
• 数据转换：
  • 数字模拟转换（DAC）：通过PWM、Delta-Sigma调制或多千兆收发器实现，用于音频或RF信号生成。
  • 模拟数字转换（ADC）：利用LVDS引脚的模拟比较器特性，结合斜坡或时间交错技术，适用于高速或低温应用。
• 频率合成与天线：FPGA可设计片上锁相环（PLL）用于RF前端，或利用布线作为天线进行数据传输（尽管接收更困难）。

关键考虑

这些技术依赖于FPGA的非理想行为，如传播延迟、亚稳态和组合逻辑毛刺。开发者需权衡风险与收益，并理解失败条件。例如，环形振荡器可能引起高功耗和局部过热；PUF需确保可靠性和一致性。

总之，探索FPGA的非常规使用能加深对硬件行为的理解，推动创新应用，但需谨慎处理潜在风险。

• 核心事件：日本央行（BOJ）于17年来首次加息，结束了长期实施的负利率政策（NIRP），标志着其超宽松货币政策时代的终结。
• 具体调整：
  • 将短期利率从 -0.1% 上调至 “0%-0.1%” 区间。
  • 废除收益率曲线控制（YCC）政策。
  • 停止购买交易所交易基金（ETF）和房地产投资信托基金（J-REITs）。
• 决策背景：
  • 日本经济温和复苏，工资与物价之间的良性循环变得“更为稳固”。此前，主要工会和企业（如丰田）宣布了超预期的薪资增长。
  • 全球通胀上升及其他央行加息，增加了日本央行退出负利率政策的压力。
• 政策前景与承诺：
  • 日本央行表示将继续以“大致相同的金额”购买长期国债，并在“一段时间内”保持金融环境宽松，暗示不会像其他主要央行那样激进加息。
  • 预计通胀率在2024财年将保持在2%以上。
• 市场反应与分析师观点：
  • 股市：日经225指数和东证指数在消息公布后波动，最终分别收涨0.7%和1.1%。
  • 汇市：日元走弱，兑美元汇率下跌1%。
  • 分析师认为此次加息已被市场预期。摩根士丹利称此决策是名义GDP、工资、物价和企业利润良性循环的结果。凯投宏观则预计日本央行不会进一步加息，并认为到年底通胀可能回落至目标以下。
• 潜在风险：日本央行提及经济活动和物价面临“极高的不确定性”，需关注海外经济、大宗商品价格以及国内工资设定行为的影响。

2024年3月13日，Let's Encrypt生成了10对新的中间CA密钥对，并签发了15个包含这些新公钥的中间CA证书。此次更新旨在为订阅者提供更小、更高效的证书链，从而提升速度、安全性和可访问性。

更新背景
此前在2020年9月，Let's Encrypt发行了一套新的根和中间证书，以推广ECDSA终端证书。但这些中间证书即将到期，因此需要更换。

新证书详情
新批次包括：

• 5个RSA中间证书（R10至R14），由ISRG Root X1签发，用以替代现有的R3和R4。
• 5个ECDSA中间证书（E5至E9），每个均对应两个证书：一个由ISRG Root X2签发（与现有的E1/E2相同），另一个由ISRG Root X1交叉签名。

轮换策略
为保持互联网敏捷与安全，Let's Encrypt采取以下措施：

• 缩短中间证书有效期：从五年减至三年，以更频繁地轮换证书，减少客户端软件（如密钥固定）的错误。
• 增加中间证书数量：从以往每类2个增至5个（2个活跃发行、2个备用、1个紧急备份）。
• 随机选择发行者：无法预测具体从哪个中间证书签发，从而杜绝密钥固定实践。

这些变化对普通用户无影响，但若订阅者曾固定中间密钥，可能需要调整（此情况极少见）。

更小的证书链
新ECDSA证书链优化显著：

• 仍提供短小的纯ECDSA链（终止于ISRG Root X2），但兼容性较低。
• 高兼容性链大幅缩短：默认链仅含一个交叉签名的中间证书（而非原先的两个），大小减少约三分之一。

其他细微调整

1. 主题密钥标识符字段计算：从SHA-1改为截断的SHA-256哈希，以移除不安全算法的使用。
2. 证书策略扩展：移除CPS OID字段，节省少量字节，提升TLS握手机制效率。

部署计划
未来几个月内，将轮换各两个RSA和ECDSA密钥对；其余分别作为备用或紧急备份。详细策略可参考2023年12月在社区论坛发布的更新。

Let's Encrypt依赖社区支持维持运营，并欢迎企业或个人通过赞助邮件或捐款支持其服务。

Atari Falcon030：Atari 的最后一款电脑

Atari Falcon030 是 Atari 公司在 1992 年宣布、1993 年上市的最后一款个人电脑。它标志着 Atari 试图在竞争日益激烈的计算机市场中占据一席之地的努力。

硬件与创新

• 处理器：采用摩托罗拉 68030 CPU，主频 16MHz。
• 显卡：搭载全新的 VIDEL 视频芯片，支持可编程显示模式，内置调色板高达 262,144 色，并支持真彩色模式。默认最大分辨率为 640x480，可通过第三方工具或硬件适配器提升。
• 显示输出：兼容标准 VGA 显示器，同时支持旧款 Atari ST 彩色和单色显示器。
• 存储：可内置 2.5 英寸 IDE 硬盘，配备标准 SCSI 接口用于连接外部设备（如硬盘、CD-ROM）。
• 数字信号处理器（DSP）：集成摩托罗拉 56001 DSP，增强了多媒体处理能力，使其能够显示 JPEG 图像和播放 MP3 音频，这在当时属于先进功能。
• 内存：基础配置为 1MB，可升级至 14MB（需定制扩展板），上限较低。

设计与市场困境

• 机箱：沿用 1985 年 Atari 1040ST 的单体式设计，仅更改颜色，键盘手感不佳且接口位置不便，未能体现高端产品的质感。
• 价格：基础版（1MB、无硬盘）售价 800 美元（约 2024 年 1700 美元）；4MB 内存、80MB 硬盘版本约 1300 美元（约 2024 年 2700 美元）。性价比被认为低于此前的 ST 系列。
• 竞争环境：上市时正值摩托罗拉 68K 处理器系列面临淘汰，苹果已转向 PowerPC 芯片，Atari 随后退出计算机市场。

操作系统

• TOS 4：默认单任务系统，部分兼容旧版 ST/TT 软件，但存在兼容性问题。
• MultiTOS：可加载的多任务操作系统，支持抢占式多任务（技术上优于当时的 Windows 和 Mac OS），但软件兼容性更差，导致用户不满。

历史意义与现状

Falcon030 代表了 Atari 在计算机硬件上的最后一次重大创新尝试，其视频和 DSP 能力在当时较为出色。然而，因上市时机不佳、定价策略失误及软件生态不足，它未能挽回 Atari 的市场地位。如今，Falcon030 已成为收藏品，二手价格高昂（常超过 2000 美元）。

RP2040 启动顺序摘要

本文详细阐述了从向RP2040芯片供电到用户main()函数开始执行之间的完整启动流程。该过程可分为几个连续阶段。

1. 硬件控制启动序列 此阶段由硬件自动完成，无需用户干预。上电后，内部电压调节器启动并稳定DVDD供电。随后，上电状态机按预定顺序使各硬件模块脱离复位状态，主要包括：启动环形振荡器，复位但不启动晶体振荡器（将在运行时初始化），使clk_ref和clk_sys时钟生成器脱离复位（最初使用环形振荡器作为时钟源），复位所有非引导外设，检查启动状态寄存器，最后使XIP、ROM/SRAM和总线结构脱离复位，并释放处理器开始执行ROM中的引导代码。

2. 处理器控制启动序列 处理器（核心0）从ROM开始执行。它首先检查SIO_CPUID1寄存器以确认自身是核心0，否则将挂起等待。若未处于救援模式，核心0会检查看门狗寄存器中的特定标志，以决定是跳转到SRAM中的代码，还是执行bootrom_main。若未按下BOOTSEL按钮，它将尝试从外部Flash启动：初始化SSI通道（通过特定GPIO），然后从Flash加载前256字节到SRAM，尝试所有可能的SSI时钟相位和极性组合，并计算校验和以寻找有效的Boot2代码。若找到，则跳转至Boot2入口点；否则，进入USB设备模式等待新程序。

3. 引导阶段 2 Boot2代码存储在Flash的前256字节，并在SRAM中执行。它负责配置外部Flash芯片（因为不同的Flash芯片需要不同的QSPI配置），以便后续能够进行连续读取，最大化访问速度。Boot2不是固化在ROM中的，因为用户需要根据具体使用的Flash芯片型号（在板级头文件如pico.h中通过标志选择，例如PICO_BOOT_STAGE2_CHOOSE_W25Q080）来选择正确的配置代码。

4. 退出引导阶段 2 Boot2的最后部分是exit_from_boot.S中的代码。它从堆栈弹出一个值到寄存器r0，若该值非零，则将其视为地址跳转；若为零，则执行跳转到用户应用程序的序列。该序列将VTOR（向量表偏移寄存器）设置为XIP_BASE + 0x100（即Boot2之后用户向量表的地址），从向量表加载主栈指针和复位处理程序地址，设置栈指针，最后跳转到复位处理程序。

5. 复位处理程序 复位处理程序（通常位于crt0.S）负责初始化RAM并启动用户程序，主要步骤如下：

• CPU检查：确认是核心0在执行，否则将核心1挂起。
• 数据初始化：利用链接脚本定义的符号，将.data、.scratch_x、.scratch_y等已初始化数据段从Flash复制到RAM。
• BSS清零：将.bss段（未初始化数据）所对应的RAM区域清零。
• 平台入口：
  • 调用runtime_init函数，该函数负责重置外设、调用构造函数、启动晶体振荡器和PLL、初始化时钟、自旋锁、中断和闹钟等。
  • 调用用户的main函数，至此用户应用程序开始运行。

关键支撑：链接脚本 链接脚本定义了芯片的内存布局（如Flash起始地址0x10000000，RAM起始地址0x20000000），并负责组织由编译器生成的代码段（.text）和数据段（.data、.bss等）。.boot2必须位于Flash的开头。.data段在Flash中存储其初始值，但其运行地址在RAM中，因此需要在启动时从Flash复制到RAM。

Joel Spolsky 论技术招聘、文档与行业包容性 (2018)

演讲背景 Stack Overflow 与 Trello 创始人 Joel Spolsky 于2018年在“我们是开发者”大会上发表演讲，分享了他对编程行业现状的见解，内容涵盖技术招聘、社区文档价值以及行业包容性。

核心观点与内容

1. Stack Overflow 的影响力

   • 规模巨大：每月约5000万独立访问者，相当于全球程序员的总数。每月有近10万人贡献问题答案，每个被回答的问题平均能帮助1000人。
   • 关键作用：超过90%的流量来自通过搜索引擎直接找到现成答案的“偶然用户”，使其成为全球程序员的核心知识库。

2. 技术招聘的反思与批判

   • 自我检讨：Spolsky 认为自己是招聘问题的部分责任者。他在90年代于微软工作时撰写的《面试游击指南》（强调严格的编程测试）被谷歌等众多公司广泛采用，成为行业标准。
   • 方法过时：这种基于白板编程测试的“硬核”面试法在1995年或2005年或许是先进的，但到了2018年已显不足。它会导致许多优秀的实际工作者因不擅长应试而被错误拒绝，同时可能雇佣到擅长考试但实际能力平庸的人。
   • 提倡新方法：他主张采用更接近“学徒制”或“实习制”的招聘方式。降低初始筛选门槛，给予候选人一段实验期（如一两个月），通过实际工作来评估其真实能力。Stack Overflow 等公司已开始尝试这种模式。

3. 关于文档与知识分享

   • 传统文档的失败：官方文档常因撰写者不了解细节、开发者不愿为内部Wiki撰写“作业”、或难以把握详略程度而失败。
   • Stack Overflow 的优势：其问答格式创造了“恰到好处”的即时文档。用户反馈（如采纳答案的绿色对勾）能自然筛选出最有价值的内容，解决了“知道何时停止”提供细节的难题。

4. 呼吁包容性与社区文化

   • 存在排外性：用户之间交流网站规则时可能缺乏友善，这种不友善的氛围正在将新人——尤其是潜在的多元化人才——驱逐出编程领域。
   • 紧迫的多元化问题：如果未来由一屋子21至27岁的白人男性编写脚本，将与一个更多元化的群体创造的未来截然不同。过去10-20年，参与编程的女性数量在下降，这明确指向系统性而非个人偏好问题。
   • 行动倡议：他呼吁社区成员，尤其是有影响力的开发者，采取行动：
     • 在Stack Overflow上：对新手更友善，耐心解释规则。
     • 在行业实践中：帮助公司实习生、参与编程训练营教学、撰写教学博客、在技术会议上演讲。
   • 长期目标：通过每个社区成员的微小努力，将 Stack Overflow 及整个编程领域塑造得更加热情、包容，让新成员感到受欢迎并愿意回馈，形成良性循环。

总结 Spolsky 指出编程行业面临的关键挑战：过时的招聘方法、有效的知识分享机制，以及阻碍行业多元化发展的社区文化。他基于 Stack Overflow 的成功经验，倡导更务实的学徒制招聘、肯定问答式文档的价值，并强烈呼吁整个社区致力于创建一个更友善、更包容的环境，以吸引并留住更多样化的人才来共同编写未来。

本文是关于历史聊天机器人ELIZA（伊莉莎）的多项重要研究发现的报道。核心内容包括：

• 原始ELIZA的复原：研究人员成功在模拟的IBM 7094计算机和MIT兼容分时系统上，重新运行了Joseph Weizenbaum于1960年代初期编写的最初版本ELIZA程序（使用MAD-SLIP语言）。这是该程序近60年来首次在其原生环境中运行，整个技术栈已开源。
• 发现Weizenbaum的未发表论文草案：在MIT档案馆中发现了一份由Weizenbaum亲手签名的论文大纲。该草案详细阐述了他为ELIZA设想的未来研究方向，包括对沟通误解与修复的实验、在教育领域的应用，以及一个神秘的结尾句子：“建立一个数学模型”。
• 发现原始对话记录：从社会学家Harold Garfinkel的档案中，发现了ELIZA与真实用户进行对话的原始打印输出记录，据信这是目前发现的唯一真实人机对话实例。
• 其他ELIZA相关项目：报道还涵盖了多项与ELIZA相关的研究和复原项目，包括：
  • 将ELIZA运行于PDP-10模拟器上的ITS操作系统。
  • 基于不同编程语言（如Lisp、BASIC、COBOL、JavaScript）的ELIZA实现版本及其历史背景。
  • 将ELIZA与语音合成技术结合的实验。
  • 一部以ELIZA为灵感的游戏《Eliza》。
  • 学术界对ELIZA的文化和历史影响的研究。

五年研究未发现“哈瓦那综合征”患者存在脑部异常

美国国立卫生研究院（NIH）一项历时近五年的研究发现，在患有被称为“哈瓦那综合征”的神秘健康问题的美国外交官及其他政府雇员中，未检测到脑损伤或退化的迹象。该研究结果发表于《美国医学会杂志》（JAMA），但并未能解释这些症状的根本原因。

主要研究发现

• 无显著脑部异常：研究人员使用先进的MRI扫描技术对80多名患者进行检查，将其大脑的体积、结构和白质（脑损伤或退化的标志）与同使馆内健康政府工作人员进行比较，未发现显著差异。
• 认知测试正常：在认知功能及其他测试中，患者与对照组之间也未发现显著差异。
• 症状真实存在：研究负责人强调，患者经历的头痛、平衡问题、思维和睡眠困难等症状是真实且严重的，可能造成显著的功能障碍。

平衡问题与心理健康影响

• 约28%的患者被诊断出患有持续性姿势-知觉性头晕，这是一种与内耳问题及严重压力相关的平衡障碍。
• 患者群体报告了更多的疲劳、创伤后应激症状和抑郁。

争议与未解之谜

• 病因不明：研究未能解释症状起源，也未探讨是否可能由武器等外部因素引发。
• “定向能量”攻击理论：早期曾怀疑外国对手使用定向能量进行攻击，但去年美国情报机构已表示无证据表明有外国对手参与。然而，部分代表患者的律师仍坚持此理论，并对研究方法提出质疑。
• 研究局限：有科学家指出，研究设计及现有医疗技术的局限可能遗漏了一些线索，并呼吁进行更多研究以应对未来的类似健康谜团。

研究结论

尽管未检测到持久的脑部病理改变，研究结论是，如果存在某种“外部现象”导致这些症状，它并未引起可被检测到的持久性生理变化。研究团队希望这些“令人安心的”发现能有助于患者专注于当下的康复治疗。

Tunnelmole 是一个开源且免费的 ngrok 替代品，旨在帮助开发者将本地应用安全便捷地公开到互联网。它无需 SSH 端口转发、无需 NAT 或网络配置，也不要求服务器端运行（除非用户自愿自托管 Tunnelmole 服务），相比一些其他 ngrok 替代品更简单实用。

功能与特点

• 通过 Tunnelmole，开发者能将本地应用通过生成的公网 URL 进行访问，实现 webhook 自动化、本地手机测试、远程分享等需求。
• 支持 Linux、Mac、Windows 子系统下的一键安装（官方 curl 脚本自动检测系统并安装相应版本），也可通过 NodeJS（16.10及以上）执行 sudo npm install -g tunnelmole 安装。Windows 下可直接下载 tmole.exe 并添加到 PATH。
• 安装完成后，运行 tmole 可查看帮助信息，验证安装状态。若安装失败，可能是 NodeJS 版本过低或其他未支持问题。

基本使用方式

• 启动本地Web应用，记录监听端口。
• 执行 tmole <端口号>，如应用监听8080端口，则运行 tmole 8080。
• 成功后将生成类似于 http://xxxxxx.tunnelmole.net 和 https://xxxxxx.tunnelmole.net 的公网地址，自动转发到本地端口。

作为项目依赖集成

• Node 项目中，可通过 npm install --save tunnelmole 添加依赖，支持 ES 和 CommonJS 模块导入。
• 使用示例（以端口 3000 为例）：

  import { tunnelmole } from 'tunnelmole';
  // 或 CommonJS:
  const tunnelmole = require('tunnelmole/cjs');
  const url = await tunnelmole({ port: 3000 });
  // url 为 tunnelmole 公网地址
  

• 支持自定义子域名（需订阅或自托管服务），如：

  const url = await tunnelmole({
      port: 3000,
      domain: 'mysite.tunnelmole.net'
  });
  // url 为 mysite.tunnelmole.net
  

自托管与扩展

• 默认使用官方托管服务，若需完全控制可自托管，详见 Tunnelmole Service 的 GitHub 仓库。
• 社区鼓励对安装脚本在 Cygwin/Mingw 等环境下进行测试与贡献。

Tunnelmole 由开源爱好者维护，特别适合 Node 开发者将本地服务公开到外网。其目标是为开发流程带来更高效率和便利性，同时维持安全与易用性。

本文探讨了人工智能（AI）思想起源中一个被低估的历史时刻，焦点是人类学家玛格丽特·米德在1968年的一次未发表采访中所披露的、关于数学家约翰·冯·诺依曼的早期洞见。作者在与物理学家肖恩·卡罗尔播客讨论其著作《迷幻乌托邦》后，决定公开这份藏于麻省理工学院档案中的珍贵访谈记录。

核心内容与发现：

1. 模拟假说的极早期版本：米德回忆，冯·诺依曼在二战后不久（约1940年代末）就在思考“我们是否可能正被一台计算机运行”的可能性。这比通常认为该假说诞生于2003年要早半个世纪以上，可能是已知最早的“模拟假说”表述之一。

2. 梅西控制论会议的背景：该想法源自著名的梅西控制论会议（1940年代末至1950年代初）。这些会议汇集了控制论、计算机科学和多个学科的先驱，包括冯·诺依曼、克劳德·香农、米德本人以及一些早期的迷幻研究者，构成了一个独特的、可称为“AI史前时期”的智识社群。

3. 对自我改进型AI的预见：米德不仅提到了模拟假说，还提到了冯·诺依曼关于计算机能够设计出比自身更优秀计算机的讨论。她提到了一个名为“Countess”的早期计算机项目，作为这种自我改进能力的例证。

4. 对计算机态度的文化差异：米德精辟地分析了美欧对机器态度的根本差异。她认为，欧洲（受一战后未来主义等思潮影响）普遍存在对机器的恐惧或敬畏，而典型的美国态度则将机器视为可制造、可修理、可控制的工具。她指出，冯·诺依曼是会议上最接近欧洲式“敬畏”态度的美国人，但即便如此，在喝了酒后才会流露。其他与会者大多持更实用、无畏的美国式观点。

5. 历史与当下的回响：作者认为，米德所揭示的这种历史态度分歧，预见了今日全球在数字技术与AI监管上的政策分歧——欧洲倾向于更谨慎、规制的模式，而美国则更侧重于创新与控制。米德在1950年代就已思考这些问题，显得极具前瞻性。

总结： 这篇文章通过挖掘一份历史访谈，揭示了AI思想史上一个关键但被遗忘的片段。它表明，关于计算机模拟现实、自我改进AI以及社会对技术不同态度的核心议题，早在数字计算机诞生初期就被像冯·诺依曼和米德这样的思想家深刻讨论过。这些早期思考为理解当前AI发展的文化与历史根源提供了重要视角。

距地球约3000光年的北冕座T星（T CrB）预计将在2024年2月至9月间发生一次新星爆发，肉眼可见。该爆发平均约80年一次，上次发生在1946年，因此是难得的观测机会。

北冕座T星平时亮度约为10等，肉眼无法看见。爆发时，其亮度将跃升至约2等，接近北极星的亮度，肉眼可见数天，双筒望远镜可观察约一周以上，随后逐渐变暗。

该系统由一颗白矮星和一颗红巨星组成。两者距离较近，红巨星因内部温度和压力升高而变得不稳定，其外层物质被抛射并被白矮星捕获，在白矮星表面堆积。积累的物质最终引发失控的热核反应，产生新星爆发。

观测时需寻找北冕座，它位于牧夫座和武仙座附近，呈小的半圆形弧线。爆发将在该星座内出现一颗“新”亮星。

北冕座T星是银河系中仅有的五颗再发新星之一。美国国家航空航天局（NASA）建议通过@NASAUniverse账号关注爆发动态。

事件响应中的“通话静默”问题

在处理高影响力软件故障时，沟通节奏会发生变化。有时协调紧密，有时则会出现静默。作为事件指挥官（IC），你的职责是保持问题解决进程向前推进，因此必须敏锐地识别静默并理解其含义。

静默的不同场景及应对

场景一：“马上就好”式的等待

• 情况：调查员Oscar宣布发现可疑日志后，通话陷入静默。其他成员（开发、支持）被动等待他给出结论。
• 问题：这可能是无效的等待。Oscar可能误入歧途（红鲱鱼），而其他成员本可利用这段时间并行调查或提供信息。
• IC的职责：打破静默，推动协作。例如：
  • 请求共享屏幕或日志链接。
  • 询问时间线是否与事件报告吻合。
  • 鼓励公开讨论各自的思考过程，以加强集体诊断。

场景二：“看起来不错”式的误解

• 情况：调查团队未发现系统性故障迹象，认为问题可能被夸大；而支持人员根据收到的连续报告确信存在真实问题。双方缺乏共识导致挫败性静默。
• 问题：对问题严重性判断不一致，沟通停滞。
• IC的职责：聚焦可观察症状，搭建理解桥梁。例如：
  • 询问是否有人能在浏览器中复现问题。
  • 请支持人员说明该问题报告频率的异常程度。
  • 引导团队寻找具体的证据（如非200的响应日志）。

场景三：“让我先看看”的延迟理解

• 情况：新成员加入通话，需要时间阅读历史记录才能跟上进度。在沉默期间，他可能已经具备关键知识（如知道当前线索是红鲱鱼），却未能及时贡献。
• 问题：信息同步延迟导致潜在解决方案被搁置。
• IC的职责：主动为新成员提供上下文。小规模通话中可口头简要说明；大规模团队则需依赖持续更新的共享文档（不仅仅是事件时间线，更需突出当前诊断状态），并可指定“记录员”角色。

场景四：“给我五分钟”的功能性静默

• 情况：调查员请求暂停沟通，以集中精力追查线索、收集数据或研究问题，并明确后续时间点。
• 性质：这是一种健康、有目的的静默。
• IC的职责：确保所有非平凡的静默都是这种“功能性”的。首先明确沟通谁在做什么及原因，然后再允许暂停。

核心要点

• 静默常是沟通失败的信号：当团队对目标、进度或角色缺乏共同理解时，静默会滋生，阻碍协作效率。
• 事件指挥官的关键作用：
  1. 积极识别：辨别静默是源于等待、误解还是需要深度思考。
  2. 主动干预：通过提问、请求分享信息、澄清事实来打破非生产性静默。
  3. 维持同步：确保所有人（尤其是新加入者）对当前行动方向和原因保持一致理解。
  4. 结构化流程：在复杂事件中，使用共享文档和明确角色（如记录员）来维持信息流动。

总结：有效的事件响应依赖于持续的、有目的的沟通。事件指挥官的核心技能之一，就是管理通话中的静默——将其转化为推动问题解决的协作时刻。

Quickwit 0.8: 实现 PB 级索引与搜索

Quickwit 0.8 版本是其面向日志和追踪的云原生搜索引擎的关键里程碑，标志着其已成功扩展至PB级数据规模。此版本的核心改进集中于可扩展性、效率和性能等“不可见”领域，而非大量新功能。

核心升级：PB级扩展能力

通过与客户和用户的深入合作，Quickwit 0.8 成功应对了以下严苛场景的挑战：

• 节点规模：扩展至 200 个节点。
• 索引速度：达到每天 1 PB（相当于 13.4 GiB/s 或 1400万文档/秒）。
• 索引数量：支持多达 3,000 个索引。
• 数据规模：可搜索数据总量达数 PB，最大生产集群处理约 40 PB 未压缩日志，包含 50 万亿条日志条目，单个索引存储于 S3 的数据达 7.5 PB。

这些成就源于解决了在扩展过程中发现的一系列性能瓶颈和效率问题。

成本与性能优化

文章重点分析了对象存储（如S3）的请求成本模型。PUT 请求成本较低，但 GET 请求成本可能随查询量增长成为主要开销。Quickwit 0.7 引入的本地磁盘缓存和 0.8 版本的多项搜索优化显著提升了查询性能（QPS），基准测试显示有大幅改进，使得在中等规模数据集上实现数百 QPS 成为可能，拓宽了如金融等领域的应用场景。

可见功能更新

1. Grafana 插件增强 (v0.4.0)：提供更无缝的搜索体验，功能包括：

   • 字段名和值的自动补全提示。
   • 用于探索日志行前后内容的上下文查询编辑器。
   • 方便的临时过滤器支持，可轻松过滤整个仪表板。 注意：此插件要求运行 Quickwit 0.8。

2. 分布式摄取 API（Beta版）：旨在高效处理大量索引，是多租户场景的变革性功能。在测试中，一个拥有 10 个索引器节点的集群成功运行了 3,000 个索引。用户可通过设置环境变量 QW_ENABLE_INGEST_V2=true 来激活测试。

未来展望

• Quickwit 0.9 优先目标：正式发布分布式摄取 API。
• 开发中功能：索引配置与模式更新、OpenSearch Dashboards 支持。
• 合作伙伴关系：正与云服务提供商合作，为其日志服务提供动力。

使用约束求解器进行编译器后端问题建模

核心思想

编译器后端问题（如寄存器分配、指令选择、指令调度）可以通过声明式约束求解器进行建模和求解。这种方法的核心是将这些子问题表达为相互关联的约束，利用约束规划技术（CP、SAT、SMT、ASP等）一次性或协同求解，而非传统编译器中顺序执行各阶段的启发式算法。

主要优势与挑战

• 优势：声明式、灵活、易于修改；能够避免阶段排序问题（phase ordering problem），理论上可获得更优解；适合探索设计空间。
• 挑战：建模复杂度高；求解速度可能慢于专用启发式算法；需要处理序列化和求解器交互的工程问题；模型可能过于僵化，难以适应实际架构细节。

关键技术与示例

1. 寄存器分配：可建模为图着色问题。示例使用Z3求解器，通过反向遍历程序块同时进行活跃性分析，生成约束（如寄存器分配互异、满足指令特有限制）。
2. 指令调度：需要考虑依赖关系和资源约束，使用最小化指令周期或资源占用的目标函数。
3. 指令选择：可通过模式匹配（树、DAG或图）将高级操作映射到机器指令，使用约束选择覆盖程序的指令集。

工具与实践

• Z3：用于小型示例和原型验证，支持SMT求解。
• Minizinc：用于建模更复杂的问题（如VIBES项目），支持约束规划。但存在序列化开销、模型可读性差等问题。
• 答案集编程（ASP）：适合结合数据流分析和组合优化，但需进一步验证。

与超级优化的区别

• 约束编译：关注操作数的依赖关系和指令调度，抽象层次较高，扩展性较好。
• 超级优化：深入指令语义，搜索空间巨大，通常用于小程序优化，扩展性差。

实际应用案例

• VIBES项目：尝试在二进制修补中应用约束编译，但发现模型过于复杂，序列化代价高，最终认为传统编译器架构更实用。
• Unison编译器：成功将约束求解用于寄存器分配和指令调度，尤其适用于VLIW架构，其模型基于Minizinc并可扩展。

未来方向

• 结合e-graph等数据结构进行优化。
• 探索更轻量级的模型（如浅嵌入式DSL）以简化建模。
• 研究混合方法，将约束求解用于关键子问题，其余用传统启发式。

总结

约束求解器为编译器后端问题提供了统一的声明式建模范式，能有效处理子问题间的相互依赖，尤其在探索设计空间和避免阶段排序问题上有潜力。然而，其实用性受建模复杂度、求解速度和工程成本限制，更适合研究或特定场景（如二进制修补、VLIW架构）的优化。

Okapi CRM 产品摘要

产品介绍

Okapi 是 YC W24（Y Combinator 2024年冬季批次）推出的一个新CRM（客户关系管理）产品，旨在提供现代用户体验（UX）和高度灵活性。创始团队 Ulysse 和 Ned 将其描述为“如果 Airtable 或 Notion 在今天构建 Salesforce 会是什么样子”。产品专注于解决传统CRM（如 Salesforce）的痛点，如缓慢、笨重的界面，同时保留核心灵活性。

核心理念

• 灵活性：类似 Salesforce 的 SObjects 概念，允许用户像在电子表格中添加工作表或列一样，自定义数据层（如添加新对象和字段）。这种通用数据层支持 CRUD 操作、报告和自动化。
• 现代用户体验：在保持灵活性的基础上，叠加现代化的 UX 设计。团队认为，2024年赢得CRM市场的关键在于结合 SObjects 的灵活性与良好的用户体验。
• 工程优势：现代SaaS生态提供了众多供应商和工具，使得实现优秀UX比25年前的Salesforce更容易。

对Salesforce的分析

• Salesforce 的核心是一个通用数据库和UI，用于数据CRUD操作，加上API和集成生态系统。
• 用户购买Salesforce主要为了避免业务风险，而非追求愉悦体验。
• SObjects 是Salesforce的创新点，它允许用户配置数据层，类似于电子表格的灵活性，但其他模仿者往往忽略了这一关键洞察。

反馈与测试

• 团队积极寻求Hacker News社区的反馈，并提供了多种测试方式：
  • 视频演示：https://www.youtube.com/watch?v=4uRBf_9CRyM
  • 试用链接：https://app.okapicrm.com（使用邮箱 hn.login.user@okapicrm.com 和密码 sk9ueEAfhXP9j4cuxLCVmw7）
  • 邮件集成测试：发送邮件至 hn.demo@okapicrm.com，可在 https://app.okapicrm.com/objects/emails/records 查看（延迟约10分钟）。
• 具体问题：团队询问是否需要类似Salesforce的Apex功能（应用内自定义脚本），或者这仅是Salesforce作为应用平台添加的附加功能。

总结

Okapi 是一个注重灵活性和现代UX的CRM产品，借鉴Salesforce的SObjects理念，但通过当前技术栈优化用户体验。团队寻求社区反馈以完善产品，特别是关于高级功能如自定义脚本的需求。