2024-01-07

50 篇热帖

1. FAA orders grounding of more than 170 Boeing 737 Max 9s (www.cnbc.com)

美国联邦航空局下令停飞170余架波音737 Max 9飞机

事故经过

2024年1月5日,阿拉斯加航空1282航班从俄勒冈州波特兰飞往加利福尼亚州安大略的途中发生事故。飞机起飞后不久,机身侧面一块窗框及部分侧壁发生爆炸性脱落,导致客舱快速失压。乘客拍摄的图片和视频显示飞机侧面出现巨大破洞,乘客使用氧气面罩。飞机随即返回波特兰,机上171名乘客和6名机组人员中未报告严重伤亡。

监管与应对措施

美国联邦航空局于次日(1月6日)发布紧急适航指令,要求对全球约171架波音737 Max 9飞机进行临时停飞和检查,该指令适用于美国航空公司及在美国境内运营的外国航司。随后:

  • 阿拉斯加航空宣布停飞其所有737 Max 9机队,尽管其称此前18架飞机已在近期维护中完成了相关检查。截至事发当晚,该公司已取消160个航班,影响约2.3万名乘客。
  • 联合航空也宣布停飞其全部79架737 Max 9飞机。
  • FAA表示,每架飞机的检查预计耗时4至8小时。

事故调查与评估

美国国家运输安全委员会已派团队赴波特兰展开调查。其主席詹妮弗·霍门迪表示,事故中无乘客坐在最靠近脱落面板的座位,且飞机当时仍在爬升而未达巡航高度,避免了更严重的后果。她呼吁公众帮助寻找飞机脱落的舱门部件。

航空安全专家将此事件描述为“极其罕见的结构失效”。飞行员工会将其定性为“舷窗出口处的爆炸性减压”。专家强调,此事件再次提醒乘客在座位上应始终系好安全带。

涉及机型与背景

  • 涉事机型:波音737 Max 9。脱落的部分对应一个未使用的紧急出口门(在阿拉斯加航空等非高密度客舱配置中已被永久封堵)。机身部件由Spirit AeroSystems制造并安装。
  • 全球机队规模:据Cirium数据,全球共有215架737 Max 9在服役。主要运营商包括美国的联合航空、阿拉斯加航空,以及墨西哥航空、土耳其航空、冰岛航空、巴拿马航空等。
  • 波音公司回应:波音表示安全是首要任务,支持FAA的检查决定,并正协助NTSB调查。
  • 历史背景:波音737 Max系列在2019年因两起致命空难被全球停飞,直至2020年底在软件和培训更新后才恢复运营。此外,2023年底波音曾因方向舵控制系统的潜在螺栓松动问题,敦促航空公司进行额外检查。

此次停飞是FAA自737 Max系列复飞以来采取的大规模安全行动,凸显了监管机构对该机型安全性的持续高度审视。

2. Show HN: I made an app that consolidated 18 apps (doc, sheet, form, site, chat…) (nino.app)

Nino 应用摘要

Nino 是一个为专业人士设计的模块化工作空间,旨在通过统一界面整合多种软件工具,实现块级别的互操作性。其核心功能在于将文档、表格、表单、网站、聊天等应用(共18个)集成为一个协作平台,提升工作效率。

主要特点

  • 模块化架构:Nino 作为软件集合,允许不同应用在块级别进行互操作,用户可以从一个界面访问所有功能。
  • 统一界面:提供一致的交互体验,避免在多个应用间切换,简化工作流程。
  • 技术实现:基于Web技术,HTML页面作为应用的入口点,包含必要的元数据以支持展示和分享。

HTML 页面结构

  • 目的:作为Nino应用的官方网页,用于介绍应用功能和引导用户访问。
  • 关键元素
    • 标题<title>Nino</title>,标识应用名称。
    • 描述:元标签详细说明Nino是模块化工作空间,强调软件互操作性和统一界面。
    • 元数据:包括Open Graph和Twitter Card标签,用于优化社交媒体分享,如og:titleog:descriptionog:image
    • 视口设置:确保响应式设计,适应不同设备屏幕。
    • 样式和脚本:内联样式支持暗色模式,JavaScript文件用于动态渲染应用界面。
  • 结构:HTML头部包含元标签、字体预加载和样式,主体部分有一个<div id="root">容器,用于挂载单页应用(SPA),实现动态内容加载。

功能概述

Nino 通过整合常见办公和协作工具(如文档、表格、表单、网站、聊天),减少应用碎片化,允许用户在块级别(如文本块、数据块)进行操作和链接,从而创建自定义工作流。这种设计适合需要高效协作和多功能集成的专业场景。

3. Teachable Machine (2017) (teachablemachine.withgoogle.com)

Teachable Machine (2017) 是一个在线工具,旨在让用户快速、简便地训练计算机识别自定义的图像、声音和姿势。它无需专业知识或编码经验,即可创建机器学习模型,并应用于网站、应用等多种场景。该工具的核心是提供一个直观的界面,帮助用户收集数据并生成可集成的模型。

4. DNS Toys (2022) (www.dns.toys)

DNS Toys (2022) 摘要

DNS Toys 是一个基于 DNS 查询的实用工具集合,通过向 dns.toys 服务器发送特定格式的 dig 命令,即可获取各类信息或执行转换操作。其主要功能分类如下:

时间与时区

  • 世界时间:获取指定城市的当前时间。命令格式为 dig 城市名.time @dns.toys,可选国家代码。
  • 时区转换:在城市之间转换时间。命令格式为 dig YYYY-MM-DDTHH:MM-源城市-目标城市.time @dns.toys

天气与地理

  • 天气查询:获取指定城市的天气信息。命令格式为 dig 城市名.weather @dns.toys
  • 航向距离:计算两个经纬度坐标之间的直线距离。命令格式为 dig 纬度1,经度1/纬度2,经度2.aerial @dns.toys
  • ISS 位置:追踪国际空间站的当前位置。命令为 dig iss.sky @dns.toys

数字与单位转换

  • 单位转换:在70多种不同单位之间进行转换。命令格式为 dig 数值源单位-目标单位.unit @dns.toys
  • 货币转换:基于每日汇率在不同货币之间转换。命令格式为 dig 金额源货币-目标货币.fx @dns.toys
  • 数字转文字:将数字转换为英文单词。命令格式为 dig 数字.words @dns.toys
  • 基数转换:在十六进制、十进制、八进制、二进制之间转换数字。命令格式为 dig 数字源基数-目标基数.base @dns.toys
  • 时间戳转换:将Unix时间戳转换为可读日期。命令格式为 dig 时间戳.epoch @dns.toys

网络与编程

  • IP回显:显示查询者的IPv4或IPv6地址。命令为 dig -4 ip @dns.toysdig -6 ip @dns.toys
  • CIDR范围:查找子网中第一个和最后一个可用IP地址。命令格式为 dig IP地址/掩码.cidr @dns.toys
  • IFSC查询:查询印度银行IFSC代码对应的银行详情。命令格式为 dig IFSC代码.ifsc @dns.toys
  • UUID生成:生成指定数量的UUID(版本4)。命令格式为 dig 数量.uuid @dns.toys
  • NanoID生成:生成指定长度的NanoID。命令格式为 dig 长度.数量.nanoid @dns.toys

字典与信息

  • 字典查询:获取英文单词的定义。命令格式为 dig 单词.dict @dns.toys(单词中如有空格请用连字符替换)。
  • 维生素信息:获取某种维生素的通用名、学名和食物来源。命令格式为 dig 维生素字母.vitamin @dns.toys(例如 a.vitamin)。
  • 随机开发者借口:获取一条随机的开发者借口。命令为 dig excuse @dns.toys

游戏与随机

  • 骰子投掷:投掷指定数量和面数的骰子。命令格式为 dig 数量d面数.dice @dns.toys
  • 抛硬币:抛掷一枚或多枚硬币。命令格式为 dig 数量.coin @dns.toys
  • 随机数生成:在指定范围内生成随机数。命令格式为 dig 起始-结束.rand @dns.toys

其他工具

  • 圆周率:打印圆周率(Pi)的数字。命令为 dig pi @dns.toys
  • 数独求解:解决数独谜题(空单元格用0表示)。命令格式为 dig 数独题目.sudoku @dns.toys
  • DIGIPIN转换:在经纬度和印度邮政DIGPIN哈希之间进行转换。命令格式为 dig 纬度,经度.digipin @dns.toysdig DIGIPIN哈希.digipin @dns.toys

这些工具展示了DNS协议的有趣扩展应用,通过简单的命令行查询即可快速获得多样化信息。

5. First new VAX in 30 years? (2021) (mail-index.netbsd.org)

VAX 架构新实现:在FPGA上的尝试与进展

在30年后,Anders Magnusson 成功在FPGA上实现了VAX处理器的原型,并通过了基本的指令集测试。该项目源于对VAX作为“终极CISC”架构是否仍能高效实现的探讨。

核心成果与现状

  • 实现成功:在一个搭载 Xilinx XC3S500E FPGA 的开发板上,用Verilog编写实现了VAX处理器。它成功运行了 EVKAA.EXE 硬件指令测试程序,证明了其基础功能的正确性。
  • 运行参数:当前运行频率为 50MHz,通过调整DCM(数字时钟管理器)可轻松提升至约80MHz。
  • 已实现功能
    • 所有寻址模式
    • 完整的中断层次结构
    • 定时器
    • 151条指令
  • 待实现功能内存管理单元(MMU) 尚未实现,但作者认为这相对直接。
  • 资源占用:实现当前功能占用了FPGA约 70% 的可用资源(约6000个查找表)。作者指出,由于是边学习Verilog边实现,代码效率较低,存在优化空间。

背景与动机

该项目始于作者在一次关于RISC与CISC的架构讨论后。尽管VAX被认为是复杂的CISC典范,但其指令集设计的清晰和规整性激发了作者的好奇心:它是否仍能在现代硬件上高效实现?为验证此想法,作者利用手头一块约有15年历史、搭载低端FPGA的演示板开始了学习与实现。

后续计划

作者计划发送两封后续邮件,分别详细讨论实现细节以及如何基于此原型推动VAX架构向前发展

社区反馈

该邮件在port-vax邮件列表上引发了积极讨论,收到了来自Michael Parson、Luke Brennan、Paul Koning和Dave McGuire等人的回复。

6. Pocketbase: Open-source back end in one file (pocketbase.io)

PocketBase:单文件开源后端解决方案

PocketBase 是一个轻量级、开源的后端解决方案,其核心特点是将所有功能集成在一个文件中,实现开箱即用。它提供以下关键功能:

核心特性

  • 实时数据库:支持数据的实时订阅与同步更新。
  • 身份验证:内置用户认证和权限管理。
  • 文件存储:提供文件上传与管理功能。
  • 管理后台:包含一个可视化的数据管理界面。

技术实现与集成

  • 通过 JavaScript SDK 可快速与前端项目集成,支持常见的数据操作(如查询、创建、删除记录)。
  • 提供集合(collection)的实时订阅机制,便于构建响应式应用。
  • 设计兼容多种前端框架,简化全栈开发流程。

示例代码功能

SDK 示例演示了以下操作:

  • 列表查询与过滤(支持条件筛选和排序)
  • 单条记录的获取、创建和删除
  • 基于集合的实时数据监听与取消订阅

PocketBase 旨在降低后端开发复杂度,适合快速原型开发或中小型项目。

7. 802.11ah Wi-Fi HaLOW: The 1 Kilometer WiFi Standard (hackaday.com)

802.11ah Wi-Fi HaLow 标准概述

802.11ah(Wi-Fi HaLow)是一种于2017年引入的WiFi标准,其定位介于传统家用/办公WiFi与低比特率、长距离的LoRaWAN、ZigBee等技术之间,带宽可达兆比特每秒级别。

