标准潜水服，又称“重装潜水设备”，是19世纪至现代轻便潜水装备普及前，深海打捞及土木工程作业的主要装备。
该装置配有一个铜制头盔，通过卡箍与防水帆布潜水服相连，并配有沉重的靴子以抵消浮力。潜水员通常通过连接在水面手动泵或压缩机上的软管获得空气，后期的型号还加入了用于通讯的电话系统。由于该潜水服并非为中层水域游泳设计，潜水员通常在海底行走。
该装备的演变始于19世纪20年代迪恩兄弟（Deane brothers）发明的“烟盔”，后经奥古斯塔斯·西贝（Augustus Siebe）大幅改进，他实现了头盔与潜水服之间的水密连接，防止了漏水。20世纪期间，该装备衍生出了多种专用型号，包括用于深海任务的氦氧潜水服及循环呼吸系统。
尽管该装备十分成功，但因其笨重且需要助手协助穿戴，操作较为不便。它伴随着独特的风险，如“头盔挤压”（由压力差引起）和“潜水服充气失控”（导致无法控制地浮出水面），这些至今仍是潜水历史中的警示案例。如今，虽然这些标志性的铜制头盔已基本退役，但它们仍是商业和海军潜水开拓时代的象征。
每日HackerNews RSS
请启用 JavaScript 和 Cookie 以继续。
Imp 是 DSPy 到 Elixir/BEAM 生态系统的完整移植，为构建大模型驱动的应用程序提供了一个声明式、类型安全的框架。你无需手动进行提示词工程，只需定义“签名”（signatures），并利用内置的优化器（如 GEPA 或 MIPROv2）根据标注示例和自定义指标来提升性能。
主要特性包括：
* **可靠性与并发性：** 与 OTP 集成，允许代理作为受监督的进程运行，并支持状态管理、超时控制以及对工具执行过程的精细化控制。
* **工具集成：** 可轻松将 Elixir 函数转换为大模型工具，并支持模型上下文协议 (MCP) 和代理通信协议 (ACP)。
* **优化：** 自动调优指令和少样本示例，生成的程序具备可读性且支持版本控制，而非难以理解的晦涩提示词。
* **灵活性：** 支持复杂的工作流，包括思维链、自主代理和 RLM（基于检索的语言模型）。
Imp 专为生产环境设计，让你能够像编写标准 Elixir 代码一样，以严谨的方式构建、测试和评分 AI 组件。作为实验性版本 (v0.5)，它利用 `ReqLLM` 来实现对主流模型提供商的广泛支持，并提供 Livebook 教程供用户快速上手。
本摘要概述了 Rust 中 SIMD（单指令多数据流）的现状，涵盖了其发展演变、工具链及硬件挑战。 **什么是 SIMD？** SIMD 通过使用专门的 CPU 指令同时处理批量数据来提升性能。虽然效率高，但其架构复杂，因为不同处理器对指令的支持各异，通常需要“函数多版本化”（编译多个版本的代码并在运行时选择最优版本），以确保在不同 CPU 上的兼容性。 **工具与方法：** * **自动向量化：** 最简单的方法，由编译器尝试优化标准代码。它虽然方便，但对于复杂的逻辑不可靠。 * **可移植 SIMD 抽象：** `std::simd`、`fearless_simd`、`wide` 和 `pulp` 等库提供了编写 SIMD 代码的结构化方式。其中 `fearless_simd` 因其稳健且一体化的多版本化方案而受到关注。 * **内联函数（Intrinsics）：** 为了实现特定的硬件级控制，开发者会使用平台专有的内联函数。虽然功能强大，但通常难以优化，且容易产生“黑盒”开销。 **硬件现实：** * **x86：** 旧指令集（SSE2/AVX2/AVX-512）碎片化严重，导致显著的维护成本。 * **ARM：** 提供了更一致的“NEON”标准，具备更好的开发体验。 * **结论：** Rust 的 SIMD 生态系统已显著成熟，足以满足高性能需求，尽管浮点三角函数和编译器级内联优化等方面仍存在挑战。
KICKI 是一台双机 PDP-10（型号 KI10，序列号 522 和 606），目前正在进行全面修复工作。经前 DEC 工程师 Gary Solomon 确认，该系统拥有完整的模块组件，项目旨在使其恢复完全运行。
自 2025 年以来，项目进展显著。修复团队已将原本低效的线性电源替换为现代高效的替代品，在保持修改可逆的前提下，大幅降低了功耗。截至 2026 年 6 月，团队成功启动了完整的 KI10 CPU，克服了复位电路和布线方面的初期挑战。
在主内存方面，团队正在修复曾经供 MIT-MC 使用的标志性 MH10 机柜，这与系统的历史背景非常契合。2026 年 8 月，项目取得了进一步的技术突破，包括成功访问快速存储器（Fast Memory）并实现了控制台电传打字机输出。
随着项目的持续推进，团队欢迎各界捐赠以支持这一复杂的保护工作。相关进展更新和视频可在 ICM 博物馆的 YouTube 频道查看。
抱歉。
关于 新闻 版权 联系我们 创作者 广告 开发者 条款 隐私 政策与安全 YouTube 工作原理 测试新功能 © 2026 Google LLC
**Lofi Cities** (loficities.com) 是一个免费的网页端体验项目，展示了东京、纽约和巴黎等世界各地城市的像素风动画景观。它通过 Web Audio API 实时生成无尽的 Lofi 音乐，并允许用户自定义音乐流派、氛围和乐器。 该网站专为学习、工作或放松而设计，内置了番茄钟、睡眠定时器和画中画迷你播放器等实用工具。用户可以通过切换天气效果、开启自动城市漫游，或匿名发送漂浮灯笼等“心情”讯息，与环境进行互动。 该网站无需下载、注册账号或使用 Cookie 即可完全访问。初次加载后支持离线使用，并可作为渐进式 Web 应用（PWA）安装。对于直播主，它提供了兼容 OBS 的模式；企业甚至可以在城市中的像素广告牌上投放广告。Lofi Cities 由 Safa Elmali 创建，旨在提供一个宁静、无广告的背景环境，在保护用户隐私的同时，带来高质量、持续变化的视听循环。
作者描述了一个利用 JavaScript 标签模板字面量（tagged template literals）创造的巧妙技术“双关语”。在语言学中，双关语是指一段文本可以通过两种不同的方式进行解读。作者通过编写一个 `prompt` 标签函数，使得开发者能够使用 `${{ variable }}` 这种语法来编写代码。 对于人类读者而言，`${{ url }}` 看起来就像许多模板语言中常见的标准占位符。然而，对于 JavaScript 引擎来说，这根本不是什么模板标签，而是一个包含对象字面量简写属性的模板字面量：`${ { url } }`。由于 JavaScript 会在将内容传递给标签函数之前先对其进行求值，因此该函数既能接收到为可观测性工具（如 Helicone）标注字符串所需的数据，又能让开发者享受到简洁且熟悉的语法。通过利用 JavaScript 对象简写与模板字面量语法的交集，作者创造出的代码既能作为一方的功能性工具，又能作为另一方熟悉的视觉模式——这在编程领域确实称得上是一种“双关”。
1
“Earn an Honest Dollar” 是一个基于智能体（Agent）服务的交易市场，通过“孪生页面”测试来评估性能。该基准测试旨在衡量 AI 模型和爬虫工具在所需数据缺失时，能否正确返回 `null` 值，还是会通过“幻觉”捏造信息。 该研究测试了 16 种模型及多种付费 API。结果表明，明确的指令（例如“不要猜测；若数值缺失请使用 null”）能显著降低幻觉比例（从 70.7% 降至 20.2%）。在参评对象中，Gemini 3.8 Flash、GLM 5.3 和 Hy3 表现出了最高的准确度。 研究的关键发现是，买家可以通过“低成本校验器”有效降低风险。通过使用辅助性的低成本模型（如 GPT-6 Luna）对返回结果进行验证，买家可以以极低的成本捕捉绝大多数伪造数据。尽管该基准测试仅限于网页提取和合成页面，但它为买家在购买服务前评估智能体可靠性提供了一个透明的框架。平台上线期间，欢迎用户免费挂载自己的智能体服务。