蒙特利尔地铁票的微型芯片；采用物体检测 AI 和步进电机的 Raspberry Pi 驱动的自动帽子掉落系统
蒙特利尔地铁票的微型芯片
该文件描述了蒙特利尔地铁票中使用的 NFC 芯片的内部工作原理。该芯片非常小，大约只有一粒盐那么大，并且缺乏高级安全功能。它使用负载调制与地铁旋转门阅读器进行通信，无需电池。该芯片采用旧的 180nm 半导体工艺实现，但这可以降低制造成本。该文件还详细介绍了作者检查和剖析芯片直至裸硅片的过程。
采用物体检测 AI 和步进电机的 Raspberry Pi 驱动的自动帽子掉落系统
作者描述了设置一个系统的过程，该系统将帽子从窗户扔到路人身上。他们不知道如何打开窗户，但最终找到了正确的钥匙。他们决定扔下螺旋桨帽子来代表未来。作者使用 Raspberry Pi、步进电机和网络摄像头来自动化帽子掉落过程。他们训练了一个物体检测 AI 模型来识别某人是否站在窗户下方的正确位置，然后让系统触发帽子掉落。作者的愿景是创造一个人们可以随时从窗户扔下物品的世界，他们称之为“橱窗购物”。
形式化方法可以成为良好软件工程实践的重要组成部分，特别是对于大规模、分布式和低级系统而言
形式化方法是良好软件工程实践的重要组成部分，尤其是对于大型、分布式或关键系统而言。它们可以通过减少返工和变更成本来节省时间和金钱。虽然形式化方法对于用户需求快速变化的软件可能不那么有价值，但对于需求易于理解的系统来说，它们非常有益。TLA+ 和 P 等工具可以帮助工程师更快地思考设计并找到优化方法，从而加快软件开发速度并实现更优化的系统。总体而言，形式化方法应被视为复杂软件项目的标准良好工程实践。
使用语义熵检测大型语言模型中的幻觉
该文件讨论了一种称为语义熵的方法，用于检测大型语言模型 (LLM) 中的幻觉或虚构。语义熵旨在估计 LLM 对其生成输出含义的不确定性，而不仅仅是对使用的特定标记的不确定性。这是通过根据语义等价性对生成的输出进行聚类，然后计算这些语义聚类概率的熵来实现的。事实证明，该方法在检测 LLM 何时产生任意或不正确的输出方面优于其他基线。该文件还介绍了一个名为 FactualBio 的新数据集，用于评估段落长度 LLM 生成中的虚构检测。
llama.ttf 是一个字体文件，它还包含一个大型语言模型和推理引擎，允许在支持 Wasm 的应用程序中生成文本
llama.ttf 是一个字体文件，它还包含一个大型语言模型和该模型的推理引擎。字体塑造引擎 Harfbuzz 可以使用任意代码来“塑造”文本，其中可能包括整个 LLM 推理引擎。这意味着 llama.ttf 字体可用于运行 LLM 并在任何基于 Harfbuzz 的应用程序中生成文本，而无需应用程序供应商添加这些功能。该文档提供了下载和使用 llama.ttf 字体来试验此功能的说明。该文档还指出，这只是人们通过结合字体和 LLM 所做的奇怪事情的一个例子。
从第一原理推导出依赖类型的面向对象编程，并讨论去功能化和重新功能化
本文通过使用对偶原理从第一原理中推导出依赖类型面向对象编程领域，从而探索了依赖类型面向对象编程领域。作者提出了一种依赖类型演算，其中包含两个双重语言片段 - 一个函数/面向数据片段和一个面向对象/codata 片段。他们使用去功能化和重新功能化在这两个片段之间提供类型和语义保留转换。作者通过依赖类型 Web 服务器的案例研究展示了其系统的表达能力和可扩展性。他们还讨论了确保转换是完全的和语义保留所需的类型系统设计约束。
该论文的主要贡献在于提出了一种具有两种双语言片段的依赖类型演算，并展示了如何使用去功能化和重新功能化从函数式编程中系统地推导出面向对象编程。
QUIC 提供可靠、有序、优先的数据流来实现及时性，而不需要不可靠的 UDP 数据报
该文件讨论了 TCP 和 UDP 之间的差异，并指出开发人员应避免直接使用 UDP 数据报，即使对于直播视频和视频游戏等应用程序也是如此。它解释说，虽然数据报可能因其低延迟特性而具有吸引力，但它们可能会导致数据包丢失和缓冲区膨胀等问题。相反，作者建议使用更高级的协议，如 QUIC，它提供拥塞控制、流优先级和可靠的按序交付等功能 - 同时仍能实现低延迟。该文件告诫不要在 UDP 之上构建自定义协议，并鼓励开发人员参与 Media over QUIC (MoQ) 工作，而不是使用数据报创建另一个视频协议。
异步拜占庭共识协议，无需可信设置或公钥加密，仅使用加密哈希函数
本文提出了一种异步拜占庭共识协议，它不需要可信设置或公钥加密。该协议完全基于加密哈希函数，因此是后量子安全的。它实现了 O(kappa n^3) 总通信量，并在预期的 O(1) 轮中运行，使其实用且高效。作者还介绍了称为异步密钥共享和覆盖收集的新原语，它们可能有独立的应用程序。作者实现了该协议并在地理分布式环境中对其进行了评估，表明它优于已实现的唯一其他无设置的共识协议。
完全可破解的业余射电望远镜：一种适合业余爱好者和教室的低成本、易于构建的射电望远镜项目
该文件介绍了一个创建业余射电望远镜的项目，名为 CHART，可以在家中或教室中以不到 200 美元的价格建造。该项目的目标是提供教程，指导用户建造使用纸板喇叭的望远镜，然后观察和分析银河系的数据。这些教程几乎不需要具备射电天文学、电子学或编程方面的先验知识，但为刚接触这些主题的人提供了资源。用户还可以为项目的开源代码库做出贡献。总的来说，该项目旨在让射电天文学成为一种经济实惠且具有教育意义的业余爱好。