主要供应商与产品 当前主要的802.11ah芯片供应商包括:

  • 泰芯半导体 (TXW8301)
  • Morse Micro (MM6108)
  • Newracom (NRC7394)

已有众多制造商基于这些芯片生产出各类集成模块和产品。

实际应用测试

  • 乙太网扩展器套件:在采石场进行的测试中,该设备在300米距离内能保持强信号,但树木等障碍物会对信号产生一定衰减。
  • Wi-Fi扩展器:它通过802.11ah链路连接服务器端(带乙太网接口)与客户端(提供标准的2.4GHz 802.11n WiFi)。测试显示,该设备能穿透两堵外墙,为约10米外的小木屋提供稳定的约10Mbps网络连接。

技术特点 802.11ah标准的关键优势在于:

  1. 直接兼容性:与标准乙太网和WiFi协议直接兼容。
  2. 频段与天线:使用900MHz频段,该频段拥有丰富的可选天线,有助于进一步扩展通信距离。
8. BYD's YangWang U8 launched, can float on water for 30 minutes and sail 3km/h (carnewschina.com)

比亚迪仰望U8车型总结

核心定位与价格

  • 车型:仰望U8是比亚迪旗下高端品牌“仰望”推出的首款车型,定位为增程式电动(EREV)大型SUV。
  • 版本:提供 豪华版越野大师版两个版本。
  • 售价与交付:豪华版售价为108.9万元人民币(约15万美元),为中国最贵的量产电动车,将于10月开始交付。越野大师版预售价未公布,预计与豪华版相近。

核心性能与亮点

  • 动力系统:采用增程式电动架构,搭载2.0T涡轮增压增程器和四个独立驱动电机(每台220kW),系统总功率达880kW(1197马力),峰值扭矩1280Nm。0-100km/h加速3.6秒,极速200km/h。
  • 续航与电池:配备49.05kWh磷酸铁锂刀片电池(CTC技术),CLTC纯电续航180公里,满油满电综合续航可达1000公里
  • 底盘技术:搭载易四方技术平台云辇-P智能液压车身控制系统,可实现车身高度调节(最大150mm),并支持原地360度掉头
  • 防水与涉水
    • 涉水模式:豪华版最大涉水深度1000mm,越野大师版因配备涉水喉可达1400mm
    • 应急浮水模式:当水深超过涉水极限时自动启动。发动机关闭,悬架升至最高,车窗关闭,天窗开启作为逃生通道。车辆可在水面漂浮30分钟,并通过车轮转动实现前进(最高3km/h)和转向。该模式专为洪水等紧急情况设计,启用后需返厂检查。车辆具备IP68防水等级。
  • 越野配置:越野大师版额外配备更具保护性的前保险杠、涉水喉、可拆卸车顶行李架及侧梯。

智能化与座舱

  • 智能驾驶:搭载英伟达DRIVE Orin芯片(算力508 TOPS),配备包含3颗激光雷达在内的38个感知传感器,支持L2级辅助驾驶。
  • 智能座舱:内饰采用大量Nappa真皮,配备6块屏幕(23.6英寸仪表盘、12.8英寸中控屏、23.6英寸副驾娱乐屏、两块后排娱乐屏、一块后排中央控制屏),并集成70英寸AR-HUD22扬声器丹拿音响系统
  • 其他配置:支持110kW直流快充(30%-80%仅需18分钟),具备6kW对外放电功能(V2L),提供无线充电、热成像仪、集成卫星电话等。

尺寸与空间

  • 车身尺寸为5319/2050/1930mm,轴距3050mm,尺寸全面超越奔驰G级。
  • 整备质量3460kg,仅提供五座布局。

销售与品牌战略

  • 销售模式:采用直营模式,计划在40个城市建设60家门店,年底前扩展至90家。
  • 品牌意义:仰望U8是比亚迪冲击高端市场、提升利润率的关键产品。比亚迪通过仰望、方程豹、腾势等子品牌布局高端领域,旨在以技术创新建立高端品牌认知。
9. Ultima (2012) (www.filfre.net)

Ultima (2012) 游戏发展概述

游戏诞生背景

Richard Garriott 在大学二年级期间,于 1981 年春季开发并由加州太平洋公司发行了《Ultima I》。该游戏最初名为《Ultimatum》,后因与已有桌游重名而简化为《Ultima》。该名称及 Garriott 的绰号“Lord British”均由加州太平洋公司的 Al Remmers 提出。

包装与发行特点

  • 初代《Ultima》包装相对简洁:两张游戏盘、一份 10 页手册及玩家参考卡。
  • 相较于同时期从密封袋向专业包装过渡的游戏,其制作已较为精良。
  • 游戏以多磁盘呈现,是早期跨盘游戏的代表之一,预示了 CRPG “黄金时代”的体验特征。

核心技术创新:瓦片图形系统

  • 技术突破:游戏采用 14×16 像素的预制瓦片构建地图,这是电子游戏史上早期应用该技术的实例之一。
  • 开发实现:由 Garriott 的朋友 Ken W. Arnold 设计并以汇编语言实现瓦片渲染系统,解决了在有限存储空间中呈现大尺寸世界的难题。
  • 开发过程:图形数据需手动在方格纸上绘制,转换为二进制后反转,再以十六进制输入,过程繁琐且无编辑工具辅助。

游戏设计与开发团队

  • 开发环境:游戏主要以 BASIC 语言编写(除汇编实现的图形与音效模块外),基于 Apple II 平台,由 Garriott 在没有成熟图形软件的条件下自学开发。
  • 设计基础:游戏世界 Sosaria 源自 Garriott 的《龙与地下城》战役地图,玩法延续了《Akalabeth》中城镇、城堡、地牢的探索与战斗框架。
  • 团队协作:Garriott 与 Arnold 共同构思游戏,Arnold 贡献了瓦片图形系统的关键技术方案。

游戏内容与意义

  • 规模拓展:世界包含四块大陆,容量远超前作,引入了户外怪物、任务体系及长线叙事。
  • 设计演变:从《Akalabeth》的短周期可重玩体验,转向以存档功能支持的大型史诗冒险,奠定了后续《Ultima》系列的 CRPG 基础。
  • 历史地位:尽管技术基础简陋,但作为早期 CRPG 的重要范本,其创新性与实践性标志着个人开发游戏在形式与规模上的突破。

发行与现代化访问

  • 原版游戏可通过磁盘镜像体验,同时 GOG.com 提供 1986 年重制版(画面与可玩性优化)。
  • 重制版更适合现代玩家,而原版则可用于数字考古与历史研究。

总结基于原文所述事实,聚焦游戏开发历程、技术创新、设计特点及历史背景。

10. Sounds of Cologne – The WDR Studio for Electronic Music (artsandculture.google.com)

WDR电子音乐工作室(成立于1951年)是电子音乐发展史上的里程碑,被匈牙利作曲家捷尔吉·利盖蒂称为与科隆市及西德广播电台构成的“三头同盟”。它被誉为全球首个完全致力于电子合成(不使用传统乐器或常规声音)的工作室,是后来米兰、乌特勒支、东京、纽约等地同类机构的鼻祖和榜样。对当时的作曲家而言,受邀在此工作如同“受勋”,象征着专业上的认可。

工作室的创立具有深刻的战后背景。二战后,人们有意识地创造新事物,以反抗纳粹时期对音乐的武器化滥用(如将布鲁克纳、贝多芬、瓦格纳作品用于宣传)。他们希望剥离音乐中的情感,使其免受滥用。序列音乐(发展自勋伯格的十二音技术)和电子技术的进步为此提供了途径。

1951年10月18日,西德广播电台会议决定成立工作室。关键推动者包括:声音艺术革新者罗伯特·拜尔、物理学家兼首次提出“电子音乐”术语的维尔纳·迈耶-埃普勒、设计工作室初始设备的技术员弗里茨·恩克尔,以及首任主任赫伯特·艾默特。艾默特在首次广播节目中谨慎地提醒听众“不要惊慌”,并强调工作室的产物并非简单易懂之作。

工作室很快成为前卫音乐家的聚集地,既是创作场所,也是讨论空间。卡尔海因茨·施托克豪森于1963年接任主任。作曲家们常在简陋拥挤的环境中工作,技术条件有限,但想象力无限。如作曲家戈特弗里德·米夏埃尔·克尼希等技术人员会协助不熟悉设备的作曲家实现作品。作曲家可获得长达三个月的使用时间。

早期设备包括特劳托尼乌斯和梅洛科德等乐器,但很快被脉冲发生器、纯音发生器、噪声发生器、滤波器、环形调制器等灰色金属盒子取代。作曲方式发生根本变化:从传统音符记谱变为如“需要483赫兹的声音”这样的频率指定。

然而自1970年代起,随着数字声音合成技术兴起和其他更现代工作室的涌现,WDR工作室逐渐失去技术垄断地位。作曲家毛里西奥·卡格尔曾批评其技术停滞,“像蜡像馆般积满灰尘”。尽管如此,它作为电子音乐先驱中心的地位从未动摇。

1987年,工作室搬迁至科隆安诺街,直至2001年停用。设备被拆卸存储于科隆-奥斯登多夫的地下室。数千卷作曲家工作磁带被数字化并形成封闭档案,其中包括施托克豪森的名作《接触》。2017年曾计划迁往施托克豪森出生地,但2020年初计划流产。

2021年2月,自1971年起在工作室工作长达30年、深谙其技术与历史的最后见证者之一沃尔克·米勒突然去世。他生前一直希望工作室能找到一个更合适的永久场所,建成向公众开放的博物馆,以纪念这一德国音乐史上独特的篇章。

11. Behind the scenes: the struggle for each paper (2021) (jeffhuang.com)

文章摘要

本文是作者对其学术生涯中30篇完整研究论文发表历程的回顾与反思,旨在揭示简历上整齐列表背后真实、曲折的人与机遇故事。文章分为两大部分:学生时期(15篇)与教授时期(15篇),每篇论文的“幕后”故事均基于作者的研究日志与会议记录整理而成。

第一部分:学生时期的论文

这段经历充满了偶然、运气与关键协助。研究始于一次偶然的编程帮助请求,耗时3.5年才发表,并成为进入博士项目的关键。早期的论文多源于导师指导、实习机会或与同学的灵感碰撞。例如:

  • 一篇关于查询重构的论文,因其主题受欢迎而成为他引用量最高的文章。
  • 在微软研究院实习期间,一篇关于搜索轨迹的论文在合作导师大幅补充后意外获得最佳论文奖,极大地提振了作者的信心。
  • 一篇关于游戏观看法视频现象的论文,源于博士同学的主意,后来预言成真。
  • 博士期间最重要的论文(关于浏览器标签页信息查找)在提交前最后时刻因代码故障几乎失败,得益于一位开发人员的及时援手才得以按时提交并获提名最佳论文。
  • 与不同合作者(如Gifford、Ryen、Anna、Georg等)的合作频繁且关键,许多论文源于实习、被拒论文的拯救或课堂项目。整个学生时期,作者在合作、偶然机会和他人帮助下积累成果,最终构成其博士论文基础。

第二部分:教授时期的论文

成为导师后,角色从执行者转变为构思者与指导者,论文产出节奏变长,挑战性质转变。核心特点包括:

  • 指导学生:许多论文源于指导本科生或博士生,部分来自课堂项目整合(如元分析)。
  • 产品化研究:研究趋向于构建可实际使用的系统或产品(如眼动追踪库、睡眠助手、VR交互设备、大规模课堂协作工具、心理健康计算工具等),从想法到发表常需2-4年,且面临技术构建、部署障碍和反复拒稿。
  • 长期坚持:许多项目历经多年、多位学生接续努力才得以发表(如“倒带”交互体验论文历时4年,心理计算项目论文准备约3年)。
  • 审稿挑战:论文常因“贡献度不明确”、“工程性过强”、“结果不够显著”等理由被拒,需精心修改和反驳,许多论文是“勉强接受”或“指导后接受”。
  • 跨学科合作:与临床、教育等领域研究者合作增多,但也增加了写作和发表的难度。
  • 团队与工作量:论文常由多人(包括不同届学生、合作研究员)参与,作者强调维持团队士气、应对拒稿带来的怀疑是重要挑战。

