《Immersive Math》内容摘要

《Immersive Math》是一本数学书籍，旨在通过沉浸式方法介绍核心数学概念，主要聚焦于线性代数及相关主题。全书结构清晰，分为前言和十个章节，逐步引导读者从基础到高级内容。

• 前言：简要介绍本书的宗旨和内容。
• 第1章：介绍：涵盖导航方法、符号约定，并回顾读者可能已掌握的基础数学知识。
• 第2章：向量：引入向量概念，讲解向量的加法、减法等基本运算。
• 第3章：点积：介绍点积工具，用于处理两个向量并生成标量结果。
• 第4章：向量积：在三维空间中，展示如何从两个向量生成新向量。
• 第5章：高斯消元法：提供求解线性方程组的方法。
• 第6章：矩阵：正式引入矩阵概念。
• 第7章：行列式：探讨方阵的基本性质行列式。
• 第8章：秩：分析矩阵的行为特性，如秩的概念。
• 第9章：线性映射：学习线性映射的原理和应用。
• 第10章：特征值和特征向量：深入介绍特征值和特征向量，强调其重要性。

本书通过章节递进，覆盖了从向量、矩阵到线性映射和特征分析的完整线性代数体系，旨在帮助读者建立扎实的数学基础。

这是一个Show HN帖子，介绍了一款名为OmniClip的开源、免费的Web视频编辑器项目。

项目概述 开发者为展示技能并作为求职项目，历时约六个月开发了此项目。选择视频编辑器是因为相关开源项目（尤其是Web端）较少。项目采用MIT许可，网站为https://omniclip.app/，源码托管在GitHub。

核心特点与功能

• 开源免费：MIT许可，完全免费使用。
• 浏览器端运行：完全在客户端执行，不保留用户隐私数据。
• 技术实现：使用WebCodecs API以实现快速渲染。
• 主要功能：
  • 视频裁剪与分割。
  • 支持文本、音频、视频（MP4）和图片素材。
  • 在预览中进行剪辑编辑，如旋转、调整大小、文本样式设置等。
  • 支持撤销/重做操作。
  • 支持多种分辨率渲染，最高可达4K。

当前限制与已知问题

• 要求输入视频帧率为25fps或以上。
• 目前限制为4条轨道（开发者表示此问题可快速改进）。
• 存在一些Bug，例如时间轴未滚动前影片条可能不渲染。
• 暂不支持手机端（由于拖放API兼容性问题）。

项目状态与意图 这是一个开发者正在持续改进的主力项目，主要为展示能力，虽有开源协作的考虑，但当前重点不在于社区贡献。开发者表示欢迎反馈。

论文摘要：自动检测大型语言模型中的训练不足标记

本文针对大型语言模型中由于分词器创建与模型训练过程脱节而产生的“故障标记”问题展开研究。这类标记虽存在于分词器的词汇表中，但在模型训练期间出现频率极低或完全缺失（例如著名的“SolidGoldMagikarp”标记），可能引发模型非预期行为。尽管此类问题已在多个模型中被观察到，但此前缺乏可靠的检测与应对方法。

主要研究方法与创新点： 研究通过综合运用以下技术，提出了自动检测训练不足标记的新方法：

1. 分词器分析：对分词器的词汇构成进行系统性检查。
2. 基于模型权重的指标：利用模型内部权重数据识别训练不足的标记。
3. 提示技术：通过特定输入提示探测模型对可疑标记的反应。

研究发现与意义：

• 研究证实训练不足标记在多种语言模型中普遍存在。
• 所提出的检测方法有效且自动化，有助于系统性地识别问题标记。
• 该成果为改善语言模型的效率、安全性和可靠性提供了实用工具与理论依据，有助于预防由故障标记引发的异常行为。

论文版本信息：

• 初始版本于2024年5月8日提交（v1）。
• 修订版本于2024年9月27日更新（v2），文件体积有所优化。

《A Slower Speed of Light》游戏概述

这是一款第一人称视角的游戏原型。玩家在一个三维空间中移动，并通过收集光球来逐步降低游戏内的光速。当光速接近玩家自身的步行速度时，基于狭义相对论的实时视觉效果会逐渐显现，从而增加游戏挑战性。这些效果包括：多普勒效应（可见光红移/蓝移，以及红外线/紫外线移入可见光谱）、探照灯效应（运动方向上亮度增强）、时间膨胀（玩家与外部世界的时间感知差异）、洛伦兹变换（近光速下的空间扭曲）和运行时效应（由于光的传播延迟，能看到物体过去的样子）。游戏旨在将易于上手的游戏玩法与物理学研究相结合，提供富有吸引力且具有教学价值的体验。

核心技术：OpenRelativity 游戏使用名为 OpenRelativity 的开源工具包开发，该工具包基于 Unity 游戏引擎。它专为游戏开发者、教育者及对物理学感兴趣的人士设计，旨在帮助人们创建、测试和分享探索狭义相对论效应的实验。

系统要求 游戏在以下配置的计算机上进行过测试：

