Daylight Computer：全新60fps电子墨水平板

这是一款主打阅读、书写与高效工作的电子墨水平板，提供类纸显示体验。

核心功能

• PDF阅读与标注

  • 配备定制阅读应用，支持流畅滚动、缩放及PDF标注。

• 自由笔记

  • 可进行书写、绘图和制作自由形式笔记，体验类似真实纸张。

• 网页浏览

  • 可使用常用浏览器阅读文章和浏览网页。

• 电子书阅读

  • 支持通过Kindle、Kobo和Libby等应用阅读所有电子书藏书。

• 无干扰写作

  • 连接键盘后，可在任何应用中获得类打字机的无干扰写作体验。

• 流畅视频播放

  • 视频播放无残影，显示效果为刻意选择的黑白模式。

• 文档处理

  • 可在类纸显示屏上使用Google Docs、Notion等文档编辑器。

• 绘图应用

  • 配合手写笔和类纸表面处理，提供令人满意的绘画体验。

• 应用兼容性

  • 可运行所有Android系统可用应用，满足一站式应用需求。

产品规格

文章提及了“产品规格”部分，但未提供具体详细信息。

海伦·凯勒论自我意识觉醒前的生活

老师到来之前：无意识的“无世界”状态

海伦·凯勒描述，在家庭教师安妮·沙利文到来之前，她生活在一种“无世界”的状态中。她完全没有自我意识，不知道“我”的存在。她的内心生活是一片空白，没有过去、现在或未来，没有希望、期待、惊奇、喜悦或信念。她没有意志或理智，只是被一种盲目的自然冲动驱使着行动。

她通过触觉记忆回想起，自己从不皱眉思考，不会预先审视或选择任何事物，也从未因身体的一阵颤动或心跳而感到对任何事物的爱或在意。她对上帝、永生或死亡没有概念。这段时期既非黑夜，也非白昼，是吞噬空间的空虚，是凝固不变、无处安放的状态，没有星辰、地球、时间，也没有善恶。

本能联想而非思想

在那段时期，海伦拥有联想能力，但那不是思考。她能感知踩脚、开关窗户、关门等触觉震动，并基于经验做出反应（如下雨时跑去关窗）。但这种联想与动物避雨的本能无异。她模仿他人折好衣服、喂火鸡、给玩偶缝眼睛等行为，并对此有触觉记忆。

当她想要某样东西（如冰淇淋）时，她会在舌尖感受到美味，在手中感受到转动冰淇淋机的感觉，然后用手势表示。她称自己当时的“思考”和欲望都发生在指尖，并认为人如果由她创造，她会将大脑和灵魂置于指尖。她由此总结，正是意志自由（选择能力）和理性（由此及彼的思考能力）这两大官能的开启，才使一个人从孩童成长为成人。

意识的觉醒：从“我”的认知开始

当老师开始教导她时，她起初并未察觉自身脑中的任何变化或过程。她只是因通过老师教的手指动作能更容易得到想要的东西而感到快乐。她当时只想着物体，只想要物体，这就像转动一个更大的冰淇淋机。

真正的转折点发生在学习“我”和“我”的含义，并发现自己是一个“存在”的那一刻。海伦写道：“当我学到‘我’和‘我的’这些词的意义，并发现我是某种东西时，我开始思考。于是，意识对我而言才首次存在。”因此，带来知识的不是触觉，而是灵魂的觉醒，它首先赋予她的感官以价值，使它们能认知物体、名称、质量和属性。思想让她意识到了爱、喜悦以及所有情感。她渴望先知道、后理解，再反思所知所解，而先前驱使她随感官指令四处冲动的盲目力量则永远消失了。

思想、语言与世界的构建

海伦描述了从最初印象到抽象观念的渐进过程。她首先产生物理概念（源自物体的想法），它们起初类似触觉想法，然后瞬间转化为智力含义，之后含义在“内部言语”中得到表达。童年时，她的内部言语是在手指上拼写。尽管她至今有时仍会在手指上拼写，但她也用嘴唇自言自语，并指出当她第一次学会说话时，思维舍弃了手指符号，开始发音。然而，当她回想别人对她说的话时，她仍会意识到一只手在向她拼写。

随着经验的扩大和深化，童年那种不确定的、诗意的感受逐渐固定为明确的思想。海伦倾向于相信那些宣称我们除了自己的感受和观念外一无所知的哲学家。她认为，通过巧妙的推理，可以在物质世界中看到一个镜像，一个永恒精神感觉的映像。无论在哪个领域，自我认识都是我们意识的条件和界限。这或许解释了为何许多人对他们狭隘经验之外的事物知之甚少——他们向内心探寻，却一无所获，于是便断定自身之外也同样空无一物。

发现自我与建构世界

后来，海伦开始在他人身上寻找自己情感与感觉的映像。她必须学习内心感受的外在标志：恐惧的起始、痛苦的压抑控制的紧张、他人快乐时肌肉的跳动，这些都需要被感知并与她自身的经验进行比较，才能追溯至另一个无形的灵魂。在摸索和不确定中，她最终找到了自己的身份认同。在看到自己的思想和感受在他人身上重现之后，她逐渐构建起了自己的人类世界和上帝世界。她通过阅读和研究发现，这正是人类其余种族所做的事情：人向内心探寻，并最终找到宇宙的尺度与意义。

体素位移渲染器：现代化复古3D美学

概述

本文介绍了一款定制的实时渲染器，它使用极小的体素来呈现独特的视觉风格，从而将经典90年代3D游戏（如《毁灭战士》、《雷神之锤》）的外观现代化。其核心创新在于结合传统低多边形三角形网格与位移贴图来生成体素级别的表面细节，避免了传统体素工作流的限制，同时实现了视觉上“体素化”的效果。

美学动机

• 复古吸引力：90年代3D游戏因技术限制形成了简单的几何和像素化纹理，这种风格如今被视为一种复古美学。
• 核心问题：作者探索，如果环境表面的细节不是二维的“块状像素”，而是三维的“块状体素”会怎样？例如，让鹅卵石墙壁在保持像素化近距离观感的同时，呈现出几何深度。
• 目标：在90年代游戏外观与现代视觉效果之间取得平衡，实现“童年记忆中的《毁灭战士》”的效果。

技术背景：传统方法及其局限

传统体素方法

• 体素是三维网格中的立方体单元，常用于游戏如《我的世界》（大型纹理体素）和《拆解》（小型单色体素）。
• 创建方式：使用专门软件、构建模块组装或程序化生成，但耗时且通常仅适用于特定场景。
• 渲染与逻辑：整个游戏世界的几何、渲染和游戏逻辑均需基于体素运行，可能需自行开发物理、路径查找等系统。
• 主要缺点：工作流专门化，且在小体素规模下实现复杂系统成本高。

传统位移映射方法

• 位移贴图根据纹理定义表面凹凸，可快速增加几何细节。
• 离线应用：通过细分网格并移动顶点实现真实几何，但会导致多边形数激增，且对硬边或棱角处理不佳。
• 实时应用：如视差遮挡映射，能模拟表面细节，但在物体边缘处效果失效，轮廓仍保持平坦。
• 折中方案：壳映射可在轮廓处显示位移，但难以处理高曲率或硬边区域。

核心创新：混合体素与位移映射

作者的目标是：使用传统的低多边形网格（如经典3D游戏中的环境）和位移贴图，渲染出真正由体素构成的视觉效果，尤其要在原始网格的硬边处保持体素外观。

技术实现

该渲染器（基于C++/Vulkan）执行三项主要任务：

1. CPU预处理：将三角形网格连同位移贴图信息转换为GPU渲染所需几何数据。对于演示场景，单线程处理仅需0.5秒，结果可烘焙存储。
2. 纹理预处理：生成法线贴图等渲染所需数据，同样建议烘焙。
3. GPU渲染：利用预处理的数据，在GPU上绘制体素位移几何，几乎不消耗CPU资源。

性能

• 硬件要求：在Radeon RX 5700 XT上以1440p运行，帧时间4-9毫秒（110-250 FPS）；在Steam Deck OLED的原生800p分辨率下，场景大部分保持60 FPS以上，许多区域锁定90 FPS。

艺术资产创建工作流

资产类型

1. 纹理：
   • 反照率贴图：模仿复古游戏的调色板以强化视觉风格。
   • 位移贴图：提供精细高度值，可调整缩放以控制位移强度（单位对应体素移动数量）。渲染器按整数体素位移，但使用精确高度计算法线，使低于体素尺寸的特征也能影响光照。
2. 网格：
   • 使用传统的、带有着色法线的低多边形纹理映射三角形网格。
   • 法线标识了光滑曲面区域和需要保持锐利的边缘，渲染器会对锐边进行额外处理。
   • 示例：使用Blender建模，通过OBJ文件导出。

工作流优势

• 熟悉的工具：使用标准3D建模软件和纹理创作流程，无需专用体素编辑软件。
• 纹理复用：一个纹理（如石块纹理，通过三种颜色变体）可重复用于大量几何体，无需逐个体素创建。
• 解耦的游戏逻辑：由于环境本质上是三角形网格（体素仅为表面装饰），游戏的大部分系统（如物理、碰撞、路径查找）可直接使用原始网格。
  • 示例：演示中使用开源物理库，直接使用原始三角形网格作为碰撞体，实现第一人称移动和碰撞。
  • 特例：仅特定玩法系统（如射击游戏中的射线检测）需要体素感知。