总体观察与感悟

作者反思,学生时期的成功更多依赖运气、合作机遇和关键时刻的帮助;成为教授后,尽管经验丰富,但因聚焦于系统构建、产品化及团队管理,论文发表周期更长。他观察到,一些最初获得差评或多次被拒的论文,日后往往影响力更大(如关于浏览器标签页、网络注意力等主题的论文)。他指出,维持学生团队的士气、管理长期项目的期望是关键挑战。最后,他感谢了许多关键合作者的额外帮助,并认为一些会议(如UIST)因接受存在明显缺陷但具有长期潜力的论文,从而定义了多个年轻学者的研究方向。

12. Chess-GPT's Internal World Model (adamkarvonen.github.io)

Chess-GPT 内部世界模型摘要

本文探讨了一个仅基于国际象棋PGN字符串训练的字符级GPT模型(Chess-GPT)如何发展出内部棋盘状态表示和潜变量估计能力。

核心发现

  • 模型训练:一个50M参数的GPT模型在500万局棋上训练后,达到约1300 Elo评分,99.8%的走法合法。模型从未明确学习棋盘状态或规则,但为更好地预测下一个字符,自主学会了计算棋盘状态(包括将、王车易位、吃过路兵等规则)和玩家技能水平。
  • 内部表示验证:通过线性探针技术,发现模型以“我的/他们的”棋盘状态方式内部表示棋盘,而非“黑/白”方式。探针对棋盘状态分类准确率达99.2%。
  • 潜变量学习:模型还学会了估计玩家的Elo评分。线性探针在分类任务(区分低技能与高技能玩家)中达到89%准确率,表明模型内部存在技能相关表示。

实验细节

  • 数据与训练:使用Stockfish生成对局和Lichess人类对局数据集,采用字符级模型和Andrej Karpathy的nanogpt仓库训练。
  • 线性探针方法:通过训练简单线性模型,从模型内部激活预测棋盘状态(13类)或玩家Elo评分,验证模型内部知识而非探针容量。
  • 结果对比:与随机初始化模型相比,Chess-GPT的探针准确率显著更高,证实其学习了有意义的世界模型。

讨论与意义

  • 研究支持大型语言模型通过预测下一个字符能学习结构化内部表示的假设,扩展了Othello-GPT的发现至更复杂、人类生成的棋类数据。
  • 线性探针的有限容量增强了结果可信度,表明模型内部确有棋盘状态跟踪和技能评估机制。
  • 未来工作可包括因果干预实验、分析模型计算棋盘状态的具体机制等。

附录与资源

  • 作者纠正了先前对局分析中的错误,并提供了详细的技术探针实现和模型训练细节。
  • 所有代码、数据集和模型已开源,可供进一步研究。
13. Someone bought 26.9 BTC on Binance and sent it to Satoshi's dead wallet (www.blockchain.com)

一位用户在币安交易所购买了26.9枚比特币,并将其转入一个已知无法访问的地址,该地址被认为与比特币创始人中本聪有关。这一行为被解读为对中本聪的致敬或象征性转账,因为资金转入一个无法找回的“死钱包”,意味着这些比特币永久退出流通。交易详情通过区块链浏览器可查,但文章未提供具体时间或交易哈希等额外信息。

14. Lessons from building nine startups in 2023 (marclou.beehiiv.com)

2023年构建九家初创公司的经验教训

核心进展与背景

  • 个人收入从1月的1,500美元增长至11月的65,000美元,但更重要的是获取的知识。
  • 旗下产品LogoFast在Product Hunt获得奖项,体现了“减少设计时间,增加发布频率”的理念。

七条关键教训

  1. 不要执着于单一想法

    • 在推出的20多个项目中,仅有一个实现盈利和增长。这是许多独立创业者的普遍规律。应果断放弃无效想法,直到找到真正值得投入的方向。
  2. 摒弃免费计划

    • 实现可观收入(如每月3,000美元)需要庞大用户基数(如10,000名付费用户),这对独立开发者而言工作量巨大。“先增长后变现”是风险投资支持的初创公司的策略,不适合独立创业者。
  3. 谨慎对待订阅模式

    • 一次将一次性收费改为订阅制曾导致一个项目失败。订阅模式对业务所有者有利,但用户普遍抵触频繁扣费。应优先从一次性收费开始,仅在市场需求明确时考虑引入订阅。
  4. 从“维生素”转向“止痛药”

    • 销售“锦上添花”型产品(如10万访客产生6,000美元收入)远不如销售“解决痛点”的产品(10万访客产生10万美元收入)。除非已有固定受众,否则应避免开发笔记应用或习惯追踪器等泛用工具,专注于解决用户迫切的问题。
  5. 利用情感驱动销售

    • 技术参数(如NextJS框架)吸引力有限,而描绘情感结果(如更快发布项目、实现财务自由)更能打动用户。应调整文案以激发情感共鸣。
  6. 第一印象至关重要

    • 在数字领域,第一印象体现在网站标题、视频封面或推文首句。这一句话对转化率的影响远大于其他因素。
  7. 健康是生产力的基础

    • 独立创业者身兼数职,极易倦怠。需将健康管理置于首位:
      • 饮食:健康饮食,减少碳水化合物,戒糖戒酒。
      • 运动:每日锻炼,即使仅15分钟轻松运动。
      • 睡眠:优先保证睡眠,在黑暗、18°C的环境中固定时间入睡;睡前10小时不喝咖啡,3小时不喝水,1小时调暗灯光。
15. What has a 1 in a million chance? (2010) (www.stat.berkeley.edu)

课堂讨论:何为“百万分之一”的概率?

课堂讨论结构

教师通过三个步骤引导学生思考“百万分之一的概率”这一概念:

  1. 联想:询问学生听到该短语时会想到什么(如中彩票、遭雷击)。
  2. 数据收集:讨论如何获取该短语的实际使用数据(如搜索博客)。
  3. 验证:让学生提出自己认为真正符合该概率(允许有2倍误差)的事件,并进行量化分析与验证。

示例分析:符合与不符合“百万分之一”

以下示例经过计算,其概率被认为大致符合“百万分之一”(标注“是”):

  • 游戏/抽样类:连续20次抛硬币结果全为反面;购买一定数量的彩票并中头奖;在维基百科随机文章中获得指定名人的页面。
  • 自然风险类:在接下来的50分钟内,教室附近的海沃德断层发生大地震(基于年发生率估算);未来5小时内,西雅图附近卡斯卡迪亚俯冲带发生破坏性地震。
  • 人口统计类:美国接下来出生的24名婴儿中,将有一位未来成为总统(基于出生率和总统任期估算)。
  • 政治类:在一次民调显示势均力敌的加州全州选举中,你的选票成为决定性的一票(基于票数计算)。
  • 个人风险类:在正式滑雪场进行一日滑雪时,因滑雪或单板滑雪事故死亡(基于“微死亡”数据)。

以下示例则被判断为概率显著偏离“百万分之一”(标注“否”):

  • 被雷击:虽然年均美国死亡人数对应的概率约为千万分之一,但个体概率因行为差异极大,无法准确估算至2倍误差内。
  • 男性患乳腺癌:终身发病率约为千分之一,远高于百万分之一。
  • 跳伞时死亡:概率更接近十个“微死亡”,高于一个。
  • 未来8天内被谋杀:基于人口平均值估算,但具体到个人时,因未从事高风险活动,相关性很低。
  • 在加州一次200英里的汽车旅行中死亡:根据死亡率计算并个人化调整后,概率符合。

关键概念与注意事项

  1. 风险评估的复杂性

    • 评估个人风险时,仅知道死亡人数数据不够,还需了解参与该活动的总人数。
    • 比较不同活动风险时,应考虑投入的时间(如使用“每百万次参与”的数据)。
    • “微死亡”:一个代表百万分之一死亡概率的单位,用于比较不同活动的人口平均风险。
  2. 个体差异的重要性

    • 人口平均统计数据(如微死亡)对特定个人的相关性可能很低,需用常识判断自身情况。
    • 行为、环境、社会经济地位等因素会导致个体风险与平均值产生巨大偏差(如雷击、谋杀风险、成为总统的潜力)。
  3. 疾病与寿命

    • 评估疾病、吸烟、肥胖等长期影响时,使用 “微生命” (代表半小时预期寿命变化)概念可能更为合适,因为它更贴近成人的生命周期。

结论

“百万分之一的概率”是一个有用的思考框架,但将其应用于现实事件时,必须进行具体的量化计算,并高度警惕个体差异与人口平均值之间的巨大鸿沟。它既是一个数学问题,也是一个引导学生理解数据、不确定性和批判性思维的教学工具。

16. Simple Lasts Longer (newsletter.pnote.eu)

文章摘要

本文讲述了作者为巴黎街头的“太空入侵者”马赛克收集活动制作在线地图时遇到的问题及解决方案,并借此阐述了“简单性”对于个人(爱好)项目长期存续的重要性。

1. 问题发现 作者制作了一个展示约1500个“太空入侵者”马赛克位置的静态在线地图,初衷是方便规划收集路线。但他发现,由于无法记录用户已经收集了哪些马赛克,地图在实际规划时变得无效,容易导致重复路线。官方网站应用会拒绝为重复拍照计分。

2. 解决方案探索 作者意识到需要为每个用户保存收集状态。他评估了三种方案:

  • 传统后端数据库:需要自行搭建服务器,增加维护负担。
  • 第三方服务(如Firebase):减少了自行搭建的工作,但引入了外部依赖,增加了项目复杂性。
  • 浏览器本地存储:利用Web Storage API将数据直接保存在用户设备浏览器中。

3. 实施与优势 作者最终选择了最简单的本地存储方案。他为地图添加了标记功能,并使用浏览器本地存储来持久化保存用户收集的马赛克ID列表。此方案的优点包括:

  • 极简:无需服务器、用户账户或身份验证。
  • 无服务器端状态:降低了数据丢失或泄露的风险(本地优先软件理念)。
  • 实现快速:仅用约50行代码(借助ChatGPT)就添加了导入/导出收集列表的功能,方便用户自行备份。

4. 局限性及对策 该方案的主要缺点是数据无法跨设备同步,且浏览器重装可能导致数据丢失。作者通过提供手动导入/导出功能,将备份责任交给用户,以此在不增加复杂性的前提下部分解决了这个问题。

5. 核心启示 作者通过自身维护一个长达15年的数据库项目的经验指出,复杂性会扼杀项目,尤其是对于资源有限的个人爱好项目。简单的设计不仅更快上线,也更能经受时间考验。他建议在开始新项目时,应尽可能简化初始版本,最小化外部依赖,以确保其易于长期维护,甚至能在未来十年内无需修改也能持续运行。

总结:文章通过一个具体的技术选型案例,倡导在开发个人项目时优先考虑简单性和本地化存储,以降低维护成本,延长项目寿命。

17. US unemployment has been under 4% for the longest streak since the Vietnam War (www.npr.org)

2023年美国就业市场表现稳健,尽管利率上升,全年雇主仍新增270万个工作岗位,失业率全年保持在4%以下。12月新增就业21.6万人,失业率稳定在3.7%。失业率低于4%的持续时间已接近两年,创下自越南战争以来的最长纪录。

就业增长在美联储激进加息的背景下展现出韧性,即使对借贷成本敏感的行业(如建筑业)在12月也新增了1.7万个岗位。2023年的就业增速虽较前两年经济强劲复苏时期有所放缓,但仍强于2015年以来的任何其他年份。