• 处理器：Intel Core 2 Duo T9900 或 Core i7 (2.8GHz)
• 操作系统：Windows 7、Mac OS X 10.6.8 (Snow Leopard) 或更高版本、Linux (Ubuntu 13)
• 显卡：AMD Radeon HD 6970M/AMD Mobility Radeon HD 4850/Nvidia GeForce 9600M GT
• 内存：8GB RAM 注：有报告称在 Windows XP 和 2GB RAM 的机器上也可能运行。已知在某些 Intel 显卡芯片组上可能存在导致崩溃的错误（测试版可能已修复）。

技术说明与支持

• 对于拥有多个显卡处理器的 Windows 用户，可能需要右键点击游戏图标，选择“使用图形处理器运行”并选择非默认选项。
• 在 Linux 上，可通过命令行指定分辨率启动游戏（例如：./"A Slower Speed of Light.x86_64" -screen-width 1280 -screen-height 720）。
• 技术支持、错误报告及问题请发送至指定邮箱。

相关资源与发布

• 提供关于游戏相对论效应的 PowerPoint 演示文稿下载。
• 列出了相关的学术出版物，内容涉及 OpenRelativity 项目的可视化及将该游戏用于物理教学的研究。

Citation Needed - 维基媒体基金会实验性Chrome扩展

核心功能

这是一个由维基媒体基金会“未来受众”团队开发的实验性Chrome扩展，旨在帮助用户在浏览网页时，将发现的事实快速提交给英文维基百科。用户无需离开当前标签页，即可将信息发送至相关条目的讨论页，以便后续编辑或讨论。

工作原理

1. 信息选取：用户在浏览网页时，选择一段需要添加到维基百科的文本。
2. 智能匹配：扩展使用Llama3-70b模型，搜索并分析可能与该事实最相关的维基百科文章。
3. 状态反馈：扩展会告知用户，所选事实在相关文章中是已被完全收录、部分提及还是完全未提及。
4. 选择与提交：用户可从推荐文章中选择一条，或自行搜索偏好的条目。随后，将事实连同评论添加到该条目的讨论页面，供自己或他人日后编辑。
5. 权限要求：使用发布功能需登录拥有自动确认用户权限的维基媒体账户（即注册满4天且编辑至少10次）。

项目状态与注意事项

• 此功能为实验性质，运用了生成式AI技术，结果可能存在错误。
• 开发团队鼓励用户通过扩展内的反馈链接报告问题，或提供改进想法，以帮助提升结果质量。

技术信息

• 版本：0.3.0
• 更新日期：2024年8月9日
• 大小：3.01 MiB
• 开发者：维基媒体基金会（非营利组织）

隐私与数据

该扩展明确声明：

• 用户数据不会被出售给第三方。
• 数据使用不会脱离其核心功能范畴。
• 数据不会用于信用评估或贷款目的。

本文研究发现视觉Transformer（ViT）在推理过程中，特征图会出现一种称为“伪影”的现象，表现为高范数的标记（token）主要出现在图像信息量低的背景区域，并被模型重新用于内部计算。作者提出了一种简单有效的解决方案：在输入序列中添加额外的标记（称为“寄存器”）来专门承担这一角色。该方法在监督学习和自监督学习（如DINO、DINOv2）的ViT模型中均完全解决了此问题。实验证明，该方法不仅在密集视觉预测任务上为自监督视觉模型设定了新的state-of-the-art性能，还支持使用更大模型进行对象发现，并最关键地，使得下游视觉处理能获得更平滑、更易解释的特征图与注意力图。

DKIM密钥受2008年Debian OpenSSL漏洞影响的发现

作者使用其工具badkeys扫描DKIM密钥，发现大量主机仍受16年前（2008年）的Debian OpenSSL漏洞（CVE-2008-0166）影响。这使得攻击者能够伪造这些主机的DKIM签名，从而绕过DMARC检查发送欺诈邮件。受影响的域名包括cisco.com、oracle.com、github.com等知名企业。

漏洞规模与影响

通过扫描Tranco Top 100万域名列表，作者在355,055个包含有效RSA密钥的DKIM TXT记录中，发现了855个易受攻击的记录（约占0.24%）。其中777个记录使用了完全相同的密钥，这意味着实际只有22个独特的易受攻击密钥。绝大多数相同的密钥来自同一家公司Cakemail。作者尝试披露时遭遇沟通障碍，但该公司似乎已更换密钥。其他受影响的组织也已被通知。

漏洞持续存在的原因分析

一个可能的原因是DKIM没有强制密钥轮换机制。由于Debian OpenSSL漏洞在2006年引入、2008年修复，而DKIM规范（RFC 4871）发布于2007年，许多公司可能在2007年配置了DKIM记录后便从未更改过这些易受攻击的密钥。

关键发现：BIMI标准存在严重安全缺陷

文章重点揭露了BIMI（品牌标识消息指示器）标准的安全问题。BIMI允许企业为邮件显示徽标，通常需要购买昂贵的证书（验证徽标证书，VMC）。