渲染器的局限与未来方向

当前限制

• 仅适用于主要静态的环境几何，暂不支持小型装饰物、动态物体或角色动画。
• 光照系统有限（少量光源，无阴影、环境光遮蔽等高级效果）。
• 缺乏抗锯齿，远处地面尤为明显。

未来改进计划

1. 渲染器功能扩展：
   • 支持更小、动态的物体以融入该艺术风格。
   • 改进光照系统（可利用烘焙等灵活方案）。
   • 研发抗锯齿技术。
2. 技术整合：
   • 作者认为，将该渲染技术集成到现有游戏引擎中是最现实的路径，从而利用引擎已有的成熟系统（物理、音频等），而非从头构建全部。

总结

该体素位移渲染器通过创新性地结合低多边形网格工作流和体素级位移贴图，成功实现了现代化复古3D视觉风格。它在保留传统资产创作便利性的同时，使游戏大部分系统可继续基于三角形网格运行，为在现代游戏中实现这种独特美学提供了高效且可扩展的技术路径。

网站概述
该网页是Drew的个人网站，主要展示其博客、项目和活动。网站结构清晰，包含多个导航部分，但实际文章内容未直接呈现，页面重定向至标题为“Writing a Unix clone in about a month”的新URL。

主要内容板块

• 博客：列出最近文章，如“Vim Classic 8.3.0 released”、“New blog design”等，并提供订阅选项。
• 项目：展示选中的开源项目，包括SourceHut、Hare、Ares OS、Himitsu、Vim Classic，以及不再维护的项目如Aerc、Sway、wlroots。
• 演讲：列举演讲主题，如“Building and scaling Hare’s community governance”、“Introducing the Hare programming language”等。
• 团结：显示支持的社会事业，包括反法西斯、巴勒斯坦自由、跨性别权利和女性权利。
• 链接与联系：提供SourceHut、Codeberg、捐赠链接，以及电子邮件、PGP密钥和Fediverse联系信息。
• 关于：网站的基本介绍部分。

技术焦点
网页本身是网站布局的元数据，未包含Unix克隆文章的技术细节。重定向提示表明实际文章可能在其他位置，但当前内容主要反映网站的组织结构和资源列表。

总结
该页面作为Drew网站的入口，汇总了其技术项目、演讲和社会活动信息，但文章“Writing a Unix clone in about a month”的具体内容需通过重定向访问。网站强调开源贡献和社区参与。

犬神Kabosu离世

2024年5月24日早晨，全球网络文化标志性形象“Doge”迷因中的柴犬Kabosu因白血病和肝病，在主人佐藤敦子的陪伴下安详离世，享年18岁。佐藤敦子在Instagram和博客上宣布了这一消息，感谢多年来全球网友对Kabosu的爱与支持，并形容它“在感受到主人抚摸的温暖中如睡梦般平静离去”，确信它是“世界上最幸福的狗”。

Kabosu于2008年被佐藤敦子从关闭的繁殖场救助收养。2010年，佐藤将一张Kabosu露出奇特微笑的照片发布在个人博客上，这张照片随后被网友称为“Doge”（故意拼错的“狗”），并配以Comic Sans字体和刻意使用破碎英语的内心独白，迅速风靡全球，成为互联网最著名的迷因之一。

这一迷因的文化影响力深远，不仅催生了以它为标志的加密货币“狗狗币”（Dogecoin），该货币因埃隆·马斯克的多次推文而价值飙升；还衍生出一件价值400万美元的非同质化代币（NFT）作品。

在2022年12月，佐藤敦子曾披露Kabosu健康状况堪忧，被诊断出患有慢性淋巴细胞白血病和急性胆管肝炎，处于“非常危险的境地”。

本文系统介绍了2D刚体碰撞解决的基础概念与数学原理，是理解物理模拟中碰撞行为的入门指南。

核心概念界定

• 刚体：不发生形变的理想化物理模型，用于简化模拟。
• 碰撞处理两阶段：本文聚焦于碰撞解决，即根据物体运动状态、材质等确定碰撞后的响应，区别于检测重叠的碰撞检测。

碰撞的定义 碰撞并非简单的几何接触。一个严格定义的碰撞需同时满足两个条件：

1. 两物体的几何形状接触或重叠。
2. 两物体仍在相互靠近（即未开始分离）。

关键数学工具：点积与法向量

• 表面法向量：垂直于接触面并指向外部的单位向量，代表了最直接远离表面的方向。
• 点积：用于计算一个向量在另一个向量方向上的投影分量。其符号是判断相对运动方向的关键：
  • 点积为正：向量大致同向。
  • 点积为负：向量大致反向。
  • 点积为零：向量垂直。

碰撞判断的核心要素

1. 相对速度：两物体速度的矢量差，v_ab = v_a - v_b。它描述了两物体相互接近的快慢。
2. 碰撞法向量：垂直于碰撞接触点切线的单位向量。对于“顶点-边”碰撞，它垂直于被碰撞的边。
3. 相对法向速度：相对速度在碰撞法向量方向上的分量，通过点积计算：v_n = v_ab · n。其符号是判断碰撞是否发生的最终依据：
   • v_n < 0：物体正在相互靠近，发生碰撞。
   • v_n ≥ 0：物体已分离或恰好接触分离，不构成碰撞。

总结与下一步 本文将“碰撞”形式化定义为：当一物体上的点接触到另一物体，且两者相对法向速度为负时，即发生碰撞。同时，确立了用于描述碰撞前状态的关键方程（涉及初始速度、最终速度变化量）。这些概念为后续深入探讨碰撞背后的物理定律（如动量守恒、冲量计算）奠定了基础。

本文探讨逆向工程ESP32 Wi-Fi驱动的目标与未来工作方向。该项目旨在通过逆向工程ESP32的闭源Wi-Fi二进制驱动，构建开源的MAC层实现，以支持802.11s网格网络等新功能，并提高代码可审计性。

项目进展回顾 至此，项目已逆向了Wi-Fi数据包收发相关的硬件寄存器，实现了与开放AP的关联功能，并将收发功能集成到ESP32 IP协议栈中。同时搭建了低成本法拉第笼以减少外部干扰进行测试。

硬件初始化挑战 目前，Wi-Fi硬件初始化仍依赖原厂二进制驱动（通过esp_phy_enable函数完成射频校准等），仅替换其中断处理。最终目标是完全自主实现硬件初始化。分析表明，该初始化过程极为复杂，涉及约53,286次外围寄存器访问（对比发送一个Wi-Fi包约需10次），主要包含IQ相位匹配、天线匹配、补偿载波泄漏及各类非线性失真等射频校准工作。通过修改QEMU记录寄存器访问日志并生成火焰图可视化后发现，初始化流程包含大量底层函数调用，暂无明显简化捷径。当前计划是逐个函数进行替换实现与测试。

MAC层实现计划 在硬件初始化的同时，项目将并行推进Wi-Fi MAC层实现，负责AP扫描、认证/关联（包括WPA2）、速率/发射功率调整等核心功能。计划参考FreeBSD的802.11协议栈代码（原厂驱动也基于此）。目前，项目已能收发数据包和配置包过滤器，但尚未能设置发送数据包的速率、调制、频率及发射功率等参数——这些参数仍依赖硬件初始化后的默认设置（如信道1和最低速率）。为实现高性能Wi-Fi协议栈，需进一步逆向工程相关硬件寄存器以支持这些参数的配置。

总结 未来工作重点包括：1）持续逆向工程硬件初始化过程；2）参考开源实现构建完整的MAC层；3）逆向更多硬件寄存器以实现收发参数的动态配置。

LuaRT：面向Windows的Lua控制台与桌面应用开发环境

LuaRT 是一个针对 Windows 平台的 Lua 编程环境，用于开发控制台程序和桌面应用程序。

核心特点

• 快速易用：基于Lua语言进行开发，该语言以简单和高效著称。
• 对初学者友好：完全使用 Lua 语言进行开发，无需进行 C/C++ 编译。
• 支持面向对象编程：提供完整的 Lua 对象系统，包括构造器、属性、继承和混入等功能。

主要开发工具

• rtc Lua 编译器：能够将 Lua 脚本及其嵌入的资源编译成独立的可执行文件。
• 集成开发工具：
  • LuRT Studio IDE：用于编写和调试代码。
  • RTBuilder：用于设计桌面应用程序的用户界面。
• 功能模块齐全：内置多个 Lua 模块，提供原生图形用户界面（GUI）、音频、图形、网络以及 C 语言 FFI（外部函数接口） 等功能支持。
• 丰富的文档：提供超过 1000 页的文档，包含示例和教程。

这篇文章主要讲述了Broadcom公司在1998年InterOp展会上一次著名的工程演示——成功通过八段平行、生锈的带刺铁丝传输100 Mbps以太网数据。这次演示旨在展示其100BASE-T4网络芯片卓越的自适应均衡能力，并以此突出其产品的技术优势。

背景与技术核心：

1. 技术背景：Broadcom的芯片采用了全数字自适应均衡器，专为解决在低质量Cat-3线缆上高速传输时信号严重失真的问题。与当时使用可编程DSP芯片（速度约100 kbps）的方案不同，Broadcom使用专用数字状态机将算法速度提升了1000倍，使其能在高速下工作。
2. 演示设计：演示装置在一个玻璃箱中进行，内有八段带刺铁丝组成四对差分信号线。信号通过Cat-3线缆接入，在玻璃箱内耦合到铁丝对上，再通过另一段Cat-3线缆输出。铁丝对之间的间距被特意设置以控制关键传输参数。