12月就业增长主要集中在政府和医疗保健领域。零售业新增1.7万个岗位,显示假日购物季收官良好。休闲和酒店业(包括餐饮和酒店)新增4万个岗位,但整体就业水平仍未完全恢复至疫情前水平。政府部门的就业在2023年的强劲招聘后,终于弥补了疫情造成的缺口。

工资仍在增长,但增速较年初放缓。12月平均工资同比增长4.1%。工资增长放缓减轻了价格上行压力,对通胀监管机构而言是积极信号。近期工资增速已超过物价增速,使普通购买力得到提升。

18. The Everything NPM Package (socket.dev)

“everything” NPM 包事件概述

事件概述

2024年初,NPM用户 PatrickJS(gdi2290) 与一众贡献者发布了一个名为 “everything” 的NPM包。该包名副其实,其依赖项覆盖了NPM上所有其他公开包,导致了数百万的传递依赖

问题与影响

  • 拒绝服务(DoS):安装此包会迅速耗尽系统存储空间和资源,造成服务中断。
  • 讽刺性展示:创建者设立了网站 http://everything.npm.lol 展示混乱场面,并添加了《上古卷轴5》的梗图。
  • 包结构:该包的 package.json 显示其依赖了五个 @everything-registry/chunk-* 的子包。

历史先例

类似行为并非首次出现:

  1. “no-one-left-behind”:2023年由Zalastax发布,试图依赖所有包,被移除后以另一名称重现,拥有超过33,000个子包。
  2. “hoarders”:2012年由工程师Josh Holbrook发布,直接依赖当时约20,000个模块,旨在成为“Node.js最全面的工具包”,后因给注册表数据库造成负担,被NPM创始人Isaac Schlueter移除。

政策陷阱与后果

  • NPM政策:自2016年left-pad事件后,NPM严格限制取消发布,禁止删除已被其他包依赖的版本。
  • 作茧自缚:PatrickJS在意识到问题后,试图取消发布“everything”包,但因上述政策无法操作。他通过GitHub issue道歉,并向NPM支持团队求助,提出了三种可能的解决方案(包括允许取消发布使用通配符版本的依赖、禁止通配符版本,或移除其整个组织)。
  • 现状:目前“everything”包仍留在注册表中,但 @everything-registry 作用域下的子包已被设为私有,可能部分缓解了问题。

启示

此事件凸显了NPM生态中依赖管理的挑战,以及包创建、维护和使用中的连锁效应。它提醒开发者在开源软件中需在自由与责任之间保持谨慎平衡。

19. 1195725856 and other mysterious numbers (2020) (chrisdown.name)

1195725856 和其他神秘数字(2020)摘要

文章描述了作者在 Facebook 性能评审期间遇到的 NFS 服务错误问题。错误日志中频繁出现“RPC: fragment too large: 1195725856”等消息,导致服务中断。作者通过代码分析发现,错误源于内核函数 svc_tcp_recv_record 中对 RPC 碎片大小的检查,当消息超过 sv_max_mesg 限制时会触发警告。

关键发现是,这些数字(如 1195725856)在十六进制下对应 HTTP 方法字符串。例如,1195725856(0x47455420)代表“GET ”,1212498244(0x48454144)代表“HEAD”。这表明有人错误地将 HTTP 请求发送到了 NFS 的 RPC 端口(2049),导致协议不匹配。

作者使用 tcpdump 捕获数据包,确认了 HTTP 请求的来源,并通过团队协作解决了问题。文章建议在内核错误路径中添加 ASCII 输出以加速诊断,并提供了一个 C 程序来生成各种 HTTP 方法对应的整数表示,帮助用户识别类似问题。

在线搜索这些数字可发现大量类似案例,凸显了协议误用的普遍性。作者呼吁未来提交补丁以改进内核错误消息,并建议在内存不足崩溃时限制消息大小。

20. Adventures of Linux Userspace at Meta [video] (media.ccc.de)

Meta公司的Linux用户空间团队致力于为上游用户空间项目做出重大贡献,同时确保Meta能够利用这些改进。本演讲概述了该团队的成立背景与正式化历程,深入探讨了其与开源社区合作的具体成果以及内部采用的相关功能。内容涉及systemd、BPF、Linux发行版等关键技术领域。

21. Ten Noteworthy AI Research Papers of 2023 (magazine.sebastianraschka.com)

2023年值得关注的十篇AI研究论文摘要

2023年机器学习和AI领域异常活跃,本文作者聚焦于大型语言模型(LLM),评选了十篇印象深刻且具有影响力的研究论文。评选标准基于个人喜好和论文价值,并非绝对排名。

一、 大型语言模型(LLM)相关论文

  1. Pythia:跨训练与扩展分析的大型语言模型套件

    • 发布了一系列不同规模的开源模型(70M至12B参数)。
    • 核心价值在于公开了详细的训练细节、分析与见解,探讨了诸如重复数据预训练、数据顺序对记忆的影响、词频与任务性能的关系等实际问题,是透明性研究的典范。
  2. Llama 2:开源基础与微调对话模型

    • Meta推出的强大开源LLM系列(7B至70B参数),许可允许商业使用
    • 包括标准预训练模型和通过RLHF(人类反馈强化学习) 微调的对话模型(如ChatGPT所用方法)。附有详尽的77页研究报告,展示了模型从监督微调到RLHF优化的演进过程。
  3. QLoRA:量化LLM的高效微调

    • 一种内存高效的微调技术,基于LoRA(低秩适应)并引入量化
    • 显著降低GPU内存需求,使得在消费级显卡上微调大型模型成为可能。例如,可在单块48GB GPU上微调65B模型,且性能接近全精度微调。
  4. BloombergGPT:面向金融的大型语言模型

    • 一个有趣的领域特定LLM案例研究,在500亿参数模型上混合使用金融专业数据和通用数据进行预训练。
    • 虽未产生突破性新方法,但因其在特定领域的成功及对预训练与微调策略的启发而入选,展示了训练领域LLM的可行路径。
  5. 直接偏好优化:你的语言模型本身就是一个奖励模型

    • 提出了一种比RLHF更简单的对齐人类偏好的方法DPO
    • DPO跳过了复杂的奖励模型构建步骤,直接使用偏好数据对模型进行微调,简化了训练流程。基于DPO微调的Zephyr 7B模型在对话基准上表现优异。
  6. Mistral 7B

    • 一个紧凑但强大的7B参数模型,在多种基准上超越了更大的Llama 2 13B模型。
    • 其架构采用了滑动窗口注意力机制以提高效率。Mistral 7B成为了后续重要模型的基础,如Zephyr 7B和Mixtral,代表了小型高效LLM的发展趋势。
  7. Mixtral 8x7B(基于Mistral的MoE模型)

    • 基于Mistral 7B的混合专家模型,总参数量约46B,但推理时仅激活约14B参数。
    • 在多个公开基准上匹配甚至超越了更大的Llama 2 70B模型,展示了MoE架构在提升模型能力和效率方面的潜力。
  8. Phi系列模型

    • 微软发布的一系列小模型(1.3B至2.7B参数),其核心在于使用高质量“教科书级”数据进行训练。
    • 即使参数量较小,其性能也极具竞争力,甚至匹配更大的Mistral 7B,强调了高质量数据在模型训练中的关键作用。
  9. Orca 2:教导小型语言模型如何推理

    • 旨在通过策略学习来增强小型LLM(7B和13B)的推理能力,而非单纯模仿大模型的输出。
    • 教授小型模型多种推理技术(如逐步推理),并使其能为不同任务选择最佳策略,使其性能可媲美大数倍的模型。

二、 计算机视觉(CV)相关论文

  1. 大规模下卷积神经网络匹配视觉Transformer

    • 通过大规模实验发现,当CNN和ViT拥有相当的计算预算和数据规模时,CNN的性能可以与ViT相匹配,挑战了ViT必然优于CNN的普遍看法。
  2. Segment Anything

    • 一个图像分割的里程碑项目,推出了新的任务、模型和数据集
    • SAM模型能够根据各种提示(点、框、文本)进行高效分割,其配套数据集是迄今最大的分割数据集。模型因使用合规数据而便于开源。
  3. Emu Video:通过显式图像条件分解文生视频生成

    • 提出了一种相对简单的文本到视频生成架构,将过程分解为两步:首先根据文本生成图像,然后结合文本和生成的图像来生成视频。
    • 性能优于许多先前方法,预示着文本到视频生成模型的普及趋势。

本文是对2023年重要AI进展的精选回顾,突出了LLM领域的开源模型、高效微调、对齐方法、数据质量以及小模型和MoE架构的崛起,同时也涵盖了计算机视觉在模型架构和任务方法上的重要进展。

22. Transputer.net (transputer.net)

文章摘要:Transputer.net

个人经历与Transputer的缘起

  • 作者于1991年在维也纳工业大学求学期间,与朋友共同集资购买了首个Transputer处理器及相关硬件(如动态RAM、电路板),并在此基础上构建了Transputer系统。
  • 期间,他们自行开发了链路适配器、首个汇编器及程序,这段经历被作者视为宝贵时光。
  • 后来,作者在毕业论文项目中使用Transputer作为嵌入式控制器,实现了快速的开发、下载与测试周期,在当时已属先进。
  • 2004年,作者试图重新启动早期项目,尽管遇到了基地址遗忘、跳线功能不明等困难,但仍成功恢复。此后,作者通过查阅资料网站和购买硬件(如通过eBay)不断扩充相关收藏,Transputer逐渐成为其主要的业余爱好。

网站内容介绍

将包含的内容:

  1. 文档资料:这是网站的核心内容,旨在持续更新。文档将以在线和离线(PDF)两种形式提供,主要基于作者个人收藏的文献。
  2. 项目信息:包括过去完成的、当前正在进行的Transputer相关项目,以及未来可能开展的项目构想。
  3. 软件工具:作者为其项目自主开发的相关软件。

不包含的内容:

  1. 商业或第三方软件:如编译器、TDS(Transputer Development System)、Helios操作系统等商业产品。
  2. 特定档案库内容:几乎不包含来自Ram Meenakshisundaram的Transputer档案库的资料。
  3. 项目源代码:作者不会提供其软件项目的源代码。

其他说明

  • 作者对曾帮助他收集资料和硬件的人们表示感谢,并提及家人的支持。
  • 网站最后更新于2025年8月3日。
23. RIP Microsoft WordPad (gizmodo.com)

文章标题为《RIP Microsoft WordPad》。然而,所提供的“文章内容”并非实际文章文本,而是一段网页的源代码。

该代码显示了一个Cloudflare的验证页面,其主要功能和目的是:

  1. 访问控制:页面提示“Enable JavaScript and cookies to continue”,表明这是一个安全验证关卡,用于过滤机器人流量或确保访问者满足特定条件(如启用JavaScript和Cookies)。
  2. 代码结构:页面包含基础的HTML结构、样式表,以及一段核心的JavaScript脚本。该脚本负责与Cloudflare的“挑战平台”进行交互,以完成验证过程。
  3. 元信息:代码中嵌入了与验证相关的参数、密钥(如cFPWvcHcN等)和重定向逻辑。在验证通过后,页面可能会跳转回原本的目标文章页面(路径中包含/microsoft-wordpad-gone-windows-11-1851144100)。

结论:由于提供的内容是Cloudflare的防护页面源码,而非《RIP Microsoft WordPad》这篇文章的正文,因此无法总结文章关于WordPad被废弃的具体观点、细节或报道内容。实际的文章内容被此验证页面暂时拦截。

24. Parable of the Polygons (2014) (ncase.me)

Parable of the Polygons 是一个基于诺贝尔经济学奖得主托马斯·谢林1971年论文《隔离的动态模型》创建的互动模拟项目。它通过可爱的图形(多边形)直观展示了社会隔离现象是如何由个体微小的偏好差异累积而成的。

