《Let Over Lambda》的这一章由 Doug Hoyte 撰写，探讨了通过在 Common Lisp 中实现一种类似 Forth 的栈式语言来进行元编程的方法。 作者认为，Lisp 和 Forth 都是语言设计中的“高局部极大值”，与其说是死板的标准，不如说是灵活的“构建材料”。通过利用 Lisp 的宏系统，作者实现了“cons 线程化代码”，将 Forth 的抽象寄存器和字典映射到了 Lisp 的结构中。该实现展示了**语法二元性**的力量——即编程工作量与代码被修改和重用的难易程度成反比。 本章涵盖内容： * **Forth 元编程：** 实现原语（primitives）和即时性（immediacy），从而允许在编译时执行。 * **控制结构：** 通过栈操作从零开始创建 `if`、`then`、`else` 和循环结构。 * **Flubification：** 一种将生成的类 Forth 线程“编译”回原生 Lisp 代码的过程，有效地将一个高度透明的非 Lisp 环境转化为不透明的 Lisp 函数。 最终，本章证明了通过基于宏的抽象，Lisp 可以吸收其他范式，模糊不同语言架构之间的界限，并证实了“任何东西都可以在 Lisp 中编程”。
每日HackerNews RSS
抱歉。
SQLite 已从一种仅限本地使用的工具演变为功能强大的生产级数据库，能够胜任高性能 Web 服务器应用。通过消除网络往返延迟，若针对高并发进行调优，SQLite 可实现亚毫秒级的查询执行速度。 为达到生产就绪状态的关键策略包括： * **WAL 模式**：启用预写式日志（Write-Ahead Logging）可实现读写并发，从而避免默认回滚日志中固有的阻塞问题。 * **并发管理**：使用 `BEGIN IMMEDIATE` 事务并设置 `busy_timeout`，可以防止死锁并妥善处理单写模式。 * **性能调优**：优化缓存大小并启用内存映射 I/O（mmap），将 I/O 瓶颈卸载至内核，从而显著提高读取速度。 * **持久性**：在瞬态云环境中，使用基于 VFS 的工具（如 Litestream 或 LiteFS）来处理复制并持久化到对象存储。 * **配置**：采用标准化的 PRAGMA “蓝图”（包括 `synchronous = NORMAL` 和 `journal_size_limit`）可确保系统稳定性并防止性能下降。 虽然 SQLite 不能取代大规模、全球分布式的 PostgreSQL 部署，但对于符合本地存储限制且以读取为主的应用，它是一种高效、低延迟的替代方案，能为现代 Web 服务提供精简的架构。
这篇 Hacker News 帖子讨论了一篇关于在生产环境中使用 SQLite 的博客文章。讨论很快从文章的技术内容转移到了关于人工智能生成内容的激烈争论上。许多评论者批评该文章内容平庸且疑似由大语言模型（LLM）编写，认为此类内容缺乏生产环境软件所必需的“实战经验”深度。
在技术层面，用户对 SQLite 在生产环境中的可行性表达了怀疑和实用建议。主要观点包括：
* **权衡：** 参与者讨论了 SQLite 在高并发环境下的适用性，并指出需要小心处理锁定、忙碌超时和磁盘同步，以避免数据丢失或损坏。
* **工具：** 有经验的用户推荐使用 `sqlite-utils` 进行迁移和转换，或者利用 LiteFS/LiteStream 来实现数据持久化和复制。
* **不同观点：** 一些人认为 SQLite 常被误解；它并非 PostgreSQL 的直接替代品，而是针对特定用例（如多租户分片或边缘部署）的强大工具。
总的来说，这篇帖子是一个充满争议的案例研究，反映了社区对于人工智能编写的技术内容日益厌倦，以及对基于真实经验的软件工程见解的渴求。
为了规范本地媒体库，作者开发了一个 Python 脚本，将 SRT 字幕文件转换为 WebVTT 格式。在此过程中，作者发现了一个意料之外的错误：许多源文件包含 UTF-8 字节顺序标记（BOM），即一种用于指示文件编码的隐藏字符（U+FEFF），这导致转换过程中出现了格式错误。 起初，作者试图手动处理 BOM，但随后发现了一个更优雅的解决方案：使用 Python 的 `encoding="utf-8-sig"` 参数，它可以在读取时自动检测并剔除 BOM。 为了修复此前已损坏且包含 BOM 的 WebVTT 文件，作者使用 `ripgrep` 定位到了这些有问题的字节序列（EF BB BF）。在确认无误后，作者编写了一个简单的 Python 脚本，批量清除了整个媒体库中这些不需要的字符。作者指出，通过静态站点管理媒体资源，能够为处理文本编码等底层技术挑战提供宝贵的实践经验。
历史上，潜艇主要作为水面舰艇使用，依靠消耗空气的柴油发动机进行航行，仅在水下攻击时使用有限的电池动力。这种设计导致水下航速缓慢，且需要频繁浮出水面。
核动力的出现彻底改变了海战模式，使潜艇能够无限期地潜伏在水下。这一技术转变也催生了更符合流体力学的“金枪鱼状”船体设计，从而使潜艇航速更快、噪音更低、效率更高。
1960年，美国海军开展了“沙尘暴行动”（Operation Sandblast）以展示这一新能力。当时最大的潜艇“特里顿号”（USS Triton）成功完成了全程水下环球航行。在85天内航行超过36,000海里，“特里顿号”证明了核动力从根本上改变了潜艇的作战方式，使其从依赖水面的舰船转变为真正的深海霸主。尽管“特里顿号”服役时间短暂，但其历史性航行仍是海军史上的里程碑，标志着现代高性能潜艇战的全面开启。
抱歉。
Louis-Francis Ratté-Boulianne 详细介绍了将开源 Mesa Vulkan 驱动程序 RADV（适用于 AMD GPU）移植到 Windows 的持续努力。RADV 是 Linux 上的标准驱动，而 Windows 用户目前只能使用 AMD 的专有驱动程序。
该项目基于 Faith Ekstrand 的初步研究，通过逆向工程与专有的 WDDM2 内核模式驱动程序进行交互。通过记录不透明的厂商特定数据调用，团队成功使 RADV 能够运行包括《反恐精英 2》在内的 3D 应用程序。这一举措改善了跨平台调试，促进了社区贡献，并建立了一个统一的代码库。
尽管取得了进展，但仍存在重大障碍。由于依赖于逆向工程所得的无文档接口，驱动程序非常脆弱，因为 AMD 会频繁更新其专有结构。要实现生产级的稳定性，需要 AMD 提供官方的文档化接口或稳定的中间层。此外，在高性能呈现层（如 DXGI 交换链）方面，还需要进一步的工作。
在 Valve 的支持下，该项目展示了在 Windows 上使用开源 Vulkan 驱动程序的潜力，旨在鼓励行业合作，为该平台未来的图形技术建立一个稳定且可维护的基础。
抱歉。
数学理论规定，对于固定的 $x$，较大的底数 $a$ 应该得到较小的对数结果。然而，PHP 和 Lua 有时会违背这一原则。 作者指出，在某些极端情况下，即使 $a > b$，`log($x, $a)` 和 `log($x, $b)` 的计算结果也会与数学预期相矛盾。这种行为并非源于典型的浮点数误差，而是由这些语言实现 `log(x, base)` 函数的方式所致。为了计算任意底数的对数，语言通常使用换底公式：$\ln(x) / \ln(\text{base})$。但在底数为 10 或 2 时，PHP 和 Lua 会通过调用 `log10` 或 `log2` 等专门的高精度库函数来“投机取巧”。 这造成了一种隐蔽的不一致性：该语言混合使用了两种不同的计算方法——一种基于通用的自然对数公式，另一种基于经过专门优化的、更精确的函数。由于这些方法是独立实现的，它们可能会产生细微的舍入误差差异，从而导致结果出现非单调性。作者认为，尽管这是一种常见的实现疏忽，但它凸显了以牺牲一致性为代价来“优化”数学函数的危险性。
抱歉。
演示场景（Demo scene）是一种以技术创造力和“动手做”（DIY）传统为定义的亚文化，它孕育出了一系列独特的软件工具。在实验精神、资源利用能力以及偶尔的“作弊”（例如利用预先计算的查找表来绕过硬件限制）的驱动下，这些工具往往具有独特的、非直觉的且视觉上怪诞的用户界面。
这些工具通常分为以下几类：
* **汇编器与提取器：** 这些工具通常基于文本或命令行，允许程序员管理内存、检查 CPU 寄存器，并从现有的游戏中“提取”精灵图或音乐等资源。
* **音乐追踪器（Trackers）：** 这类工具起源于 *SoundMonitor* 和 *Ultimate Soundtracker*，采用类似于编程的方法进行创作，并经由 *ProTracker* 和 *Fasttracker II* 等迭代版本不断演进。
* **磁盘复制与实用工具：** 对于该文化的传播网络至关重要。例如 *X-Copy* 等工具用于管理自定义磁盘格式，而其他工具则处理数据压缩（“压缩器”）、ANSI 艺术和字体编辑。
无论是混乱的菜单系统、怪异的审美选择，还是复杂的手动输入方式，这些界面都反映了一个 DIY 时代。在那个时代，技术天才们往往将心血封装在功能强大（尽管并不常规）的软件中，而这些软件正是由数字地下世界的人们为彼此设计的。
抱歉。
社区开发者已大幅提升了越狱 Kindle 及其他电子书阅读器的 Tailscale 使用体验。此前的版本仅限于基础连接，而新更新为高级用户提供了更强大的功能。
主要改进包括：
* **Tailscale SSH：** 默认开启 SSH 访问，无需繁琐的 USB 网络配置。
* **代理模式 (Proxy Mode)：** 允许 KOReader 等应用通过 SOCKS5 或 HTTP CONNECT 与你的 tailnet 中的其他设备（如 Calibre 或 Wallabag 服务器）通信。
* **完整 TUN 模式：** 在兼容硬件上提供设备级的网络支持。
对于专注于阅读的用户，新增的专用 KOReader 插件可自动配置这些代理连接，从而更轻松地将内容从内部服务器同步到设备。虽然安装这些非官方工具需要越狱设备并具备一定的技术耐心，但它们将普通的 Kindle 转变为功能更强的联网瘦客户端。无论是用于同步书库还是构建自定义电子纸设置，这些社区驱动的更新都为折腾电子阅读器带来了新的可能。
抱歉。
研究人员推出了一种名为 **Transformer Transformer** 的新型模型，能够针对特定任务设计定制机器人。通过输入操作演示，该系统即可生成一个完整的机器人——包括所有结构连杆、关节和物理属性——以适配所需的运动。 该模型利用在“RoboTokens”上训练的扩散 Transformer，这是一种用于表示各种机器人形态和动力学的统一方法。该架构具有高度通用性，支持人形、四足和双臂系统等多种形态，并能同时执行形态生成和跨形态控制。 与传统过拟合特定奖励函数的方法不同，Transformer Transformer 充当动力学模型。通过一种称为“动力学自我引导”（Dynamics Self-Guidance）的技术，它能进行与奖励无关的预测，并在推理时将其转换为特定任务的数值。这使得模型能够以零样本效率针对未见的奖励和轨迹优化设计。在 ALOHA2 双臂平台上的实际测试表明，与标准设计相比，该方法效果显著，跟踪误差降低了 73%，并降低了对关节速度的要求。最终，该方法在性能和运行时间上均优于演化基准模型。