成功的关键——传输线的“四大特性”： 文章指出，这次看似不可能的演示成功，关键在于带刺铁丝在演示设置下，完美满足了影响数字传输性能的四个核心电气特性：

1. 特性阻抗：通过调整铁丝间距，使其特性阻抗与两侧的Cat-3线缆匹配（均为100 Ω），避免了信号反射。
2. 高频损耗：系统将数据分配到四对线上，每对仅承载25 Mbps。在此低频下，4英尺长铁丝的高频损耗可忽略不计。
3. 信号延迟：由于采用空气作为介电质，铁丝的延迟实际上比PVC绝缘线缆更小，但此差异对串行通信架构影响不大。
4. 串扰：通过扩大铁丝对之间的间距（远大于对内线距），有效控制了串扰。

核心启示： 作者希望读者透过此演示认识到：决定数字传输结构性能的，主要是特性阻抗、高频损耗、信号延迟和串扰这四大电气特性，而非导体的物理外观或常规配置。只要这些特性得到妥善控制，即使像带刺铁丝这样非常规的介质，也能实现可靠的信号传输。

Porter Cloud 是一个类似 Heroku 的平台即服务（PaaS），其主要特点是提供了一个“弹出按钮”，允许用户在需要时将应用程序无缝迁移到 AWS、Azure 或 GCP 等主流云服务商的自有账户中。

该平台旨在为初创公司等开发者提供快速起步的便利，同时消除对传统 PaaS 产生依赖的顾虑。它简化了常见的 DevOps 工作，例如 CI/CD 设置、应用容器化、自动扩展、SSL 证书配置和反向代理等，用户只需几次点击即可完成部署，从而节省开发初期的时间。

Porter Cloud 的核心价值在于解决了传统 PaaS 的潜在问题：当应用规模扩大时，PaaS 可能会成为限制，且迁移成本高昂。通过“弹出按钮”，用户可以按需迁移到更底层、更灵活的云服务，整个过程通过几个简单步骤即可完成。

该团队拥有约三年的历史，最初的产品专注于帮助用户将应用部署到其自有的云账户。基于帮助大量公司从 PaaS 迁移至三大云厂商的经验，他们观察到许多初创公司明知未来需要迁移，但仍选择 PaaS 以换取初期的速度。Porter Cloud 正是为了应对这一“甜蜜的烦恼”，在保证起步速度的同时，为未来的规模扩展提供了灵活性。

Vane 是一款注重隐私的开源AI问答引擎，完全在用户本地硬件上运行。它结合了广泛的互联网知识，并支持本地及多种云端AI模型，旨在提供带引用来源的准确答案，同时确保搜索过程的完全私密性。

✨ 核心特性

• 多AI提供商支持：可通过 Ollama 使用本地大语言模型，或连接 OpenAI、Anthropic Claude、Google Gemini、Groq 等云端服务，并可根据需求混合使用。
• 智能搜索模式：提供“速度模式”、“平衡模式”和“质量模式”以适应快速查询、日常搜索和深度研究等不同场景。
• 可定制来源：支持从网页、讨论区或学术论文中搜索信息。
• 实用小部件：在搜索结果中显示天气、计算、股价等实用信息卡片。
• 隐私网络搜索：基于 SearxNG 驱动网页搜索，可访问多个搜索引擎且保护用户身份。
• 多媒体与文件搜索：支持图像、视频搜索以及上传文档（如PDF、文本文件、图片）进行提问。
• 域限制搜索：可将搜索范围限定于特定网站。
• 智能与发现功能：提供搜索建议和每日热门内容浏览功能。
• 本地历史记录：所有搜索记录均保存在本地。

🛠️ 安装与部署

Vane 主要通过 Docker 或从源码构建两种方式安装，官方强烈推荐使用 Docker。

1. Docker 部署（推荐）：

   • 一体化镜像：运行一个命令即可启动包含 Vane 和 SearxNG 搜索引擎的容器。
   • 使用现有 SearxNG：可通过环境变量指定已有的 SearxNG 实例地址，运行精简版镜像。
   • 从源码构建：克隆仓库后，使用 Docker 构建并运行自定义镜像。

2. 非 Docker 安装：需手动安装并配置 SearxNG，然后克隆仓库、安装依赖并构建运行项目。

⚙️ 配置与排错

• 访问 http://localhost:3000 进行设置，配置AI提供商密钥、模型等。
• 常见问题：包括与本地兼容 OpenAI API 服务器的连接、Ollama API 连接错误（需根据不同操作系统调整URL）以及 Lemonade 连接错误等，文中提供了详细的解决方法。

🔄 集成与使用

• 作为搜索引擎：可将其配置为浏览器的默认搜索引擎。
• API 接口：提供 API 供开发者集成到自己的应用中。
• 网络访问：基于 Next.js，支持在同一网络或通过端口转发访问。

🚀 项目状态与支持

Vane 是一个开源项目，持续开发中，计划添加更多小部件、集成、搜索源以及自定义代理和身份验证等功能。项目通过赞助、GitHub Star 和加密货币捐赠等方式获得支持，并欢迎社区通过提交 Issue 或加入 Discord 参与贡献。

路易斯·卡罗尔在1887年致《自然》杂志的信中提出了一种心算任何给定日期星期几的方法。该方法通过将日期分为世纪数、年份数、月份和日期四部分，逐步计算并求和，最终得出星期几的结果。

方法步骤：

1. 世纪项：根据旧历（1752年9月2日前）或新历（1752年9月14日后）计算。旧历中从18减去世纪数；新历中将世纪数除以4，取余数从3减去后乘以2。
2. 年项：将年份数拆分为完整的打数（除以12的商）、余数以及余数中4的个数，三者相加。
3. 月项：根据月份名称是否以元音开头或结尾，从10减去月份编号，加上该月天数得到下个月的值。文章列出了每个月的对应值（如一月0，二月3，三月3等）。
4. 日项：即日期的数字。

计算时将四项依次相加，若和超过7则除以7取余数。对于闰年（年份能被4整除，但新历中世纪数不能被4整除的世纪年除外）的一月或二月，需从总和中减去1（若总和为0则先加7）。最终数字表示星期几：0为星期日，1为星期一，依此类推。

文章通过两个例子（1783年9月18日和1676年2月23日）演示了方法的应用，展示了从计算到得出星期四和星期三的过程。该方法旨在提供一种快速心算日期的技巧，无需外部工具。

剑桥大学研究团队开发了一种名为“剑桥电力水泥”的回收方法，能将废弃混凝土转化为可再利用的水泥，有望大幅降低建筑业碳排放。该方法的核心是将旧混凝土破碎后，通过电弧炉在熔融钢铁环境中加热处理，使水泥重新活化形成熟料。这一过程不仅无需额外成本，还能与钢铁回收流程协同进行。

水泥生产是碳排放的主要来源之一，其熟料化过程约占混凝土总排放量的90%。尽管已有部分替代材料（如粉煤灰），但受限于供应量和化学激活需求，无法完全满足全球每年约40亿吨的水泥需求。研究团队发现，经过快速冷却处理的水泥渣与氧化铁结合，能形成适用于炼钢的优质渣料，并在此过程中再生出性能接近传统水泥的产品。

该技术已快速推进规模化，预计到2050年可实现年产10亿吨再生水泥，相当于当前全球水泥产量的25%。研究人员指出，除技术突破外，减少水泥与混凝土的过度使用同样关键，并呼吁政策支持以推动更广泛的创新应用。该研究已申请专利，并获得英国研究与创新署等机构的支持，成果发表于《自然》期刊。

• M4芯片架构升级：据报道，苹果M4芯片采用ARMv9指令集架构，取代了之前的ARMv8架构。这一升级是其性能提升的关键原因之一，有助于更高效地处理复杂工作负载。

• 性能优势：得益于新架构和台积电第二代3纳米制程工艺，M4芯片在Geekbench 6测试中相比M3、M2及M3 Pro实现了显著的性能领先，多核性能领先M2约45%。

• SME支持：ARMv9架构带来的Scalable Matrix Extension（SME）支持是M4的重要优势，该扩展能全面提升芯片性能，可能提升了其基准测试成绩。

• 竞争影响：分析指出，高通即将推出的骁龙8 Gen 4可能因基于骁龙X Elite而缺少SME支持，性能或落后于采用ARMv9架构的苹果A18 Pro。

• 未公开原因：苹果在发布会上未提及M4的ARMv9架构细节。外界推测，公司可能计划在秋季发布A18系列芯片时宣布此特性，以吸引用户升级iPhone 16。目前尚需更多测试确认该架构升级对M4性能提升的具体贡献。

文章总结：后量子密码学迁移的进展与挑战

核心主题：谷歌正在推动向后量子密码学迁移，以应对未来量子计算机对现有加密系统（如HTTPS）的威胁。本文重点介绍了Chrome浏览器在密钥交换方面取得的进展，分析了面临的挑战，并提出了未来认证体系升级的策略。

一、当前进展：部署抗量子密钥交换