项目的核心贡献在于对谢林模型的积极扩展:它证明,如果个体对多样性的需求仅仅增加一点点(例如,希望邻居中有一定比例的不同形状),整体社区就能从隔离状态转变为融合状态,从而为原模型提供了一个积极的结局。

文章指出,现实世界更为复杂,并引用了其他相关研究,如W.A.V. Clark对谢林模型的实证检验,以及关于性别偏见在职场中累积效应(《男性-女性差异:计算机模拟》)和“佩特里乘数”现象的模型。

项目的核心道德信息是:在个人空间或社群中主动要求多样性,能产生巨大的整体影响。文章以此呼吁支持“多元化你的论坛”等倡议。

该项目的灵感来源是布雷特·维克多的“可探索解释”和伊恩·博格斯特的“过程性修辞”,旨在通过可交互的方式传达思想。

最后,文章倡导支持多样性,列出了多个致力于此的公益组织(如Black Girls Code、Girls Who Code等),并展示了该项目在众多主流媒体(如《连线》、《华盛顿邮报》)上的广泛报道,以及被翻译成多种语言和衍生出其他作品的影响力。

25. Deep beneath earth's surface, clues to life's origins (www.quantamagazine.org)

文章摘要

文章报道了一项通过深海钻探获取地幔岩石,以探索生命起源线索的重大科学突破。2023年春季,科学家利用钻探船“JOIDES Resolution”号在大西洋海底一个名为“Atlantis Massif”的海底山上,成功钻取了深度超过1267米的地幔岩石样本。该地点地壳较薄,地幔岩石更接近地表。

核心发现与意义:

  1. 研究背景:地幔岩石通常深埋地底,难以获取。此次获取的新鲜样本为研究地球深层过程提供了宝贵材料。更重要的是,当海水渗入地幔岩石(主要是橄榄岩)时,会发生蛇纹石化反应,生成氢气等产物。这些非生物化学反应能产生构成生命基本模块的有机化合物,被认为是地球早期生命可能起源的环境之一。
  2. 关键证据:在钻孔深处收集的水样中,发现了高浓度的氢气,其含量足以在取样管中形成气泡。氢气是非生物合成有机物的关键“燃料”。此外,初步分析还检测到了甲酸盐等简单有机酸,它们是生命构建单元(如氨基酸)的可能前体。
  3. 自然实验室:钻孔直接触及了“Lost City”热液喷口系统的核心。该系统以其白色碳酸盐烟囱闻名,其化学反应与火山型黑烟囱不同。钻孔提供了一个独特的、微生物干扰极少的天然实验室,使科学家能够研究生命出现之前或早期生命极为稀少时的非生物有机化学
  4. 微生物生命探寻:研究团队同时也在探索极端地下环境中是否存在微生物。这些微生物可能依赖氢气等非生物产生的化合物生存,研究它们有助于理解早期生命代谢方式的起源。科学家通过在船上对岩芯样本进行大量培养实验来寻找答案。
  5. 技术挑战与历史:深海钻探技术难度极高,本次钻探过程也遇到了设备故障等挑战。此次成功是对1961年“Project Mohole”(人类首次尝试钻穿地壳)精神的延续,钻探技术也承袭自该项目。
  6. 未来与展望:目前团队正在处理海量样本,全面分析水化学、岩石矿物学及微生物特征。钻孔底部的高温(可能接近122摄氏度的生命极限)条件有助于排除生物干扰,聚焦纯化学反应。此项研究不仅有助于解开地球生命起源之谜,其发现的非生物化学过程也为实验室模拟早期地球或地外行星(如木卫二、土卫二)的前生命化学提供了重要参考。
  7. 设备告别:“JOIDES Resolution”号钻探船计划于2024年底退役,届时将留下海洋研究领域的空白。本次航行是其最后几次重要任务之一。

总结:通过深入“Lost City”热液系统的钻探,科学家获得了直接研究地幔岩石与水相互作用的机会,并在其中发现了丰富的氢气和简单有机物。这为验证“生命可能起源于地球深处非生物化学反应”的假说提供了关键的现场证据和实验平台。

26. NuScale Lays off 40% of its Staff (www.huffpost.com)

NuScale Power公司近日宣布裁员154名全职员工,占总员工数的28%;据消息源透露,实际裁员比例可能高达40%。公司预计裁员可节省约6000万美元开支,但本季度需承担约300万美元的裁员相关费用。消息公布后,其股价下跌逾8%。

此次裁员的背景是公司面临严重财务压力。近一年前,NuScale曾成为首个获得美国核管理委员会(NRC)批准的小型模块化反应堆(SMR)设计企业,但随后其位于爱达荷州的首个电厂项目因成本上升和融资困难被取消。公司现金储备持续减少,最新季度报告显示其现金储备不足2亿美元,其中近40%为受限资金。

NuScale的困境反映了整个核能行业面临的挑战。尽管美国政府通过立法拨款数十亿美元支持核能发展,并致力于实现全球核能产量三倍的目标,但新型反应堆项目普遍存在建设周期长、成本超支严重的问题。小型模块化反应堆被寄望于通过标准化设计和模块化生产降低成本,但目前仍处于商业化初期。

其他核能创业公司也面临类似压力:X-energy裁员并取消了上市计划;Oklo则一度被传可能失去军方合同。同时,美国现有核电运营商也对政府提出的清洁氢燃料生产规则表示反对,认为其可能影响现有反应堆获得税收优惠的资格。

在国际竞争方面,美国核能发展明显落后于俄罗斯和中国。俄罗斯的Rosatom公司正在为多个国家建设新反应堆,且未因俄乌冲突受制裁;中国不仅在建反应堆数量领先,甚至早于美国采用了美国的先进反应堆设计。美国近期采取措施恢复本土铀燃料生产能力,包括重启铀矿开采和铀浓缩业务,以减少对外依赖。

尽管面临诸多挑战,核能因其稳定、低碳的特性,仍在全球能源转型中占据重要地位。铀价已升至2011年福岛事故以来的最高水平,显示出市场需求。

27. UIDesignDaily 4 years later, 1600 open-source designs (www.uidesigndaily.com)

UIDesignDaily 是一个提供 UI 设计资源的开源平台,已持续运营四年。该平台积累了 1600 个开源设计,并拥有一个活跃的社区,通过新闻通讯将 UI 资源直接发送给超过 19,000 名订阅者的收件箱。其核心价值在于长期、持续地贡献开放的设计资源,方便设计师获取和使用。

28. Thorium – The first browser to score over 600 speedometer points on a Mac M3 Pro (github.com)

Thorium 浏览器 M119 版本更新摘要

Thorium 浏览器发布 M119 版本,这是首次在 Mac M3 Pro 上实现 Speedometer 2.1 超过 600 分的突破。本次更新包含多项功能改进、安全修复和新标志。

主要更新内容

  • 安全修复:解决了多个 CVE 漏洞,包括 GHSA-xm5p-7w7v-qqr5。
  • 性能提升
    • 改进 HLS 支持。
    • 通过新的 Thorium 编译器标志和上游 V8 重构,优化 JavaScript 编译性能。
    • PGO(Profile-Guided Optimization)更有效。
  • 功能增强
    • 更新 Widevine 版本。
    • 扩展搜索引擎选择到更多地区(俄罗斯和中国因政策限制除外)。
    • 实时字幕功能现已可工作(仅支持英语)。
    • ChromeCast 支持 VP8 和 VP9 编解码器,减少带宽消耗(默认禁用,实验性)。
    • 在 ThoriumOS 中,键盘快捷键与 Linux 更一致。
  • 新标志
    • chrome://flags#disable-aero:禁用透明效果和 GPU 加速窗口合成(不影响网页内容)。
    • chrome://flags#download-bubble:恢复旧版下载栏,替代新版下载气泡。
    • chrome://flags#tab-hover-cards:移除标签页悬停卡片图像,替换为工具提示。
    • chrome://flags#storage-access-api:手动启用 Storage Access API(默认禁用以降低安全风险)。
  • 其他改进
    • 便携版现在将缓存目录设置为 ./.config/cache,避免外部磁盘写入。
    • Windows 构建通过启用 win_enable_cfg_guards = true 增强内存溢出防护。
    • 在 MacOS 上禁用 disable_fieldtrial_testing_config 参数,可能导致字段试验(如 Google 实验)恢复,这可能影响性能重现性。
  • 修复与调整:Live Caption 仅支持英语(其他语言 .grdp 文件闭源),搜索引擎扩展不包括俄罗斯和中国。

性能里程碑

Thorium 119 ARM64 在 Macbook Pro with M3 CPU 上实现 Speedometer 2.1 超过 600 分,成为首个在此硬件上达成该成绩的浏览器。

所有更新基于上游 Chromium 改进和 Thorium 特定优化,旨在提升安全性、性能和用户体验。

29. On building a semantic search engine (vickiboykis.com)

构建语义搜索引擎的总结

项目概述

Viberary 是一个基于“氛围”进行书籍搜索的语义搜索引擎副业项目,于2023年开发,现已停止运行。项目关闭原因包括:进一步开发需要构建模型存储、特征存储等复杂基础设施;维护运行应用(如依赖更新)需要持续投入;每月超过100美元的维护成本;以及需要为新项目腾出时间。作者通过此项目积累了大量经验。

语义搜索与传统搜索

  • 传统搜索:基于关键词的字面匹配(如“Nutella”),使用倒排索引和BM25等算法,结果精确但无法理解语义。
  • 语义搜索:基于查询的“感觉”或关联含义进行搜索(如“巧克力榛子美食”可能返回“Nutella”、“蛋糕”等结果),旨在理解用户意图而非字符串匹配。
  • 混合搜索:现代搜索引擎通常结合关键词与语义方法。Netflix 通过人工标注(如“温馨英国真人秀”等类别)进行内容探索的案例,展示了如何将“氛围”融入推荐系统。
  • 搜索与推荐的融合:作者将书籍搜索问题定义为非个性化的语义搜索,用户通过查询提供上下文,而非基于历史行为。

技术架构与实现

  1. 数据准备

    • 使用 UCSD Book Graph(源自 Goodreads)的236万本书籍元数据和1570万条评论。
    • 通过 DuckDB 处理 JSON 数据,构建用于生成嵌入的句子(由评论文本、书名和描述拼接而成)。
  2. 模型选择与嵌入生成

    • 采用 Sentence Transformers 的 msmarco-distilbert-base-v3 非对称模型,将文本编码为768维向量。
    • 模型选择考虑:针对余弦相似度优化、平衡性能与维度大小(信息压缩与计算效率的权衡)。
    • 在 AWS P3 实例上训练嵌入,生成压缩的 Parquet 文件。
  3. 索引与检索

    • 使用 Redis Search 存储嵌入向量,通过 HNSW 算法 基于余弦相似度进行近似最近邻搜索。
    • 索引建立在约80万份文档上,耗时约1分钟。
  4. 查询与响应

    • Flask API 接收查询,使用同一模型编码为向量,通过 Redis Search 执行 KNN 搜索。
    • 结果按余弦相似度降序和评论数量(作为质量代理)排序。
  5. 用户界面

    • 使用 Bootstrap 前端和 Jinja 模板渲染结果。
    • 迭代优化:添加书籍链接、移除排名数字、提供查询建议(参考 Netflix 类别),并优化移动端加载速度和可读性。
  6. 部署与运维

    • 容器化:使用 Docker Compose 网络连接 Flask 和 Redis,区分本地与生产环境配置。
    • 部署平台:DigitalOcean Droplets 配负载均衡器和 Nginx 反向代理。
    • CI/CD:GitHub Actions 运行测试与 linting,通过 Makefile 命令手动更新服务器 Docker 镜像。
    • 监控:Locust 进行负载测试,自定义日志模块记录查询与输出。

