## 人工智能错误识别导致冤假错案 田纳西州的一位祖母安吉拉·利普斯，因人工智能面部识别技术错误匹配而被错误逮捕并拘留超过五个月。北达科他州法戈市警方在调查银行欺诈案时，使用了邻近机构西法戈市警察局的技术，该机构使用了Clearview AI——一个抓取数十亿张在线照片的系统。人工智能将利普斯识别为潜在嫌疑人，尽管她声称从未去过北达科他州。 一份逮捕令被签发，利普斯最终被引渡，经历了一次可怕的首次飞行。银行记录后来证明她犯罪期间一直在田纳西州，导致指控被撤销。 法戈警方承认案件中存在“错误”，源于他们对未经审查的西法戈人工智能系统的依赖，现在已经禁止使用该系统。他们正在实施对人脸识别技术的更严格监管和改进的沟通协议。警方正在审查调查，但尚未向利普斯直接道歉，理由是调查仍在进行中。利普斯的律师正在考虑民权索赔，强调冤假错案的毁灭性影响以及在依赖人工智能*之前*进行彻底调查的必要性。此案凸显了人们对人工智能在执法中准确性和负责任使用的日益关注。
每日HackerNews RSS
## IPv6 专用家庭网络：实用实施
本文详细介绍了向 IPv6 专用家庭网络过渡的过程，承认 IPv4 仍然普遍存在。作者通过利用 NAT64、DNS64 和 464XLAT 等技术，成功地实现了 IPv6 专用设备访问 IPv4 服务。
为了获得静态 IPv6 前缀，从 Free Range Cloud 租用了一个 /48，并通过 WireGuard 隧道传输，以克服 ISP 的动态分配。OPNSense 防火墙管理此隧道的基于策略的路由 (PBR)。IPv6 寻址使用 SLAAC 与 DHCPv6 进行有状态分配，并为每个 Docker 主机提供一个专用的 /56，以及 /64 网络。
重要的是，NAT64/DNS64（使用 Jool 实现）将 IPv6 请求转换为 IPv4，使用 /96 前缀。464XLAT 结合 DHCPv4 选项 108 和 PREF64，允许缺乏原生 IPv6 支持的设备工作，同时优先使用 IPv6。Docker 网络已完全过渡到 IPv6，需要配置调整和 FRR 路由宣告。
虽然总体上是成功的，但一些设备（Eufy、HP 打印机、某些 Docker 容器）缺乏完整的 IPv6 支持仍然存在挑战。一个临时的基于 IPv4 的 VPN 解决方案（Zerotier）提供了从 IPv4 网络访问 IPv6 服务的途径。此设置展示了一条通往未来可证明的、以 IPv6 为中心的家庭网络的可行路径。
对不起。
地球 — 您的代码运行的地方 | MCPaaS实时边缘执行地图 2.7KB Zig WASM · 300+地点 使用鼠标缩放/旋转 · 键盘 ← → 空格 ◀ ⏸ ▶ Cloudflare Edge MCPaaS Live 𝕏 分享
对不起。
## 计算的热力学：重审
一篇质疑计算热力学的2010年论文，随着实验证据不断验证朗道尔极限（擦除一个比特信息时的最小能量耗散）而再次受到关注。自2012年以来，多项实验（Bérut等人，Jun等人，Hong等人，Guadenzi等人）已经证明了与该极限一致的热耗散，甚至将其扩展到量子系统。
该原始论文的论点并非*反对*朗道尔极限本身，而是擦除仅仅是计算中的*一个*极限。现实世界的计算机在计算过程中会积累熵，并且需要方法来管理它，而不仅仅是关注可逆计算的理想。
讨论的中心在于擦除（压缩逻辑相空间）与写入一个比特的不可逆性，以及实验结果的统计显著性（一些人质疑2个标准偏差的阈值）。虽然可逆计算仍然是一种理论理想，但其原理仍然可以应用于降低实际系统的能耗，例如Vaire公司。核心争论围绕着计算缩小的基本限制以及过程中熵产生的假设。
## TSA安检混乱与付费快速通道服务
近期报告显示，TSA安检通道排队时间过长，导致旅客寻求替代方案。虽然官方不鼓励代排队服务，但Perq Soleil等礼宾服务提供加速安检通道——以付费方式绕过普通排队，使用通常仅供工作人员和航空公司人员使用的路线。
这一现象引发了关于公平性的争论，评论员指出私人飞机旅行已是特权，并质疑为何这些乘客不接受同样的安检。许多人质疑TSA的有效性和目的，特别是关于私人飞行的安检问题，并建议采取替代安检方法。
一个关键点是TSA的资金问题，许多人注意到收取的费用与该机构实际预算之间的差异，以及国会拨款的作用。讨论还涉及私人机场安检的可能性，以及政治运作对基本服务的影响。最终，该讨论反映了对机场安检效率低下的不满，以及基于财富和权限的旅行体验差距日益扩大。
## Go-LSP：Go 语言的语言服务器协议实现
Go-LSP 是一个 Go 库，旨在简化构建语言服务器协议 (LSP) 服务器，支持 LSP 3.17。它处理 JSON-RPC 框架和消息分发的复杂性，允许开发者专注于语言特定的逻辑。
该库提供对 LSP 功能的广泛支持，包括代码补全、悬停提示、诊断、格式化、重命名、语义标记、工作区符号等。它会根据实现的接口自动通告服务器能力，但也可以进行显式配置。
构建服务器涉及定义一个实现必需的 `LifecycleHandler` 接口和可选功能处理程序（例如 `HoverHandler`）的处理器结构体。服务器可以通过标准 I/O、TCP 或 WebSockets 运行。
Go-LSP 提供了服务器到客户端通信的工具（发布诊断信息、显示消息），并支持自定义 JSON-RPC 方法。它还包含通过 `log/slog` 进行的结构化日志记录，以及用于单元测试的综合测试工具 (`servertest`)。内置调试 UI 提供实时 LSP 流量检查和性能指标。
该库分为四个包：`server`、`lsp`、`servertest` 和 `internal/jsonrpc`。可通过 `go get github.com/owenrumney/go-lsp` 获取。
## Hacker News 讨论：Go 语言服务器
GitHub 上一个新项目 ([github.com/owenrumney](https://github.com/owenrumney)) 引发了 Hacker News 上关于使用 Go 构建语言服务器 (LSP) 的讨论。作者创建了一个框架，以便轻松开发 LSP，最初用于解析 Terraform/Cloudformation 文件，以便在 Infracost LSP 中进行诊断。
用户称赞该项目易于理解的接口和调试服务器。 几位评论者分享了他们自己的 LSP 经验，强调了其超越传统代码编辑的通用性——包括 YAML 配置文件解析和 SSH 配置文件交互等用例。 一位用户受到启发，创建了一个 Makefile LSP。
对话还涉及现有的 LSP 框架，如 `glsp`，以及 Go 中良好 API 设计的重要性，利用其隐式接口。 关于文档字符串的价值出现了一点争论，一些人提倡*始终*包含它们，即使是最小的，而另一些人则认为样板文档可能有害。 作者指出目前存在一个问题，即处理程序 panic 会导致服务器崩溃，他们正在解决这个问题。
克里斯塔·鲍泽旺的作品虽然影响深远，但以其对社会崩溃和政治创伤的黯淡和痛苦描绘而闻名。她的作品，如《施韦文博恩的最后的孩子》，真实地描绘了儿童在系统性失败——环境灾难、战争和法西斯主义——中的经历，并直接呼吁成年人承担责任。 鲍泽旺刻意避免英雄叙事，而是专注于成年人行为的后果以及后代继承的负担。这种毫不妥协的诚实，虽然有时令人沮丧，旨在让读者参与到关键问题中，并避免居高临下的态度。 虽然像记者索菲·哈达赫这样的人钦佩鲍泽旺对真相的承诺，但也承认缺乏希望。然而，鲍泽旺本人优先认真对待她的读者，无论年龄大小，并相信呈现一个真实，即使令人不安的世界观。她的作品至今仍具有现实意义，促使人们反思我们留下的遗产。
## 云端与德国的反核情绪
最近的 Hacker News 讨论围绕着小说《云端》，这本书对德国公众对核能的看法产生了重大影响。读者们回忆起在 80 年代和 90 年代在学校接触这本书，以及福岛和切尔诺贝利事件助长的反核活动。
许多评论者指出，这本书虽然准确地描绘了辐射的影响，但夸大了其规模，助长了一种基于恐惧的运动。一些人认为，这场由共同身份认同和从众心理驱动的运动，阻碍了理性的讨论，并持续影响着能源政策。
对话强调了德国从核能转向天然气（来自俄罗斯）和可再生能源的转变，并质疑这一决定是否对气候变化和能源独立最有利。书中带来的经历在德国各地有所不同，并与美国类似媒体的影响（如《中国综合症》）相提并论。最终，这场讨论揭示了德国反核情绪的持久文化影响，这种影响既来自事件，也来自像《云端》这样有影响力的作品。
## 使用 Miasma 反击 AI 爬取
AI 公司正在积极地爬取互联网以获取训练数据，可能未经许可使用您网站的内容。**Miasma** 是一款旨在通过向爬虫提供“中毒”数据来扰乱这种做法的工具。
Miasma 的工作原理是在被爬虫访问时，持续提供误导性的链接和损坏的信息。 您将其部署在服务器上（可以使用 Cargo 或预构建的二进制文件轻松部署），并通过隐藏链接和 Nginx 等反向代理将爬虫流量引导至此。
配置很简单：指定一个唯一的路径（例如 `/bots`）并限制并发连接以管理资源使用。 重要的是，通过您的 `robots.txt` 文件排除合法的机器人（例如 Googlebot）。
Miasma 轻量级且高效，旨在最大限度地减少对服务器的影响，同时有效地浪费数据饥渴的 AI 公司的资源。 它是一种主动防御不受欢迎的数据收集行为。
## Monado：驱动XR产业的OpenXR基础 Monado是由Collabora开发的开源、跨平台OpenXR运行时，已成为主要XR平台的关键基础。最初的设计目的是提供一种与专有XR堆栈无关的替代方案，现在Monado驱动了**谷歌的AndroidXR、高通的Snapdragon Spaces、英伟达的CloudXR、Pico的运行时等等**的关键组件。 其受欢迎程度源于其**高度模块化**，允许开发者使用特定功能自定义和优化堆栈，以及其**严格的质量**保证稳定性。**宽松的许可协议**促进了开源和商业集成，而其开放性**降低了开发和调试的门槛**。 重要的是，任何用户（从独立开发者到科技巨头）所做的改进都会共享回社区，从而创建一个协作生态系统并推动整个行业的进步。Monado代表着向技术稳健性和共享XR未来基础的战略转变。
一篇最近的 Collabora 文章详细介绍了 Monado，一个开源项目，如何成为 OpenXR 运行时的核心基础——虚拟现实和增强现实体验的标准。该项目采用类似于 OpenGL 的模式，优先考虑由各种开发者实现的共享规范，通过社区贡献和错误修复，使个人创作者和大型公司都受益。
然而，这篇文章在 Hacker News 的评论中引发了争论。一些人认为写作质量较差，并质疑与 OpenGL 的比较，提到了 Mesa 作为一种可能的澄清。另一些人指出，VDXR，一个高性能的 OpenXR 运行时，并没有使用 Monado，这表明文章夸大了它在行业中的主导地位。最终，这场讨论强调了 Monado 作为 OpenXR 构建模块的作用，同时也承认了 XR 领域内的复杂性和竞争性实现。
启用 JavaScript 和 Cookie 以继续。