• 行动：谷歌自Chrome 124版本起，默认在所有桌面平台的TLS 1.3和QUIC协议中启用**Kyber（ML-KEM）**抗量子密钥交换算法。
• 目的：防御**“先存储，后解密”**攻击。攻击者可能现在存储加密流量，待未来拥有量子计算机后解密。使用抗量子密钥交换可立即保护当前通信。
• 挑战：该部署暴露了部分现有TLS中间件产品的缺陷。为协助修复，Chrome提供了临时企业策略供用户选择退出。
• 策略：谷歌采用“机会主义”策略，通过实现标准草案并基于反馈迭代，为标准制定提供实战经验。这是QUIC和TLS 1.3成功开发的关键。

二、核心挑战：后量子密码学的尺寸与Web PKI僵化

1. 尺寸问题严重：

   • Kyber密钥交换比现有的X25519体积增大约30倍（~1KB vs 32字节），导致TLS握手延迟在桌面平台中位数增加4%，对移动网络影响更显著（故暂未在Android启用）。
   • 用于身份验证的ML-DSA（Dilithium）算法，其密钥和签名尺寸比ECDSA增大约40倍。简单替换将导致握手数据量激增约14KB，可能带来20-40%的延迟增加，严重影响性能。

2. Web公钥基础设施（PKI）缺乏敏捷性：

   • 当前站点通常使用单一证书服务所有客户端。这种模式导致新旧客户端、不同浏览器/信任根之间的兼容性冲突。
   • 问题：为支持新算法（如后量子认证），站点可能被迫牺牲安全性以兼容旧客户端，这严重阻碍了密码学升级。

三、未来方向：优先实现信任锚敏捷性

• 关键目标：解决认证升级的瓶颈，比立即标准化后量子认证算法更重要。
• 解决方案：推行多证书部署模型，允许服务器根据客户端支持情况提供不同的证书。
  • 优势：实现信任锚敏捷性，允许不同客户端以不同速率进化；可灵活添加或移除使用实验性后量子认证方法的信任层级；简化过渡。
• 机制提案：谷歌在IETF会议上提出了**“Trust Expressions”**作为TLS中的信任锚协商机制，并正寻求社区反馈。
• 更长远方案：在实现敏捷性后，可探索更高效的认证方案，如Merkle树证书。
• 标准化建议：谷歌反对立即通过CA/Browser论坛将ML-DSA标准化用于公共Web PKI的X.509证书中。它认为ML-DSA在未来会发挥作用，但当前应优先实现敏捷性机制。此建议不影响私有PKI的使用。

结论

谷歌的后量子密码学策略遵循清晰的优先级：先密钥交换，后认证。密钥交换的部署已开始，以对抗即时威胁。而认证升级面临更大的尺寸和生态系统挑战。其核心思路是，通过引入信任锚敏捷性作为根本机制，为未来引入各种后量子认证方案铺平道路，最终构建一个更安全、健壮和高性能的后量子互联网。任何方案的首要需求都是一个允许客户端在服务器支持时自愿加入后量子安全认证的迁移机制。

谷歌AI驱动的搜索功能出现了引用错误，将讽刺新闻网站《洋葱》（The Onion）的虚构内容作为事实信息呈现给用户。

具体案例中，用户在谷歌搜索“我每天应该吃多少石头”时，AI生成的结果显示，“加州大学伯克利分校的地质学家”建议“每天至少吃一小块石头”。然而，这一信息的实际来源是《洋葱》网站于2021年发表的一篇讽刺文章。

《洋葱》的首席执行官本·柯林斯（Ben Collins）已经注意到了这一现象。此事件凸显了谷歌基于AI的搜索摘要功能在核实信息来源方面可能存在的缺陷，尤其当原始内容本身属于讽刺或虚构类别时。

将Cisco 7609路由器改装为啤酒龙头

本文记录了2020-2021年间，作者与朋友们将一台废弃的Cisco 7609核心路由器改造为功能性啤酒龙头的详细过程。

项目起源与动机

• 项目源于在DreamHack游戏展上看到的展示用网络机柜，作者认为仅作为静态展示“不够彻底”，于是萌生了将路由器改为啤酒龙头的想法。
• 通过网络架构师Wberg，团队获得了一台二手但可工作的Cisco 7609路由器（约100公斤重）。

技术挑战与初步方案

目标：让改装后的路由器外观像正常运行，同时具备啤酒出酒功能。主要约束包括：

1. 所有前端LED需正常工作。
2. 以太网和光纤接口需保持连接状态。
3. 去除原装风扇的巨大噪音。
4. 可控的端口亮度。

最初方案：保留并驱动原有线卡上的LED，但发现各线卡LED类型不一（绿/橙双色且无内置调光），需制作7种不同的控制电路，且多层PCB板上的LED若损坏难以维修，方案复杂且不现实。

最终解决方案

硬件改造

1. LED照明：采用APA102可寻址LED灯带替换所有原有LED。
2. 光传导系统：使用光纤将LED灯光传导至前端面板的每个端口指示灯位置。灵感来自“星空顶”装饰，光纤完美满足柔性传导和精准定位的需求。
3. 3D打印部件：设计并打印参数化的“聚焦器”和“接收器”部件，用于固定LED灯带并对准光纤，确保光纤与前面板端口精确对齐。针对不同线卡（如48端口线卡空间仅约5mm）进行了特殊设计优化。
4. 线缆连接：保留并重新整理以太网和光纤线缆，使其看起来像正常连接。

软件开发

• 开发名为slisko的Go语言软件，运行于树莓派，通过SPI接口控制LED。
• 软件模拟真实路由器的LED闪烁模式（负闪、多级速度、按线卡同步），并包含用于开发调试的模拟器。

电气问题解决

• 初期遇到LED闪烁问题，由密集APA102灯带引起的电气噪声导致。最终通过在每个48端口线卡的电源端焊接1000μF电容解决。

啤酒系统集成

• 使用Lindr Kontakt 40K啤酒冷却器作为制冷单元，通过定制黄铜适配器连接3/8英寸管道，将啤酒输送至安装在路由器空白面板上的两个镀铬酒龙头。
• 所有管道包裹保温材料以保持啤酒低温。

项目成果与总结

• 项目在活动中成功运行，所有啤酒售罄。路由器外观逼真，LED闪烁效果模仿真实设备，啤酒系统工作正常。
• 关键收获：
  • 跨时区硬件项目协作困难，远程沟通不如实际动手验证。
  • 电气噪声问题应提前解决，现场调试耗时。
  • 密集LED灯带焊接需注意连接可靠性。
  • 光纤是解决小空间光传导问题的理想方案。
• 原路由器的背板被作为奖品赠送给活动中消费“差评”啤酒最多的客人。

该项目综合运用了硬件改装、3D建模打印、嵌入式编程和管道工程，将废弃网络设备转变为独特的酒吧装置。

热力学自然梯度下降

核心问题：二阶优化方法（如自然梯度下降NGD）收敛性优于梯度下降，但因其计算开销巨大（如需要求解线性系统），在实际大规模训练中难以应用，这被视为数字计算机的硬件限制。

核心方案：本文提出了一种新的混合数字-模拟算法用于训练神经网络。该算法在特定参数设置下等效于自然梯度下降，但规避了传统NGD中计算成本极高的线性系统求解步骤。

技术原理：该算法利用了模拟系统在平衡态下的热力学特性，因此需要一个热力学模拟计算机。训练过程在一个混合循环中进行：在模拟系统进行动力学演化的同时，以固定的时间间隔在数字端计算梯度和费雪信息矩阵（或其他正定曲率矩阵）。

实验验证：通过在分类任务和语言模型微调任务上的数值模拟，证明了该方法相对于现有最先进的数字一阶和二阶训练方法具有优越性。

• 错误消息：指示在x.com上发生了错误，但鼓励用户不要担心，再试一次。
• 原因分析：指出隐私相关扩展可能是导致问题的潜在因素。
• 解决方案：建议禁用这些扩展并重新尝试操作。

Spotify 将于12月停用 Car Thing 设备且拒绝退款

事件概述

Spotify 宣布将于 12 月 9 日彻底停用（“变砖”）所有已售出的 Car Thing 车载智能设备，且不提供任何退款或以旧换新选项。官方建议用户将设备恢复出厂设置，并按照当地电子垃圾回收指南将其安全丢弃。Spotify 表示，此举是为了精简产品线以专注于开发新功能，且未来不会推出该设备的后续产品。

产品背景与争议

Car Thing 于 2021 年底限量推出，2022 年 2 月全面上市。2022 年 7 月，Spotify 因需求和供应链问题宣布停产，但当时将售价从 90 美元降至 50 美元继续销售，并承诺设备会继续正常运行。 该设备的实用性一直备受质疑：它不仅要求用户订阅 Spotify Premium，还必须通过蓝牙连接手机使用，功能与 Apple CarPlay 和 Android Auto 高度重叠。此外，该项目在 2022 年第一季度就给 Spotify 造成了超过 3100 万欧元的财务损失。

用户反馈与开源呼吁

Spotify 的决定引发了用户的强烈不满。在 Spotify 社区和 Reddit 等论坛上，大量用户对设备变砖且无退款表示失望，认为这种做法“完全不可接受”。 许多用户呼吁 Spotify 将 Car Thing 开源或解锁系统，允许用户刷入第三方固件。用户认为这不仅能避免设备直接沦为电子垃圾，还能让社区对其进行自定义和二次开发，发挥其余热。