关键经验与教训

  • 从简单开始:确保项目可本地测试,优先构建核心逻辑而非依赖云服务。
  • 模型与向量选择:正确选择模型和向量维度至关重要,直接影响结果质量。
  • 基础设施选择:DigitalOcean 提供简洁高效的中小型项目解决方案;DuckDB 适用于100GB以下的本地数据处理,但需注意其发展中的限制。
  • Docker 挑战:构建高效镜像、处理跨架构(如Mac M1+)兼容性需投入时间。
  • 语义搜索的复杂性:真正的语义搜索涉及机器学习、用户界面和部署流程的精细调优,需要持续迭代与基准测试。
  • 实践价值:项目验证了“规范ML工程”的理念,即采用实用、可理解的工具和方法,而非盲目追求新技术。部署生产应用本身即是一种有价值的实践。
30. Lancet journal retracts article on hearing aids and dementia after prodding (retractionwatch.com)

标题: 《柳叶刀》子刊在外界敦促下撤回关于助听器与痴呆症的研究论文

事件概要: 一篇于2023年4月发表在《柳叶刀·公共卫生》上的论文(标题:听力损失患者使用助听器与全因及特定原因痴呆的关联:基于UK Biobank队列的分析)因存在根本性分析错误,已于2023年12月被撤回。该论文曾获国际媒体广泛关注和学术界高度评价,其声称使用助听器可将痴呆风险降至与听力正常者相当的水平。

发现与纠错过程:

  1. 问题初现: 爱丁堡大学博士后研究员Jure Mur为后续研究尝试复现该论文结果时,无法匹配原始发现。在多次自行检查代码后,他怀疑原始论文存在错误。
  2. 沟通受阻: Mur多次尝试联系论文通讯作者(来自山东大学的Zhu Dongshan),但未获任何回复。他也尝试联系其他作者,同样无果。
  3. 求助期刊: 在期刊编辑建议下,Mur于2023年5月起通过邮件向《柳叶刀·公共卫生》编辑部详细说明了发现的差异。编辑部建议作者提供代码,并表示正在处理勘误。
  4. 核心发现: Mur的分析显示,在听力损失人群中,使用助听器者的痴呆发生率更高,而非原论文所称的更低。他与同事据此撰写了评论文章,并于10月提交给期刊。
  5. 期刊决定与作者回应: 期刊编辑部决定不发表Mur等人的评论,但将作者的回应及附带的代码转发给了Mur。作者的回应承认了“编码方案存在一些差异”,并进行了新的分析。然而,在提供的补充材料中,作者的新结果证实了Mur的发现(即使用助听器风险更高),这与他们最初发表的结论完全矛盾。
  6. 最终施压与撤回: Mur向编辑部指出,根据作者自己的新分析,原论文结论是错误的,应当撤回或进行重大更正。在Mur持续敦促下,编辑部于2023年11月底要求作者再次澄清。作者于11月24日报告其工作存在重大错误。12月12日,期刊正式发布撤稿通知。

撤稿原因: 撤稿通知指出,作者发现其SAS代码中输出格式设置错误,导致“使用助听器的听力损失患者”与“未使用助听器的听力损失患者”的数据发生了交换,从而使得整个分析结果及结论是“错误和误导性的”。

影响与反应:

  • 原研究影响: 该研究曾被广泛报道,被该领域的编辑评价为“在没有随机对照试验的情况下所能获得的最佳证据”。
  • 作者回应: 通讯作者Zhu Dongshan在回应中表示,若未发生数据错位,使用助听器实际上会带来更高的痴呆风险。他提出未来将尝试控制自我报告和严重程度等偏差。
  • 期刊反思: 《柳叶刀》发言人承认,在收到作者最初关于“编码系统存在差异”的解释时,编辑部“本着善意”接受了该说法,未发表Mur的评论。事后看来,应更认真地追查已承认的差异。
  • 学者观点: 纽约大学教授Jan Blustein认为,鉴于该数据集的重要性和原始研究的巨大影响力,仅撤稿是不够的,应发布更正后的分析以完善科学记录。
  • 研究员体会: Mur认为撤稿通知未充分反映是他和同事主要推动并识别了问题。他提醒其他研究者,纠正科学记录可能是一场“艰苦的战斗”,需要持续努力并提交正式论文才能推动期刊采取实质行动。

总结: 此次事件始于一位独立研究者的复现尝试,因原作者和期刊初期的沟通不畅,经历数月周折,最终在研究者坚持提供证据和施压下,揭露出论文因代码错误导致结论完全相反的事实,促使《柳叶刀》子刊撤回这篇曾备受瞩目的论文。该事件凸显了科学复现的重要性,也引发了对期刊编辑流程如何更有效应对质疑的讨论。

31. NIST Identifies Types of Cyberattacks That Manipulate Behavior of AI Systems (www.nist.gov)

NIST 发布AI对抗性攻击分类与缓解框架

研究背景与目的

美国国家标准与技术研究院(NIST)发布新报告《对抗性机器学习:攻击与缓解的分类和术语》(NIST.AI.100-2),旨在系统梳理人工智能(AI)和机器学习(ML)系统面临的攻击类型及应对策略。该报告是政府、学术界和产业界合作成果,属于NIST支持可信AI开发的广泛努力的一部分,可帮助实践其AI风险管理框架。报告明确指出,目前没有一劳永逸的防御方案,开发者需理解攻击类型及缓解措施,同时承认现有防御手段存在不足。

AI系统面临的主要威胁

AI系统依赖海量数据训练,这些数据可能来自网站、公众互动等不可信来源。恶意行为者可在训练期间或之后(如AI与现实世界交互时)污染数据,导致AI行为异常。例如,精心设计的恶意提示可能使聊天机器人生成辱骂或种族主义言论。

四大对抗性攻击类型

报告根据攻击者目标、能力、知识等标准,将主要攻击分为四类:

  1. 逃逸攻击

    • 发生阶段:AI系统部署后
    • 方法:通过篡改输入改变系统响应
    • 示例:在停车标志上添加标记,误导自动驾驶汽车将其识别为限速标志;或制作混淆车道标记使车辆偏离道路。
  2. 投毒攻击

    • 发生阶段:AI训练阶段
    • 方法:向训练数据中注入损坏数据
    • 示例:在对话记录中掺入大量不当语言,导致聊天机器人将这些语言视为常见用语并在客户互动中使用。
  3. 隐私攻击

    • 发生阶段:AI部署阶段
    • 方法:窃取AI系统或其训练数据的敏感信息以进行滥用
    • 示例:通过向聊天机器人提出大量合法问题,逆向工程模型以发现弱点或推测数据源;随后可在这些在线源头添加错误数据,使AI行为失当,且事后让AI“遗忘”这些数据通常很困难。
  4. 滥用攻击

    • 方法:向合法但被入侵的来源(如网页、在线文档)插入错误信息,AI吸收这些信息后其预期用途被扭曲
    • 与投毒攻击的区别:滥用攻击旨在通过篡改合法来源向AI注入错误信息,从而重新定向其功能。

攻击难度与现有防御局限

报告指出,大多数攻击易于实施,仅需对AI系统有限的了解和有限的对抗能力。例如,投毒攻击可能只需控制数十个训练样本(占整个训练集极小比例)即可实现。报告同时提供了各类攻击的子分类及缓解方法,但明确承认现有防御措施远不完善,缺乏强有力的安全保障。

结论与建议

NIST计算机科学家Apostol Vassilev强调,尽管理论上存在未解决的AI安全问题,但开发者和使用AI的组织仍需重视这些攻击可能引发的严重后果。报告提供的分类框架有助于提升对攻击类型的认知,为风险评估与管理提供基础,同时呼吁社区开发更有效的防御方案。

32. Westworld: The first film with CGI (and its source code) (behind-the-screens.tv)

文章摘要:影视作品中的源代码解密系列

本文是作者John Graham-Cumming对其博客与YouTube频道内容的汇总,专注于分析并揭秘出现在电影和电视剧中的真实源代码片段。该系列旨在追溯这些屏幕代码的真实来源、功能及其背后的故事

核心项目概述

作者从2017年起,基于其Tumblr博客“Movie Code”,制作了一系列深度解析视频,探寻影视中代码的奥秘。该频道于2022年关闭,视频全部上传至个人网站。项目核心在于证明,许多影视中一闪而过的代码并非虚构,而是真实存在且具有一定功能的程序

重点案例解析

文章列举了多个代表性案例:

  • 《西部世界》(1973):作为首部使用计算机生成图像的电影,其屏幕代码拥有惊人来源,与电影特效技术密切相关。
  • 《终结者》(1984):片中出现的Apple II代码,其真实来源是**《Nibble》杂志**,而代码的功能首次被揭示。
  • 《侏罗纪公园》:丹尼斯·内德利用于关闭安保系统的代码,其真实内容与意图被成功追踪。
  • 《硅谷》S03E01:剧中出现的“彩蛋”代码,被证实是皮德派普压缩库的简化实现
  • 《机器人启示录》:剧中出现的IBM BASIC代码,作者通过运行和分析随机数生成器,精确推断出其使用的具体版本
  • HBO《西部世界》:剧中展示了真实的GPS卫星数据和来自开源无人机自动驾驶项目ArduPilot的代码。
  • 《复仇者联盟》系列:钢铁侠战衣的启动代码,其真实来源竟与乐高机器人开发套件相关。
  • 其他案例:还包括《飞狼》、《刀锋战士》、《机械战警》、《碟中谍5》、《蜘蛛侠:英雄归来》等众多作品中的代码分析。

方法与资料来源

分析过程通常包括:

  1. 截取影视中出现的代码片段。
  2. 通过搜索引擎、技术文献、杂志旧刊和开源项目库进行溯源。
  3. 使用模拟器(如Apple II模拟器)或解释器实际运行代码,观察输出。
  4. 结合电影上下文,解读代码在剧情中的“伪装”功能与其真实功能之间的关联。

所有案例都附有详细的参考资料链接,包括相关Tumblr文章、Reddit讨论、技术手册和代码源文件。

作者与平台

该项目及其所有内容由John Graham-Cumming制作。网站是对其过往YouTube频道内容的存档和延续,是影视技术迷和程序员的独特趣味考古。

33. The Tensor Network (tensornetwork.org)

The Tensor Network 网站摘要

网站目的
Tensor Network 网站是一个专注于张量网络(tensor network)算法、理论和软件的综合性资源平台。它旨在为研究人员和学习者提供相关领域的最新资料和工具。

张量网络定义
张量网络是将非常大的张量(tensor)因子化分解为较小张量的网络结构,广泛应用于应用数学、化学、物理、机器学习等多个领域。

网站资源结构
网站内容分为多个主要类别,涵盖基础概念、网络类型、算法、计算工具和应用场景:

  • 基础资源

    • 综述文章与学习资源:提供入门和高级学习材料。
    • 基础主题:包括张量图表示法(Tensor Diagram Notation)和张量网络中的对称性(Symmetries in Tensor Networks)。
  • 张量网络类型

    • 矩阵乘积态/张量训练(Matrix Product State / Tensor Train)
    • 矩阵乘积算子(Matrix Product Operator)
    • 树张量网络/层次Tucker(Tree Tensor Network / Hierarchical Tucker,即将推出)
    • PEPS(Projected Entangled Pair States)
    • MERA(Multiscale Entanglement Renormalization Ansatz,即将推出)
  • 张量网络算法

    • MPS/TT 和 MPO 算法
      • 基础 MPS/TT 算法
      • 求解线性方程(如 DMRG 算法)
      • MPS/TT 网络求和
      • MPS/TT 与 MPO 相乘
      • 时间演化算法
      • 张量交叉插值/TT-Cross(新增内容)
    • 张量重正化群(TRG)算法
  • 计算资源

    • 张量软件(Tensor Software):相关软件工具介绍。
    • 软件基准测试(Software Benchmarks):性能评估指南。
  • 应用场景

    • 连续变量函数(量子启发)
    • 机器学习
    • 概率与统计
    • 量子物理
    • 非平衡统计物理