1. 无加密绑定：规范中，BIMI证书与DKIM密钥之间没有密码学上的连接。只要攻击者能用有效的DKIM签名签署邮件（例如，通过控制的脆弱私钥），邮件就会自动获得BIMI处理并显示徽标，完全无需拥有或出示VMC。
2. 实例演示：作者以entrust.com（BIMI证书销售商之一）为例。该域名存在一个使用有漏洞的Debian OpenSSL版本生成的1024位RSA DKIM密钥，其私钥是公开可破解的。使用这个私钥签名邮件，因为entrust.com配置了默认的BIMI记录，Gmail等支持BIMI的服务就会显示其公司徽标。
3. 规范缺陷：BIMI规范本身被指出存在“显而易见的安全设计缺陷”，许多关键安全实现细节被描述为“在其他地方”或“在其他文件中”解释，但并未指明这些地方在哪里。

其他问题与检查建议

• 除了Debian漏洞，作者还发现一些密钥长度过短（如512位）的RSA密钥，更容易被破解。
• 作者建议不要实施BIMI，因为基于现有规范无法安全实现。
• 文章提供了使用badkeys工具（版本≥0.0.11）检查自身DKIM密钥是否受影响的方法，可直接扫描区域文件或DKIM DNS记录。

结论

该研究揭示了电子邮件安全生态中的长期问题：数年未更新的脆弱加密密钥依然存在，并因BIMI等新标准的糟糕安全设计而放大了风险。DKIM生态系统中大量使用低于安全标准的1024位RSA密钥也值得关注。

古埃及石器钻孔技术研究（1983）

学术争议背景

古埃及如何在坚硬的花岗岩上进行钻孔一直是考古学界的谜题。这一问题引发了著名埃及学家A. Lucas与Flinders Petrie之间的长期争论：

• Lucas观点：古埃及人使用松散的湿石英砂作为磨料，因为石英砂在埃及广泛存在且能研磨花岗岩。
• Petrie观点：古埃及人使用固定在铜管钻头上的金刚砂（ emery）颗粒作为固定切削点，因为只有固定切削点才能在花岗岩芯上产生规整的同心圆刻线。

研究方法与实验设计

研究团队对布鲁克林博物馆收藏的古王国时期（约公元前2500年）花岗岩石棺盖进行分析：

1. 文物特征：石棺盖重约2吨，两端各有两个钻孔，长24厘米，直径从外端5.3厘米逐渐变细至内端4.3厘米。
2. 分析方法：
   • 使用硅胶获取钻孔内壁的工具痕迹印模
   • 通过扫描电子显微镜（SEM）进行观察
   • 进行功能复现实验，测试不同磨料和钻孔条件

实验结果与发现

磨料测试

• 松散磨料：使用石英砂（莫氏硬度7）和碎石英（莫氏硬度7）时，不会产生同心圆刻线，这直接否定了Lucas的“松散石英砂”假说。
• 有效磨料：金刚砂（莫氏硬度9）、刚玉（莫氏硬度9）和金刚石（莫氏硬度10）在配合水、橄榄油或现代润滑剂使用时，均能产生与古代钻孔相似的同心圆刻线。
• 其他工具：燧石、砂岩和石英岩钻头无法在花岗岩上产生有效钻孔。

关键发现

1. 同心圆刻线的形成条件：需要硬度高于花岗岩（莫氏硬度6-7）的磨料，并配合适当的介质（水、油脂等）以保持磨料在钻孔区域。
2. 磨料状态：固定在钻头上的磨料（如Petrie所述）并非必要，松散的高硬度磨料在湿式或润滑条件下也能产生相同效果。
3. 钻孔特征：
   • 钻孔从一端进行，仅产生1厘米（4%）的直径缩减，表明钻头磨损小、稳定性高
   • 底部（狭窄端）刻线更密集，可能由于磨料在钻孔过程中逐渐细化
   • 部分区域呈现光滑表面，可能是细碎花岗岩粉末起到抛光作用

技术推断

• 钻头类型：很可能为铜质管状钻头，因为：
  • 青铜工具在古王国时期尚未普及（约公元前2000年才进入中王国时期）
  • 管状钻头能产生更平行的钻孔壁
• 操作方式：石棺盖可能在垂直状态下钻孔，重力有助于磨料集中在钻孔底部
• 可能使用的磨料：金刚砂、刚玉或金刚石，配合适当的介质（如橄榄油）

结论与意义

1. 解决争议：实验表明，松散石英砂无法产生古代钻孔特征，而高硬度磨料（金刚砂、刚玉、金刚石）配合适当介质可以产生相同效果，这部分支持了Petrie的观点，但修正了其关于必须使用“固定切削点”的看法。
2. 技术意义：研究揭示了古埃及人可能已掌握使用高硬度磨料和润滑剂进行硬石钻孔的技术，这表明了他们对材料性质和加工工艺的深刻理解。
3. 未解问题：
   • 具体使用了三种高硬度磨料中的哪一种？
   • 这些磨料的来源（埃及本地或通过贸易获得）？
   • 水或润滑剂的具体使用方法？

这项研究通过实证方法，为理解古埃及及其他古代文明的硬石加工技术提供了重要见解，并建立了通过钻孔特征分析判断加工方法的框架。