官方态度与文章评价

面对用户的开源诉求以及对电子垃圾和资金浪费的担忧，Spotify 拒绝作出正面回应。公司发言人仅重申，该项目的初衷是为了了解用户在车内的收听习惯，如今项目已彻底结束。 文章指出，Spotify 让消费者花费近 100 美元为公司的“试错学习”买单，并最终导致设备沦为废品，这不仅未能带来突破性的创新，反而严重损害了消费者信任，可能会打消用户未来购买 Spotify 任何硬件产品的意愿。

体素位移渲染器：现代化复古3D美学

概述

本文介绍了一款定制的实时渲染器，它使用极小的体素来呈现独特的视觉风格，从而将经典90年代3D游戏（如《毁灭战士》、《雷神之锤》）的外观现代化。其核心创新在于结合传统低多边形三角形网格与位移贴图来生成体素级别的表面细节，避免了传统体素工作流的限制，同时实现了视觉上“体素化”的效果。

美学动机

• 复古吸引力：90年代3D游戏因技术限制形成了简单的几何和像素化纹理，这种风格如今被视为一种复古美学。
• 核心问题：作者探索，如果环境表面的细节不是二维的“块状像素”，而是三维的“块状体素”会怎样？例如，让鹅卵石墙壁在保持像素化近距离观感的同时，呈现出几何深度。
• 目标：在90年代游戏外观与现代视觉效果之间取得平衡，实现“童年记忆中的《毁灭战士》”的效果。

技术背景：传统方法及其局限

传统体素方法

• 体素是三维网格中的立方体单元，常用于游戏如《我的世界》（大型纹理体素）和《拆解》（小型单色体素）。
• 创建方式：使用专门软件、构建模块组装或程序化生成，但耗时且通常仅适用于特定场景。
• 渲染与逻辑：整个游戏世界的几何、渲染和游戏逻辑均需基于体素运行，可能需自行开发物理、路径查找等系统。
• 主要缺点：工作流专门化，且在小体素规模下实现复杂系统成本高。

传统位移映射方法

• 位移贴图根据纹理定义表面凹凸，可快速增加几何细节。
• 离线应用：通过细分网格并移动顶点实现真实几何，但会导致多边形数激增，且对硬边或棱角处理不佳。
• 实时应用：如视差遮挡映射，能模拟表面细节，但在物体边缘处效果失效，轮廓仍保持平坦。
• 折中方案：壳映射可在轮廓处显示位移，但难以处理高曲率或硬边区域。

核心创新：混合体素与位移映射

作者的目标是：使用传统的低多边形网格（如经典3D游戏中的环境）和位移贴图，渲染出真正由体素构成的视觉效果，尤其要在原始网格的硬边处保持体素外观。

技术实现

该渲染器（基于C++/Vulkan）执行三项主要任务：

1. CPU预处理：将三角形网格连同位移贴图信息转换为GPU渲染所需几何数据。对于演示场景，单线程处理仅需0.5秒，结果可烘焙存储。
2. 纹理预处理：生成法线贴图等渲染所需数据，同样建议烘焙。
3. GPU渲染：利用预处理的数据，在GPU上绘制体素位移几何，几乎不消耗CPU资源。

性能

• 硬件要求：在Radeon RX 5700 XT上以1440p运行，帧时间4-9毫秒（110-250 FPS）；在Steam Deck OLED的原生800p分辨率下，场景大部分保持60 FPS以上，许多区域锁定90 FPS。

艺术资产创建工作流

资产类型

1. 纹理：
   • 反照率贴图：模仿复古游戏的调色板以强化视觉风格。
   • 位移贴图：提供精细高度值，可调整缩放以控制位移强度（单位对应体素移动数量）。渲染器按整数体素位移，但使用精确高度计算法线，使低于体素尺寸的特征也能影响光照。
2. 网格：
   • 使用传统的、带有着色法线的低多边形纹理映射三角形网格。
   • 法线标识了光滑曲面区域和需要保持锐利的边缘，渲染器会对锐边进行额外处理。
   • 示例：使用Blender建模，通过OBJ文件导出。

工作流优势

• 熟悉的工具：使用标准3D建模软件和纹理创作流程，无需专用体素编辑软件。
• 纹理复用：一个纹理（如石块纹理，通过三种颜色变体）可重复用于大量几何体，无需逐个体素创建。
• 解耦的游戏逻辑：由于环境本质上是三角形网格（体素仅为表面装饰），游戏的大部分系统（如物理、碰撞、路径查找）可直接使用原始网格。
  • 示例：演示中使用开源物理库，直接使用原始三角形网格作为碰撞体，实现第一人称移动和碰撞。
  • 特例：仅特定玩法系统（如射击游戏中的射线检测）需要体素感知。

渲染器的局限与未来方向

当前限制

• 仅适用于主要静态的环境几何，暂不支持小型装饰物、动态物体或角色动画。
• 光照系统有限（少量光源，无阴影、环境光遮蔽等高级效果）。
• 缺乏抗锯齿，远处地面尤为明显。

未来改进计划

1. 渲染器功能扩展：
   • 支持更小、动态的物体以融入该艺术风格。
   • 改进光照系统（可利用烘焙等灵活方案）。
   • 研发抗锯齿技术。
2. 技术整合：
   • 作者认为，将该渲染技术集成到现有游戏引擎中是最现实的路径，从而利用引擎已有的成熟系统（物理、音频等），而非从头构建全部。

总结

该体素位移渲染器通过创新性地结合低多边形网格工作流和体素级位移贴图，成功实现了现代化复古3D视觉风格。它在保留传统资产创作便利性的同时，使游戏大部分系统可继续基于三角形网格运行，为在现代游戏中实现这种独特美学提供了高效且可扩展的技术路径。

研究概述

Golden Gate Claude 是 Anthropic 公司基于对大语言模型（Claude 3 Sonnet）内部机制研究推出的一个临时性研究演示，已于24小时展示期后下线。该研究的核心是通过可解释性技术识别并操控模型内部的“特征”（特定概念的神经元组合）。

核心发现

• 特征识别：在 Claude 模型中发现了数百万个对应不同概念的“特征”，例如金门大桥特征（当模型遇到相关文本或图像时被激活）。
• 特征操控：研究人员能够精准调节特定特征的激活强度，并观察到模型行为随之发生对应变化。
• 行为示例：当显著增强“金门大桥”特征后，模型（称为“Golden Gate Claude”）在回答几乎所有问题时都会提及金门大桥：
  • 询问如何花费10美元 → 建议用于支付金门大桥通行费。
  • 要求写爱情故事 → 创作关于汽车在雾中渴望穿越金门大桥的故事。
  • 询问模型想象自己的样子 → 会回答想象自己看起来像金门大桥。

研究方法与意义

• 非传统干预：这种行为变化并非通过口头指示、系统提示或传统微调实现，而是直接对模型内部激活层面的精准外科手术式调整。
• 技术应用潜力：相同技术可用于调整与安全相关特征（如危险代码、犯罪活动、欺骗行为）的强度，为未来提升 AI 模型安全性提供了研究方向。
• 演示目的：Golden Gate Claude 的短暂上线旨在让公众直观体验可解释性研究对模型行为的可控影响。

当前状态

该演示已结束，但相关研究成果已在学术论文和博客文章中公开发表。

Samsung WB850F 固件逆向工程摘要

固件结构与分析

三星WB850F相机固件文件 WB850F_FW_210086.zip 包含多个关键文件。其中 partialImage.o.map 提供了完整的链接器内存映射和所有符号名称，这为逆向工程提供了极大便利。通过分析 WB850-FW-SR-210086.bin 的头部结构，识别出六个分区：启动加载程序（ONBL1, ONBL2）、主镜像（Main_Image）、资源（Resource）、光学防抖固件（OIS）和界面皮肤（SKIN）。主镜像包含实际的ARM固件代码。

Ghidra加载与符号导入

将主镜像加载到Ghidra逆向工程工具时，通过分析调试字符串地址偏移，确定其应加载至内存地址 0xC0004000。随后利用 partialImage.o.map 文件，通过脚本提取 .text 段中的函数符号（偏移地址加上 0xC0004000 基址），批量导入Ghidra，从而获得清晰的函数名称和标签。

热点检测机制逆向

重点分析了 DevHTTPResponseStart 函数。该函数负责检测WiFi热点是否为授权网络，核心逻辑为：

1. 对于HTTP 200响应，需检查响应头中是否包含特定雅虎（yahoo）域名的Cookie。
2. 对于HTTP 301/302/307重定向，需检查重定向URL前11个字符内是否包含“yahoo.”子串。

由于雅虎服务已普遍转向HTTPS，重定向URL中的“yahoo.”位置超出了检测范围，导致相机无法正确识别热点。通过修改 samsung-nx-emailservice 服务端，使其返回符合旧检测逻辑的HTTP响应（设置雅虎Cookie或提供短重定向URL），成功绕过了热点认证。

成果与意义

此逆向工程不仅解决了WB850F的WiFi连接问题，其发现的检测逻辑也被推广应用于EX2F、ST200F等其他型号的相机。尽管仅深入分析了单个函数，但揭示了相机网络认证机制的设计思路。固件中尚有超过7.7万个函数可供进一步探索，为理解数码相机内部工作原理提供了丰富的素材。