网站特点

  • 整个网站内容可编辑:用户可以通过 Github 克隆源代码、编辑 Markdown 内容并提交拉取请求(pull request)来贡献内容。
  • 提供贡献页面以获取更多信息。
  • 部分内容标注为“即将推出”或“新”,例如 Tree Tensor Network、MERA 和 TT-Cross,表明网站持续更新中。

总结
该网站作为一个开放资源,系统性地介绍了张量网络的核心理论、多种类型、关键算法、计算工具和实际应用,支持社区协作和知识共享,适用于初学者和专业研究人员。

34. First tunnel to a magma chamber could supercharge geothermal power (www.newscientist.com)

文章标题: 通往岩浆房的首个隧道或将为地热能发展带来革命性突破

文章摘要:

冰岛科学家计划钻探两个深入岩浆房的钻孔。其中一个将实现人类首次对岩浆的直接测量,另一个则有望大幅提升地热能的提取效率。这个项目在科学和能源领域都具有重大意义。

  • 背景与目标: 冰岛以其广泛利用的地热能闻名,遍布全国的钻井用于提取地下热能。当前的项目目标更为大胆:首次直接钻探一个已定位的岩浆房——地表下数公里处的熔融岩石储库。
  • 科学突破: 该项目将具有里程碑式的科学意义。目前尚无可靠的地球物理技术能精准定位岩浆房,而冰岛团队幸运地发现了一个。此次钻探将提供前所未有的机会,直接研究地球用于构建大陆的隐藏液态岩石,从而获得关于地球内部运作的宝贵数据。
  • 能源应用潜力: 除了科学研究,该项目旨在革新地热能利用。传统的地热发电依赖于地下热水或蒸汽。直接连接岩浆房(其温度极高)可能创建一个“超级”地热系统,从而更高效、更强大地发电,显著提升地热能的输出能力。
  • 背景与风险: 文章提及冰岛南部格里姆塞克镇附近近期发生的火山活动,作为岩浆有时会泄露至地表的例证,这也间接说明了此类钻探作业面临的环境挑战和风险。

总之,这项开创性的钻探计划旨在同时实现首次岩浆直接科学勘探和开发下一代超高效地热能源技术。

36. C Compiler Assembler and Runtime for C64 (github.com)

Oscar64: C64的C语言编译器、汇编器与运行时

核心介绍

Oscar64 是一个运行在现代系统(如 Windows PC、Mac 或 Linux)上的 C/C++ 交叉编译器,其目标平台是经典的 6502 系列处理器,主要聚焦于 Commodore 系统,例如 Commodore 64 (C64)、PET 和 VIC20。

主要特性与目的

  • 语言支持:支持 C99 标准以及许多 C++ 特性,最高支持到可变参数模板(variadic templates)和 lambda 函数。
  • 核心目标:旨在消除开发者为了在 6502 平台上获得高代码密度和快速执行速度而必须手写汇编代码的需求。通过其优化,开发者可以使用高级语言编写出性能卓越的代码。
  • 持续发展:随着使用它开发的游戏、演示程序和工具不断增多,编译器本身也在持续改进。
  • 项目扩展性:支持磁盘覆盖(disk overlays)和分组式卡带(banked cartridges),以适应更大的项目。

性能表现

在使用 -O3 优化级别编译后,C64 平台每秒可执行 442 次 dhrystone V2.2 迭代。文章指出,这一结果表明,对于一款优化编译器而言,传统的 dhrystone 基准测试已不再构成挑战。

应用实例与资源

  • 游戏示例:文中列举了多款使用 Oscar64 开发的免费游戏(如《Ball and Chain》、《Corescape》、《Metal Mayhem》、《Portal Buster》等),以证明用 C/C++ 在 C64 上编写快节奏动作游戏的可行性。
  • 第三方项目:文章提供了指向使用 Oscar64 或为其提供库的第三方项目的链接。
  • 学习资源:作者提供了指向完整参考手册、额外示例、教程以及第三方项目的链接,供用户深入了解和使用。

总结

Oscar64 是一个功能强大的现代 C/C++ 交叉编译器,专门针对以 C64 为代表的 6502 处理器复古计算机平台。它通过高级语言支持和优化,极大地简化了高性能软件的开发过程,并已成功应用于多个实际游戏项目中。

37. One year ago we flooded a forest [video] (www.youtube.com)

YouTube视频页面摘要

视频基本信息

  • 标题:One year ago we flooded a forest - the results are insane(一年前我们淹没了一片森林——结果令人震惊)
  • 频道:Mossy Earth(721K订阅者,已认证)
  • 观看次数:4,489,840次(约448万)
  • 发布时间:2023年8月30日
  • 点赞数:117K(约11.7万)
  • 评论数:2.7K

视频内容

这是一个关于斯洛伐克湿地恢复项目的纪录片。视频记录了在前一年成功淹没一片森林后,第二年团队期待洪水再次到来的过程和结果。

视频章节

  1. Intro(0:00)- 开场介绍
  2. Early Spring(1:04)- 早春阶段
  3. April floods(5:03)- 四月洪水
  4. May floods(9:30)- 五月洪水
  5. Summer floods(12:56)- 夏季洪水

项目背景

过去几十年来,斯洛伐克大片湿地因农业开发、水电大坝建设和木材生产而流失。该团队通过挖掘650米沟渠,将森林恢复为湿地,旨在重建健康、可持续的野生生态系统,保护濒危物种如潘诺尼亚根田鼠。

AI摘要

Mossy Earth记录了在一个曾被大坝淹没的森林中恢复一个稀有临时生态系统的密集努力。团队清理水道、追踪包括濒危火腹蟾蜍在内的各种物种,模拟季节性洪水以恢复生物多样性。

相关推荐视频

右侧推荐了多部与自然恢复、湿地生态、森林保护相关的视频,包括同一频道的其他作品和类似主题的创作者内容。

38. SpaceX Has Launched Starlink's First Direct-to-Smartphone Satellites (m.slashdot.org)

SpaceX发射首批直连智能手机的星链卫星

SpaceX公司已成功发射首批能够直接与标准智能手机连接的星链卫星。这是该公司在其星链卫星网络项目上取得的一项重要技术进展。

传统上,连接星链网络需要用户配备专门的终端设备(如星链天线)。此次发射的新一代卫星集成了新的有效载荷和技术,旨在绕过专用终端,直接与市面上已有的普通智能手机进行通信

这一能力的目标是覆盖那些传统地面蜂窝网络难以触及的区域,例如偏远的山区、海洋或遭受自然灾害的地区,从而为普通手机用户提供基本的连接服务。

此次发射标志着SpaceX在将卫星直接连接到消费级移动设备方面迈出了关键一步,是构建更广泛、更便捷的全球卫星通信网络计划中的一个重要里程碑。

39. Linux Software: a curated list of Linux software (github.com)

内容分析 提供的页面内容显示,该 GitHub 仓库(“Linux Software: a curated list of Linux software”)已被其所有者于2026年5月3日归档,目前处于只读状态。页面主体为仓库的界面框架,包括导航菜单、操作按钮(如Star、Fork)、通知设置等,但未包含实际的软件列表内容

核心摘要 该文档描述的是一个名为“Linux Software: a curated list of Linux software”的 GitHub 仓库。其主要信息如下:

  1. 当前状态:仓库已被归档,进入只读模式,不再接受新的提交或更改。
  2. 最后活动:归档操作完成于2026年5月3日。
  3. 社区数据:该仓库曾获得广泛关注,拥有约25,000 个星标(Star)和2,200 个分支(Fork)。
  4. 内容缺失:由于提供的片段仅为 GitHub 仓库页面的通用界面元素,并未包含预期的软件列表正文。因此,无法从给定材料中总结具体的 Linux 软件推荐、分类或详情。

结论:该资源是一个已被归档、曾受社区欢迎的 Linux 软件精选列表项目,但依据当前提供的信息,其实际软件内容不可用。

40. Libwebsockets: pure C library for http, websockets, MQTT (github.com)

Libwebsockets 功能总结

核心定位

Libwebsockets 是一个纯 C 语言库,在 MIT 许可证下发布,为 HTTP/1.1、HTTP/2、WebSocket 和 MQTT 等协议提供客户端和服务器实现。其设计注重安全性、轻量级、可配置、可扩展和灵活性。适用于从嵌入式 RTOS 到大规模云服务的多种场景。

主要新特性

  • TLS 支持扩展:新增对 SChannel(Windows 原生 TLS)、GnuTLS 和 BearSSL 的支持。
  • QUIC 传输协议:实现了基于 QUIC 的传输,并支持多种 TLS 库:OpenSSL、AWS-LC、wolfSSL、BoringSSL、LibreSSL、mbedTLS、GnuTLS 和 SChannel。
  • 内置 DHT 支持:通过编译选项 -DLWS_WITH_DHT=1 启用。

TLS 库兼容性矩阵

库提供了对多种 TLS 后端的广泛支持,功能包括服务器/客户端 TLS、QUIC(TLS 1.3)、WSS/HTTPS、基于 TLS 的 MQTT、ALPN(HTTP/2)、DTLS(WebRTC)、会话缓存、JIT 信任和通用加密。主要支持情况如下:

  • OpenSSLLibreSSLAWS-LCBoringSSLwolfSSLmbedTLSGnuTLSSChannel:全面支持大部分功能。
  • BearSSL:支持大部分功能,但不支持 QUIC 传输ALPN

架构与特性

  1. 构建与集成
    • 使用 CMake 构建,易于跨平台编译。
    • 积极支持事件循环共享,可与 libuv、libevent、libev、sd-event、glib、uloop 及自定义事件库协同工作。
  2. 示例与文档
    • 提供 100 多个独立的最小示例,代码为 CC0 许可(公有领域),便于快速上手和复制粘贴。
    • 拥有大量 README 文档。
  3. 质量保障
    • 采用严格的持续集成测试,每次提交会进行 582 次构建,覆盖 30 个平台。
  4. 辅助功能
    • 支持 JSON、CBOR、JOSE、COSE 等轻量级数据格式。
    • Perl 绑定:社区贡献的 Perl 语言绑定,允许 lws 作为来宾运行在 Perl 事件循环中。

高级 API:Secure Streams (SS)

Secure Streams 是建立在传统低级别 wsi API 之上的高级接口,旨在简化网络连接管理。

  • 核心思想:将连接策略(如协议、端点信息)与用户代码分离。策略定义在独立的 JSON 文件中,用户代码仅需关注数据收发,几乎无需因底层协议变化而修改。
  • 工作原理:用户代码通过一个“流类型名称”请求创建 SS,该 SS 会根据 JSON 策略中对应的名称配置(协议、端点等)自动建立连接。
  • 关键优势
    • 策略驱动:端点、协议选择、WebSocket 子协议、二进制/文本模式、连接重试、持久连接等均可在 JSON 策略中定义。
    • 序列化与代理:SS API 是可序列化的。同一客户端代码既可直接在本地建立连接,也可将操作、元数据和数据包通过 Unix 域套接字或 TCP 转发给一个中心化的 SS 代理来执行。这允许不同进程的 H2 流共享单一连接,或在无网络栈的微控制器(如 RP2040)上通过 UART 等传输层实现网络功能。
    • 代码简化:相较于传统的 wsi 级 API,基于 SS 的用户代码通常更小、更易维护。SS 生命周期可跨单个 wsi,能自行协调连接重试。
  • 未来方向:项目正在将旧的低级别示例逐步迁移到基于 SS 的示例中。