网站的一部分无法加载，这可能是由于浏览器扩展、网络问题或浏览器设置导致的。建议检查网络连接、禁用广告拦截器，或尝试使用不同的浏览器来访问。

这篇文章对比了摩尔定律与赖特定律，并指出如果更早理解并应用赖特定律，人类可能在25年前就摆脱对化石燃料的依赖。

核心观点：

• 摩尔定律：由戈登·摩尔提出，描述集成电路上可容纳的晶体管数量约每隔两年翻一番，其本质是以时间为自变量的技术进步，即技术会随时间推移自然变得更强大、更便宜。
• 赖特定律：由西奥多·赖特提出，发现飞机制造成本随着累计产量的翻倍而下降一个固定比例（如20%）。其本质是以生产规模（或经验积累）为自变量，即产量越大，成本下降越快。
• 关键区别：摩尔定律暗示“等待即可获得更便宜的技术”；赖特定律则强调“主动扩大生产/采购才能促使技术成本下降”。

历史教训与机会错失：

• 在太阳能光伏领域，社会曾主要依据摩尔定律的思维模式，认为其成本过高，只能等待其随时间推移自然变便宜。
• 然而，从赖特定律的角度看，如果政府更早地大规模采购或补贴昂贵的早期太阳能光伏产品，就能通过扩大生产规模来加速其成本下降。
• 文章认为，正是这种对赖特定律的忽视，导致了一个“近灾难性的机会错失”。如果40年前采取更果断的行动，太阳能光伏的成本可能早已大幅降低，足以在2000年前后就让化石燃料失去竞争力。

定律的验证与启示：

• 二战期间，美国因战争需求大规模扩大了军事硬件生产。研究表明，赖特定律能够解释战时生产成本下降的约一半原因，证明了扩大产量确实能驱动成本降低。
• 赖特定律并非万能，但数据表明它适用于许多产品。对于符合该定律的技术（如太阳能光伏、计算机芯片），政府可以通过补贴生产或需求来有效推动其规模化，从而加速成本下降。
• 文章最终强调：赖特定律告诉我们，好消息来自于主动行动，而非被动等待。它为制定加速清洁能源转型的政策提供了重要的经济学依据。

CSharpRepl 是一个支持语法高亮和智能感知的 C# REPL 工具，允许开发者快速测试 C# 语法和 .NET API，无需创建测试项目。

主要功能包括：

• 实验性探索：通过命令行自动补全快速测试 C# 语法和 .NET API。
• 安装 NuGet 包：使用 #r 命令引用 NuGet 包，自动补全窗口会显示相关方法或类的文档。
• 导航到源代码：对于支持 SourceLink 的 NuGet 包和程序集，按 F12 即可浏览其原始源代码。
• 引用现有项目：#r 命令还可通过名称、文件路径引用程序集，以及直接引用 .csproj 和 .sln 文件。
• 查看 IL 代码：按 F9 可查看任何已输入语句或表达式的中间语言代码，便于深入理解 C# 特性的工作原理。

该工具免费且开源，可通过以下命令安装：

dotnet tool install -g csharprepl

纪录片导演摩根·斯普洛克于周四去世，享年53岁。其家人声明称，他在纽约因癌症并发症在家人与朋友的陪伴下平静离世。

斯普洛克的代表作包括《超码的我》和《寻找本·拉登》。2004年上映的《超码的我》是他的导演处女作，片中他记录了自己连续一个月只吃麦当劳食品对身心健康的影响。该片获得奥斯卡最佳纪录片提名，并提高了公众对美国肥胖危机的认识。2017年的续集《超码的我2：神圣的鸡肉！》中，他通过经营自己的快餐店，探讨了食品行业自首部电影以来的变化。

他出生于西弗吉尼亚州，在纽约大学获得艺术学士学位。除电影外，他亦涉足电视领域，执导了FX频道的系列节目《30天》，该节目让参与者体验不同寻常的生活方式。他还参与了《辛普森一家20周年纪念特别节目》等电视项目。

2017年，斯普洛克在一封公开信中承认曾有性行为不端，并辞去了其制作公司“勇士诗人”的职务。

斯普洛克曾与亚历山德拉·贾米森和萨拉·伯恩斯坦结婚，育有两个儿子。

Spotify的硬件产品“Car Thing”即将被彻底终止服务。这款售价90美元的车载配件在销售不到一年后（2022年）便已停产，如今Spotify宣布将于2024年12月9日使其完全无法使用。

购买该设备的用户已收到警告邮件。Spotify未提供任何补偿，如订阅信用或退款，也不会开源该设备。公司建议用户进行出厂重置并负责任地回收硬件。

Spotify在官方问答中表示，停产决定是“为了精简产品线”，以便“专注于开发新功能，为所有用户提供更好的体验”。公司明确没有计划推出替代产品或新版本。

Car Thing于2021年4月以邀请制首次推出，2022年2月公开销售，五个月后即告停产。虽然其硬件设计被认为是首次尝试中的不错之作，但该设备本质上只是Spotify手机应用的遥控器，而非独立播放器，这限制了其市场吸引力，尽管仍吸引了一小批忠实用户。

事件概述 谷歌云于近期发生一次服务事故，影响了澳大利亚客户 UniSuper。该事故由谷歌云操作员在部署 Google Cloud VMware Engine (GCVE) 私有云时，因使用内部工具时一个参数留空导致。系统将此参数默认设置为固定期限（1年），期限届满后自动删除了该客户的一个 GCVE 私有云实例。谷歌云已与客户联合发布声明，并完成了内部审查，旨在澄清事件性质并确保透明。

影响范围

• 受影响： 仅一个云区域内的一个客户；该客户使用的一个 GCVE 服务中的一个私有云实例（跨两个可用区）。
• 未受影响： 其他任何谷歌云服务；其他使用 GCVE 或任何谷歌云服务的客户；该客户的其他 GCVE 私有云、谷歌账户、组织、文件夹或项目；存储在同一区域谷歌云存储（GCS）中的客户数据备份。

事件经过

1. 原因： 2023年初，谷歌操作员使用一个内部容量管理工具部署该客户的 GCVE 私有云以满足特定需求。在配置时，一个输入参数被留空，导致系统分配了一个默认的1年固定期限。
2. 后果： 1年期限结束后，系统自动删除了该私有云实例。由于删除并非由客户发起，因此未发送客户通知。
3. 恢复： 客户与谷歌团队连续数天全天候协作，成功恢复了 GCVE 私有云、网络和安全配置、应用程序及数据。客户自身健全的架构设计和存储在 GCS 中未受影响的数据备份（结合第三方备份软件）对快速恢复起到了关键作用。

改进措施 谷歌云已采取多项措施确保此类事件不再发生：

• 已废弃触发此次事件的内部工具。相关容量管理现已完全自动化，并由客户通过用户界面控制。
• 已扫描系统数据库并人工审查所有 GCVE 私有云部署，确保无其他部署存在风险。
• 已修正系统行为，防止此类部署工作流将 GCVE 私有云设置为自动删除。

结论

• 此次事件是谷歌云首次发生此类性质的问题，并非系统性问题。
• 谷歌云服务具备强大的保障措施，包括软删除、提前通知和必要时的人工介入。已确认这些保障措施依然有效。
• 与客户的紧密合作对于快速恢复至关重要。客户的技术团队在恢复过程中表现出色。
• 具备冗余和稳健的风险管理对快速应对意外事件至关重要。
• 谷歌云将继续提供全球最具弹性和稳定性的云基础设施，并独立验证其正常运行时间和弹性在领先云服务中保持最佳水平。

在边缘端使用WebAssembly快速运行PHP

PHP目前支撑着互联网上约75%的网站，尽管它不是最“时髦”的编程语言，但自互联网诞生以来一直是重要角色。

WebAssembly的优势与PHP支持 从今天开始（开放测试版），用户可以在Wasmer和Wasmer Edge中完整运行PHP。通过WebAssembly的特性，可以安全地限制程序访问的资源，从而无需操作系统或硬件虚拟化的开销即可安全运行PHP。这是Wasmer团队经过大量工作后实现的成果。

性能提升与框架支持

• 性能突破：通过在WebAssembly中启用操作码缓存（opcode caching），实现了高达3倍的速度提升，这是前所未有的成就。例如，WordPress渲染基本博客文章页面的时间从600毫秒降至200毫秒。
• 框架支持：目前支持在Wasmer和Wasmer Edge上运行流行的PHP框架，包括WordPress、Symfony和Laravel，且无需任何代码修改。
• 服务扩展：可为任何PHP应用带来类似无服务器的可扩展性，使其在边缘端运行，并以更低的成本提供服务。

技术实现与挑战 将PHP完美运行在Wasm中并非易事，团队解决了多项技术问题：

• 修复了longjmp/setjmp实现中的隐蔽错误（影响PHP中的try/catch语句）。
• 修复了导致传出HTTP调用速度降低10倍的错误。
• 默认启用PHP操作码缓存，将PHP速度提升至多3倍。
• 对文件系统虚拟化层和网络（如IPv6）进行了多项小修复。 此前为适配WordPress所需的代码修改（例如标准化exit函数调用、注释掉fetch调用等）已不再需要。

使用方法 用户可以通过简单的命令在沙盒环境中运行PHP：

wasmer run php/php --mapdir:/app:. -- /app -S localhost:8000

本地运行WordPress只需克隆仓库并执行wasmer run . --net（需要Wasmer 4.3.1）。

未来展望

• 团队正在开发全新的冷启动优化方案，旨在显著超越现有边缘服务提供商。
• 支持自定义文件系统卷的功能即将到来。当前使用SQLite的部署应用（如WordPress）仅在内存中存储数据库更改，尚未实现持久化。
• 这项工作也为依赖Emscripten在浏览器中运行PHP的项目（如WordPress Playground）开辟了新途径。

开始体验

• 部署第一个PHP应用到Wasmer Edge：https://wasmer.io/templates/php-starter
• 加入Discord频道参与讨论或关注Wasmer获取更新。

FTX破产案审查员报告摘要

报告性质与范围：本报告由破产审查员罗伯特·J·克利里编制，旨在总结FTX集团破产案中已完成和正在进行的各项调查，并就是否需要进一步调查提出建议。审查员受命评估三个特定领域：Sullivan & Cromwell律师事务所的聘用是否存在利益冲突、对债务人员工欺诈的调查是否充分，以及对债务人使用FTT代币虚增资产价值的调查是否充分。

一、Sullivan & Cromwell律师事务所的聘用

• 法院裁定无误：审查员裁定，基于破产法院当时掌握的证据，法院批准S&C作为债务人首席顾问的决定没有错误。S&C在破产前代表债务人的工作并未构成需要取消资格的实际冲突。
• 建议进一步调查：然而，审查员建议对两项未在法院裁决时充分披露的相关事项进行进一步调查：
  1. S&C代表班克曼-弗里德个人购买Robinhood股票交易的具体范围及其所知信息。
  2. 针对LedgerX母公司LHI前股东的潜在债权（破产后交易中未被免除的部分）。

二、对当前及前员工欺诈行为的调查

• 调查充分：审查员认为，债务人法律顾问及政府机构（如纽约南区联邦检察官办公室）对欺诈行为的调查是广泛、彻底且胜任的。
• 核心结论：调查显示，核心欺诈行为（挪用客户资金）仅限于以班克曼-弗里德为首的一小撮高管。目前留用的债务人员工未被发现参与此前的欺诈行为。因此，审查员认为无需由其本人对员工欺诈进行进一步调查。

三、对FTT及其他代币操纵的调查

• 调查充分：审查员认为，现有调查已充分识别了FTX集团为虚增资产价值而操纵FTT、SRM、OXY、MAPS等代币的主要实例及主要参与者。
• 主要发现：Alameda的资产负债表严重依赖这些流动性差的关联代币，其市值无法实际变现。调查显示，高管曾通过特定交易人为支撑FTT价格。其他代币也存在类似问题。
• 结论：尽管对SRM、OXY、MAPS等代币的调查相对有限，但考虑到它们在Alameda资产负债表中占比较小且相关调查仍在进行，审查员认为无需进一步调查。

四、对债务人聘用的专业服务机构的调查

• 调查全面：冲突顾问Quinn Emanuel对195家律师事务所、审计师、会计师等专业机构进行了系统调查。
• 多数无重大问题：大多数专业机构的工作未涉及调查主题，或未发现参与不当行为。但一些机构存在明显问题：
  • 律师事务所：FTX集团聘用方式混乱无序。一家律所（Law Firm-1）深度介入多项核心不当事务。部分律所收取高额费用却未提供有意义的服务。
  • 审计师：两家审计师（Auditor-1, Auditor-2）的审计程序未遵循公认审计准则，可能构成失职。
  • 会计师与顾问：未发现普遍参与不当行为，但某些顾问收取了过高或可疑的费用。
• 结论：审查员认为无需由其本人对专业服务机构进行独立调查。

五、其他调查与资产追回努力

报告总结了债务人在以下领域的调查和资产追回工作：

• 公司收购：调查发现Embed、FTX Europe等收购案存在定价过高、尽职调查不足的问题，并提起了多项债权追索诉讼。
• 家族成员：调查涉及班克曼-弗里德的父母等，债务人已对其提起债权追索诉讼。
• 慈善捐款：债务人已向非营利组织追回约7000万美元捐款。
• 第三方交易所资产：债务人正努力从多家加密货币交易所追回资产，部分已达成协议。
• 政治捐款：调查发现超过2亿美元政治捐款，许多由客户资金转化而来，已要求收回。
• 风险投资账簿：调查覆盖了近60亿美元的投资。对大型投资进行了深入调查，并对部分采取了诉讼或和解；对中小型投资的调查则认为不具成本效益。

六、对FTX.US的调查与建议

• 关键发现：S&C的调查证实，FTX.US在破产申请日存在约1.41亿美元的资不抵债“缺口”，班克曼-弗里德关于其资可抵债的公开声明是错误的。有迹象表明，资金缺口问题可能更早存在，且通过集团内部资金转移来掩盖。
• 建议进一步调查：审查员建议授权他对FTX.US的“缺口”问题进行深入调查，包括其成因、频率、涉及的资金额以及解决方案。此举符合重大公共利益。

七、审查员建议的进一步调查及其预算

审查员建议授权其开展以下三项调查：

1. S&C在罗宾汉股票交易中的角色。
2. 针对LHI前股东的潜在债权。
3. FTX.US的资产负债表“缺口”问题。

预计调查工作及后续报告撰写需时约10周，总费用不超过240万美元。

蓝视野内视现象

蓝视野内视现象（又称谢勒现象）是一种内视现象，表现为在观察明亮蓝光（如天空）时，视野中出现快速移动的细小光点，俗称“蓝天精灵”。

主要特征

• 形态：光点短暂出现（约持续一秒或更短），沿波浪状路径快速移动。它们可能呈蠕虫状拉长，且似乎跟随前一个光点的路径。
• 运动模式：其移动速度与心跳同步，在每次心跳时会短暂加速。
• 出现位置：光点出现在中心视野内，距注视点15度范围内。
• 双眼差异：左右眼看到的光点模式不同；双眼观察时看到的是组合效果。
• 抑制方法：轻柔按压眼球外侧角（外眦）可使光点停止流畅移动，仅在心跳时移动。

产生原因

• 本质：该现象是视网膜毛细血管内白细胞流动的视觉体现。
• 原理：蓝光（最佳波长约430纳米）被毛细血管中填充的红细胞吸收。眼睛和大脑会“编辑掉”毛细血管的阴影。由于白细胞比红细胞更大且不吸收蓝光，它们会在血管中形成明亮的间隙（光点），并在后方红细胞堆积形成暗尾。这些间隙看起来就是移动的亮点。
• 验证：这种血细胞行为已通过自适应光学扫描激光检眼镜实时成像技术在人眼内直接观察到。

临床应用

• 蓝视野内视镜检查法：利用此现象来估算视网膜毛细血管的血流。患者交替观看蓝光和电脑生成的移动光点图，通过调整电脑光点的速度和密度来匹配其主观视觉感知。

与其他内视现象的区别

• 与飞蚊症（muscae volitantes）的区别：
  • 谢勒现象：光点形状统一、清晰，比背景亮；眼球静止时仍快速移动；眼球运动时立即跟随（因其位于视网膜内）。
  • 飞蚊症：斑点或线条形状、大小、清晰度多变，比背景暗；眼球静止时会下沉；眼球运动时跟随迟缓（因其位于玻璃体内，受惯性影响）。
• 与视觉雪（visual snow）的区别：
  • 谢勒现象：仅在观察明亮光线时出现。
  • 视觉雪：在所有光线条件下（包括无光环境）持续存在。

附注

• 该现象由德国眼科医生理查德·谢勒于1924年首次引起临床关注，因此得名。
• 在中央凹（fovea）的无血管区不会出现此现象。

本文批判了微服务架构的过度使用，认为其更多是受流行趋势而非实际需求驱动，通常会引入不必要的复杂性和开销。作者提倡将模块化单体作为更优的替代方案，并从多个维度进行了详细对比。

核心观点： 微服务虽然流行，但在大多数情况下并非最佳选择。除非有明确的特殊需求，否则应优先考虑结构良好的单体应用（如模块化单体），以获得更简洁、更易于维护的解决方案。

微服务与模块化单体的关键对比：

1. 团队自治：两者均可通过定义清晰的接口和模块边界实现团队独立工作。
2. 调试：模块化单体调试更简单，因为是本地调用，而微服务需要跨网络追踪。
3. 故障隔离：微服务可防止单个服务故障拖垮全局，但仍存在级联故障风险。
4. 运行时性能：模块化单体开销极低（仅为函数调用），微服务则需承担操作系统和语言运行时的完整开销。
5. 版本管理：模块化单体整体版本化，简单；微服务需独立版本化，增加兼容性维护负担。
6. 部署：微服务可独立部署，但管理多个服务会大幅增加部署复杂度和资源消耗。
7. 理解代码库：差异仅在于定位目录还是定位仓库/项目。
8. 可用性：模块化单体状态简单（全上/全下），可通过故障转移保护；微服务需监控所有服务状态，系统整体可用性取决于所有组件。
9. 模块化/分离：真正的分离应通过代码模块实现。将微服务仅用作分离手段是“技能缺失”的体现，好比为搬动一把椅子而另建一栋房子。
10. 可扩展性：
    • 垂直扩展：两者均可对整体或局部增加资源，但微服务无明显优势。
    • 水平扩展：微服务可独立扩展，灵活性高；模块化单体可通过实例复制和负载均衡实现扩展，通常足够且更简单。