开发动态与展望

  • 显示栈集成:新增了在 lws 中驱动电子纸或 TFT/OLED 显示的功能,支持在资源受限设备(如 ESP32)上通过 HTML+CSS 渲染界面。
  • AI 辅助开发探索:维护者正探索使用 AI(如 Gemini)辅助代码补丁工作,认为其在处理复杂 API 和理解上下文方面有进步,但仍存在维护性不足、难以完成完整修改、错误排查能力弱等局限,目前无法替代开发者进行安全关键的代码维护。

最新稳定版本:v4.5(发布于 v4.5-stable 分支)。更多资源和支持请访问 libwebsockets.org

41. Card Game Rules (www.pagat.com)

Pagat 网站是一个专注于记录全球传统卡牌和骨牌游戏规则的平台,成立于1995年。其核心目标是帮助玩家扩展知识并尝试不熟悉的游戏,名称源自中欧 Tarock 游戏中的最低王牌。

网站由John McLeod编辑,鼓励读者通过电子邮件提供错误报告、改进建议或贡献内容。它感谢来自世界各地的玩家分享游戏信息,并列出了多个合作伙伴网站,包括:

  • CasinoSpesialisten.net:2012年成立的挪威语在线赌场指南,聚焦老虎机、游戏提供商和支付方式。
  • Norges Casino:自2023年起为挪威市场提供老虎机和经典在线赌场游戏。
  • Casino.guide:2020年建立的国际在线赌场评论网站,强调加拿大市场和加密货币赌博。
  • Norgesspill.com:自2005年运营的在线赌场指南,为挪威玩家提供全面游戏信息。

整体上,Pagat 网站通过用户反馈和合作伙伴支持,持续维护和扩展其游戏规则数据库。

42. Chess-GPT's Internal World Model (github.com)

本文介绍了对经过PGN格式国际象棋游戏训练的大语言模型(LLM)进行评估的研究。核心方法是使用线性探针来探查模型的内部世界模型,具体评估两方面能力:1)对棋盘状态的理解;2)对玩家技能水平(ELO)的估计。此外,研究还能通过干预模型内部的棋盘状态(例如移除棋子)来观察其变化。

研究代码库支持对训练好的LLM进行线性探针的训练、评估与可视化。例如,可以可视化模型“认为”白兵所在的位置,并通过热力图或梯度形式展示其信念。实验中,针对不同层的LLM,测试了棋盘状态和ELO分类的准确率。

代码环境与数据设置

  • 需要Python 3.10或3.11环境,并安装requirements.txt中的依赖。
  • 数据预处理通过运行model_setup.pylichess_data_filtering.ipynb(一个用于数据筛选和可视化的Jupyter Notebook)完成。

主要功能模块

  1. 探针训练与测试train_test_chess.py脚本用于训练或测试线性探针。可通过命令行参数--mode(训练/测试)和--probe(棋子类型探针/技能探针)控制。
  2. 可视化probe_output_visualization.ipynb提供可视化指导和操作示例。
  3. 干预操作
    • board_state_interventions.py用于执行棋盘状态干预。
    • caa.py用于生成对比激活以实现技能干预,效果通常优于基于探针的干预。
    • utils/create_skill_intervention_from_skill_probe.ipynb可从技能探针创建干预激活文件。

资源与性能

  • 整个实验过程所需显存低于1 GB。在RTX 3050上训练8层模型的探针约需10分钟。
  • 该框架也可扩展用于OthelloGPT的探针训练。
  • 代码中使用了Noam Shazeer推荐的形状标注规范来保持维度清晰。

测试与资源

  • 可通过根目录下运行pytest -s进行端到端测试(约14分钟)。
  • 所有代码、模型、数据集均已开源,并提供了Hugging Face上的预训练模型和数据集链接、训练曲线查看地址,以及与其他项目(如与Stockfish对战的nanoGPT)的关联。

参考:线性探针的开发参考了Neel Nanda关于Othello GPT的机械可解释性工作。

44. C# is programming language of the year 2023 (www.tiobe.com)

2026年5月TIOBE编程语言指数报告揭示了当前编程语言市场的关键趋势与排名变动。

核心趋势:统计编程语言市场整合 报告指出,统计编程语言市场正经历重大整合,形成以PythonR为双雄主导的格局。

  • 赢家:Python主导工业界、机器学习、AI及生产系统;R则在学术界、研究、流行病学和高级统计分析领域保持领先。
  • 输家:许多传统统计语言持续失去动力,如MATLAB(接近跌出前20)、SAS(即将首次跌出前30)、Wolfram/Mathematica、SPSS、S和Stata。Julia虽有技术优势,但难以稳固在前30名内。
  • 新语言Stan(概率编程语言)预计将在下月首次出现在指数中。

2026年5月编程语言排名亮点

  1. 整体格局:前五名依次为Python(19.98%)、C(11.55%)、Java(7.94%)、C++(7.92%)、C#(5.41%)。
  2. 重要变动
    • R语言排名上升至第8位,追平其历史最高记录。
    • Java与**C++**本月排名互换,Java升至第3位。
    • 系统语言Zig首次接近TIOBE前30名。
    • RustSwift等语言排名有所上升。
  3. 长期历史视角:报告附带的历史排名表显示了语言的长期兴衰。例如,Python从2001年的第27名跃升至2026年的榜首;C语言始终保持高位;而一些曾经流行的语言(如Pascal、ADA)排名大幅下降。

关于“年度编程语言”与指数说明

  • 年度语言:报告中的“年度编程语言”奖项授予当年评级涨幅最高的语言。**C#**是2023年和2025年的获奖者。
  • 指数性质:TIOBE指数是编程语言流行度的指标,每月更新。其评分基于全球熟练工程师数量、课程数量及第三方供应商信息,并利用Google、Amazon等超过20个流行网站的数据进行计算。该指数不判断语言的优劣,或衡量代码行数,而是用于帮助检查技能是否过时或为新建软件系统选择语言提供参考。
45. Original Age of Empires 2 dev talks about its usage of assembly code (old.reddit.com)
46. The Light Herder and the Fractal Time Machine (www.thelightherder.com)

光牧者与分形时光机:视频反馈分形设备的创作与演进

本文介绍了一种名为“视频反馈动力雕塑”(或“上帝机器”)的模拟艺术设备及其创作的分形图像世界。该设备完全不使用计算机,仅通过模拟视频反馈循环,在实时中生成复杂的、类似自然界的分形结构。

核心原理与技术特点

设备的核心是摄像头与显示器之间的反馈循环。摄像头拍摄显示器上显示的自身输出图像,形成一个闭合回路,从而产生自指和递归的视觉现象。通过使用具有模拟色调、对比度、饱和度和亮度旋钮的高清显示器(这些旋钮通常只在老式标清电视上找到),创作者能够精确、艺术性地控制反馈图像,生成螺旋、蕨类、水母状结构、谢尔宾斯基三角、DNA链、树木、昆虫乃至星系等图案。分光镜(光束分离玻璃)的使用使得摄像头能同时看到上层显示器的直接图像和下层显示器的反射图像,两者叠加,催生出更复杂的涌现行为。

设备的演进历程

该项目自2003年开始,经历了多个阶段的迭代与升级:

  1. 早期原型(2003-2007):使用标清CRT电视和消费级摄像机。2007年的版本开始将电视的模拟控制旋钮延长并重新布线,以便在移动摄像头的同时进行调节。
  2. 高清时代(2020年起):设备升级为使用高清显示器(如松下品牌)和尼康D810单反相机。引入了视频切换器(如罗兰V-02HD),允许在摄像头直视显示器的主反馈循环与来自其他设备(如手机、佳能相机)的第二输入信号之间进行混合或切换,从而引入外部图像影响分形生成。
  3. 结构复杂化与“疯狂模式”
    • Phase II:添加了可与主摄像头同步旋转的第二输入源(旋转蓝屏或显示器),使静态的键入图像获得动态。
    • Phase 2.5 / III:引入第二个独立的反馈循环(例如,使用佳能相机和旋转显示器)。两个反馈循环(如尼康主循环和佳能次循环)可以相互影响,当它们同时作用时,创造出“分形中的分形”的复杂结构。
    • Phase 3.5 及“上帝机器 II”:设备结构更加宏大,包含多个显示器结构(每个结构由两台呈直角放置的高清显示器与一块分光镜组成)、多个摄像头和多个视频切换器。这些结构之间的图像可以相互输入,形成了“循环中的循环”,产生了极其复杂、难以预料的嵌套分形。这种模式被称为“疯狂模式”。

艺术呈现与影响

该设备创作了一系列引人入胜的视频作品,探索了递归、涌现与复杂性。这些作品在多个平台(如《Make》杂志、Hackaday、Boingboing)上展示,并被邀请在艺术展览(如2025年哥本哈根的“MOMENT展览”)上循环投影。作品赢得了道格拉斯·霍夫斯塔特和海因茨-奥托·派特根等学者的赞誉,他们将其与数学探索和自然发现的乐趣相联系。

哲学隐喻与创作理念

作者将操作设备的过程比喻为“牧光”,并赋予设备创造微型宇宙的隐喻——当摄像头看到自身时,一个宇宙便诞生了。设备的进化本身也被称为一次“个体发育”的旅程。作者强调,所有图像均由物理定律(如玻璃角度、显示器位置、控制旋钮)和迭代过程所决定,看似魔法,实则是数学的体现。整个项目是对复杂性、自指系统和模拟媒体潜力的一次持续探索。

47. I was addicted to my smartphone, so I switched to a flip phone for a month (www.nytimes.com)
50. A Tale of Two Teenagers and the challenges of gifted students (www.aporiamagazine.com)

两位青少年的故事与资优生的挑战

本文通过哲学课堂上一位名叫乔治奥斯的13岁天才少年的经历,结合另一位墨西哥资优少女达芙妮·阿尔马赞的案例,揭示了高智商儿童在教育体系中面临的系统性困境与心理需求。

核心个案:乔治奥斯的挣扎

  • 非凡智力:智商测试达145(顶尖1.33%),语言表达与思维深度远超同龄人,热衷阅读《柏拉图对话录》《战争与和平》等经典,并能进行哲学层面的深入讨论。
  • 社交与情感困境:表现出明显的社交障碍(疑似阿斯伯格综合征),难以融入同龄人,渴望智力交流却屡遭排斥;常因过度热情(如急于纠正他人答案)引发尴尬。
  • 教育适配失败:学校未能提供与能力匹配的教学强度,反而因他无法应对应试化的写作格式(如GCSE英语)而将其视为“表现平平”。尽管专家建议持续刺激与加速教育,学校却未采纳。
  • 心理特征:符合波兰心理学家达布罗夫斯基提出的“过度兴奋性”理论——敏感、理想化、深度情感体验,且易因缺乏智力共鸣而陷入孤独。

系统性问题:资优教育的普遍缺失

  • 识别与支持不足:多数国家缺乏针对资优生的法律定义、教师培训与资源投入;教育者常因学生在标准化评估中表现不符预期而忽视其潜在天赋。
  • 社会适应难题:高智商儿童往往需“忍受愚人”(引自心理学家霍林沃斯),但实际中他们易被标签为“古怪”或“傲慢”,遭受孤立与霸凌。
  • 学科表现不均衡:资优生未必全面发展,可能在擅长领域极具深度,却在程式化任务中表现平庸,导致被误判。

国际对比与希望案例

  • 墨西哥的CEDAT中心:由阿尔马赞家族创立,为资优生提供定制化教育(如高阶科学课程),通过同伴支持缓解社交孤立,并倡导立法保障。达芙妮在此环境下提前获得多个学位,后进入哈佛深造。
  • 反思与倡议:作者指出,资优教育缺失实为“自我毁灭行为”,浪费国家智力资源。需重视教育中“不可测量的价值”,如归属感、挑战性与个性化培养。

结论

文章呼吁社会正视资优生的特殊需求——他们不仅是潜在贡献者,也是需要情感与认知支持的个体。教育体系应超越标准化评估,提供适应性课程与社交支持,避免天才因体制缺陷而陷入孤独或压抑。