11. 延迟：微服务的网络调用（包含序列化、网络协议等）比本地函数调用慢一个数量级以上，对实时系统可能是致命缺陷。
12. 通信：微服务将函数调用变为网络调用，引入了消息队列、服务网格等复杂性，增加了调试难度。
13. 数据一致性：微服务通常需要数据复制，将一致性维护的责任从数据库转移到开发者身上，且难以进行跨服务数据关联查询。
14. 多语言支持：微服务允许不同服务使用不同语言，但这通常是不必要的，技术栈多样性本身会带来问题。

何时可考虑使用微服务： 作者列出少数适用场景：

• 系统已是微服务架构且运行良好。
• 已有按不同技术栈组建的独立团队。
• 需要集成现有的外部服务。
• 所用语言缺乏完成特定任务所需的工具链。
• （讽刺地）故意引入复杂性以增加工作安全性。

结论： 技术决策是“视情况而定”的问题。微服务的流行与其实际价值不符，在绝大多数场景下，其带来的复杂性远大于收益。一个精心设计的模块化单体能更好地满足分离、独立和可维护性的需求。务必在评估具体需求后再做选择，记住“打好地基”的重要性——从第一块砖摆正开始，才能避免砌起一堵歪墙。

iTerm2 将AI功能从核心移出并转为独立插件

核心变化

iTerm2 在3.5.0版本中集成了OpenAI的ChatGPT API，用于辅助编写命令、解释输出和指导用户。此变更引发了用户对隐私和安全性的强烈担忧，并最终促使开发者将此功能从主程序中移除，改为可选插件。

用户的主要反对意见

一位用户在功能请求中明确阐述了反对理由，主要集中在以下几点：

1. 隐私风险：用户输入的所有内容可能被发送到远程服务器。
2. 安全风险：大型语言模型（LLM）生成的命令可能被自动输入到Shell中并执行（甚至可能以root权限运行），存在极大安全隐患。
3. 功能本质：终端程序的核心职责应是提交用户输入并返回系统输出，而非集成远程AI服务。
4. 对趋势的担忧：此事件被视为软件中“功能蔓延”和过度集成LLM趋势的一个例证。

用户的诉求与替代方案

• 诉求：提供一个完全没有集成远程通信能力（如OpenAI、远程语法高亮等）的纯净版本，并愿意为此付费。
• 临时措施：用户已禁用iTerm2的自动更新以避免升级到3.5.0版本。
• 替代选择：考虑回归使用Apple官方终端应用。

开发者的回应与现状

ierm2开发团队回应了社区的反馈。在后续版本中，ChatGPT集成已不再是默认内置的核心功能。该功能已被抽离并制作为一个独立的、可选的插件。这意味着用户在安装iTerm2时，不会自动获得该AI功能，只有在需要时才可以选择自行安装此插件。

结论

此次事件体现了开源社区对软件边界、用户隐私和安全性的重视。通过将有争议的功能模块化并改为可选插件，iTerm2在引入新特性的同时，也尊重了那些不希望使用这些功能或对其安全性存疑的用户的选择权。

文章主要介绍了搭载巨型天线的直升机进行航空电磁测量的技术及其应用。这类直升机通常携带大型扁平天线阵列，用于执行重要的地质勘探任务。其工作原理是通过发射无线电波，在地下激发涡电流，再由灵敏的接收器探测信号，从而分析地下岩层的电导率差异。这种航空电磁测量（AEM）技术能够探测地下水、矿物沉积、石墨、粘土和含盐地下水等多种导电物质，探测深度可达数百米。

AEM测量通常以70至120公里/小时的飞行速度，在约100米或更低的高度沿平行线路进行扫描。相比传统的地面磁测，航空测量效率更高，适合大面积勘探。该技术被政府和私人企业广泛用于寻找地下水、矿物资源等，例如加州水资源部和美国地质调查局均长期采用此方法。

由于直升机携带巨大天线阵列低空飞行的外观可能引发公众疑虑，相关机构会发布说明文件，强调AEM测量对公众、野生动物和环境均无风险。文章最后提到，若希望亲身参与此类工作，通常需要地质学专业背景及相关技能。

.NET for NES Game Console on 6502 Microprocessors

项目概述

“.NES” 是一个使开发者能够使用 C# 为任天堂娱乐系统（NES）游戏机编写程序的项目。它本质上是一个转译器，能将 .NET 的中间语言（MSIL）直接转换为可在 NES 模拟器上运行的 6502 微处理器机器码。

工作原理

该项目的核心是一个转译过程：

1. 输入：C# 代码（通常在单个 Program.cs 文件中）编译产生的 .NET 程序集（MSIL）。
2. 转换：项目利用 System.Reflection.Metadata 等工具读取程序集中的方法调用和数据。
3. 输出：针对每个 API 调用（如 pal_col），查找并“跳转”到预定义的 6502 汇编子程序，最终生成一个字节对字节兼容的 .nes ROM 文件。

NES 游戏开发所需的底层函数（如图形渲染、音乐播放）由 neslib.dll 提供。这个程序集是一个引用程序集，本身不包含可执行代码，仅作为 API 接口供转译器查找对应的 6502 实现。

快速开始与配置

• 安装：通过 dotnet new install dotnes.templates 安装项目模板。
• 创建与运行：使用模板创建项目后，可以像运行普通 .NET 控制台应用一样构建和运行，或在 Visual Studio 中按 F5 调试。
• 配置：通过 MSBuild 属性配置 ROM，包括映射器、镜像方式、PRG/CHR 库数量等。

功能与示例

项目提供了丰富的示例（共46个），展示了其核心能力：

• 基础图形与显示：hello、tint、flicker、slideshow、monobitmap。
• 精灵与动画：sprites、bigsprites、metasprites（运行时数组、for循环）、animation。
• 滚动：horizscroll、vertscroll、scroll。
• 输入与逻辑：conio、metacursor、metatrigger、statusbar。
• 音乐播放：通过 APU 播放 NES 音乐（示例：music 项目）。
• 高级图形：attributetable、tileset1、horizmask。
• 游戏原型：shoot2、pong、climber、snake、siegegame。

一个典型的“Hello World”程序结构如下：

1. 设置调色板颜色。
2. 将文本写入显存。
3. 启用 PPU 渲染。
4. 进入无限循环。

当前状态与限制

这是一个业余项目，已实现一个用于编写 NES 二进制文件的对象模型，确保生成的 .nes 文件与用 C 编写的程序在字节上一致。支持的特性包括字节数组、本地变量、项目模板、IDE 支持、音乐播放和元精灵。

主要限制包括：

• 无运行时：没有 .NET 运行时环境。
• 无基础类库（BCL）：不支持 .NET 标准库中的常用方法。
• 无对象与垃圾回收（GC）：不支持面向对象的特性。
• 无调试器：不支持交互式调试。
• 字符串限制：仅支持 ASCII 编码字符串。

贡献与资源

项目欢迎各种形式的贡献（PR），可通过 Issue、讨论区或 Discord 进行交流。文章末尾提供了 NES 开发的相关学习资源链接。

Hylio公司：从无人机送货到农业喷洒的创业历程

亚瑟·埃里克森在大学学习航空航天工程时接触到了无人机，并确信其潜力无限。他与同学在德克萨斯大学奥斯汀分校期间共同创立了Hylio公司，最初是利用现成组件和大学的3D打印机制作多功能无人机原型。

早期探索与转型 公司初期曾为哥斯达黎加的食品配送初创公司GoPato提供无人机送货服务。这段为期九个月的经历虽然充满挑战，却让他们深刻认识到硬件冗余（尤其是GPS）的重要性。由于分成收入难以覆盖成本，他们停止了合作。然而，他们从当地农民那里了解到，崎岖地形使拖拉机无法使用，农民只能手动喷洒农药，这既辛苦又危险。Hylio团队意识到无人机可以更安全高效地完成这项工作，于是于2018年转型为农业喷洒服务，并在中美洲多国拓展业务，最终于2019年底实现盈利。

产品优势与市场拓展 在美国，传统拖拉机喷洒成本高昂（购买价可达50万美元，每公顷运营成本约7美元）。Hylio的一对无人机成本仅为拖拉机的五分之一，运营成本约为其四分之一。无人机可自主飞行，一名操作员可同时监控多架，覆盖面积更大。说服保守的农民接受新技术是一大挑战，但2020年Hylio在休斯顿开设工厂后，在农业展会上首秀即获当场订单。

现状与未来发展 如今，Hylio拥有自己的工厂和40多名员工，销售农业无人机是重要业务。埃里克森仍参与产品开发，并根据销售团队反馈优化功能。公司正在开发用于快速检测虫害、生长状况或评估产量的新型侦察无人机。埃里克森的角色已从动手工程师转变为连接工程团队与市场需求的“翻译者”。

创业建议 埃里克森提醒创业者不要过度迷恋尖端技术而忽视用户实际需求。他强调应倾听客户的痛点，避免过度工程化。他建议有意进入该领域的学生学习机电一体化课程，掌握机械与电气工程的融合知识，并理解如何将各部分整合为高效系统。他认为，对于喜欢钻研的人来说，构建无人机是锻炼工程技能的廉价快速方式，适合学习、迭代、试错和重建。