1. 我获得了一项新的超能力；
2. Cuttle – 使用标准52张牌组的MTG类游戏；
3. Starlink在部分非洲国家比主流互联网提供商更便宜；
4. 我成功让OpenTelemetry工作了，但为什么这么复杂？；
5. 学习如何通过元思维链进行思考；

以上是今天的前五条黑科技新闻标题。

总共20条，具体内容您往下读…

1. 我获得了一项新的超能力

🔗 danielwirtz.com: I’ve acquired a new superpower

作者在浏览Reddit时，看到一个9岁女孩快速找出两张相似图片差异的视频。他尝试了交叉眼法，成功看到中间叠加的第三张图片，并轻松发现差异。他分享了这一技巧，并提供了不同难度的找不同练习，鼓励读者尝试。

2. Cuttle – 使用标准52张牌组的MTG类游戏

🔗 pagat.com: Cuttle – a MTG like game using a standard 52 card deck

Cuttle是一款1970年代起源于北美的双人卡牌对战游戏，使用标准52张牌组（无鬼牌）。玩家通过打出点数牌、一次性效果牌或永久效果牌，目标是率先累积21点。游戏结合了攻击、防御和策略，规则简单但富有深度，适合快速对战。

3. Starlink在部分非洲国家比主流互联网提供商更便宜

🔗 restofworld.org: Starlink is now cheaper than leading internet provider in some African countries

Starlink在非洲16个国家中的至少5个国家，其月订阅费低于主流固定互联网提供商。Starlink通过卫星技术提供高速网络，尤其在偏远地区表现突出。在肯尼亚，Starlink的普及迫使传统提供商降低价格并提升服务。然而，其快速增长也引发了垄断担忧，可能影响本地就业和市场竞争。

4. 我成功让OpenTelemetry工作了，但为什么这么复杂？

🔗 iconsolutions.com: I got OpenTelemetry to work. But why was it so complicated?

作者在尝试集成OpenTelemetry（OTel）时遇到了许多挑战，尤其是在分布式追踪和上下文传播方面。尽管OTel旨在统一指标、日志和追踪，但在实际应用中，不同框架（如Spring和Akka）的API冲突导致了复杂的调试过程。最终，通过手动转换上下文，作者成功解决了问题，但指出这种复杂性源于混合使用不同追踪库的自我挑战。

5. 学习如何通过元思维链进行思考

🔗 arxiv.org: Learning how to think with Meta Chain-of-Thought

本文提出了一种名为元思维链（Meta-CoT）的新框架，扩展了传统的思维链（CoT），通过显式建模推理过程来生成更复杂的推理路径。研究结合了过程监督、合成数据生成和搜索算法，并探讨了如何通过指令微调和强化学习训练模型生成Meta-CoT。该工作为在大型语言模型中实现更强大的类人推理提供了理论和实践基础。

6. 谁能理解证明？形式化数学的一瞥

🔗 writings.stephenwolfram.com: Who Can Understand the Proof? A Window on Formalized Mathematics

本文探讨了自动定理证明在数学中的应用，特别是通过Wolfram语言发现的最简单的布尔代数公理。尽管该定理已被证明，但其证明过程复杂且难以理解，引发了关于计算不可约性和人类可理解的证明的讨论。文章还提出了一个挑战：如何使这种复杂的证明对人类更直观，并探讨了AI在其中的潜在作用。

7. 芬兰的无家可归者零策略（2021）

🔗 oecdecoscope.blog: Finland’s zero homeless strategy (2021)

芬兰通过“住房优先”策略，成功将无家可归者从1989年的16,000人减少到2020年的4,000人。该策略结合了经济援助、综合支持服务和住房供应，确保无家可归者获得永久住房而非临时住所。芬兰的经验表明，整合住房与社会援助、平衡供需关系以及持续的政治支持是解决无家可归问题的关键。

8. 形式化方法：只是良好的工程实践吗？

🔗 brooker.co.za: Formal Methods: Just Good Engineering Practice? (2024)

Marc Brooker在2024年TLA+会议的主题演讲中强调，形式化方法是良好软件工程实践的重要组成部分，尤其适用于大规模、分布式或关键系统。通过减少返工和提前解决接口变更，形式化设计能显著提高开发效率。尽管并非所有软件都适用，但对于需求明确且稳定的系统，形式化方法能有效降低错误率并加速开发。

9. 触觉：ESP32 微控制器系列的操作系统

🔗 tactility.one: Tactility: OS for the ESP32 Microcontroller Family

触觉 是一款专为 ESP32 微控制器 设计的操作系统，旨在提供高效的硬件控制和资源管理。该系统通过优化底层架构，提升了设备的响应速度和稳定性，适用于物联网和嵌入式开发领域。

10. Glimmer：Ruby GUI 及更多领域的 DSL 框架

🔗 github.com: Glimmer: DSL Framework for Ruby GUI and More

Glimmer 是一个 DSL 框架，包含 DSL 引擎和数据绑定库，支持多种 GUI 开发，如 Glimmer DSL for SWT 和 Glimmer DSL for LibUI。它允许开发者用简洁的 Ruby 语法构建 GUI 应用，支持跨平台（Windows、macOS、Linux），并具备双向数据绑定功能。Glimmer 的设计基于解释器模式和责任链模式，适用于构建高效、可维护的 GUI 应用。

11. 用C语言玩点花样，第二部分

🔗 lcamtuf.substack.com: Getting silly with C, part (void*)2

本文探讨了C语言中一些晦涩的语法特性，如typedef定义函数类型、GNU扩展的前向参数声明，以及通过asm关键字重命名函数。作者通过一系列代码示例展示了这些特性的使用方式，揭示了C语言的灵活性和潜在的混乱。文章还提到了一些有趣的技巧，如在for循环中使用函数声明，以及C语言的BASIC兼容模式。这些内容展示了C语言的深度和复杂性。

12. 使用 Ruby on Rails 构建的 Web 应用

🔗 weuserails.com: Web apps built with Ruby on Rails

探索由 Ruby on Rails 框架构建的多样化 Web 应用，涵盖从初创公司到企业级应用。平台展示了 Rails 的广泛适用性，支持金融、教育、游戏等多个领域。开发者可提交自己的 Rails 应用，获取曝光并加入这一不断增长的社区。

13. NVIDIA-Ingest：多模态数据提取

🔗 github.com: Nvidia-Ingest: Multi-modal data extraction

NVIDIA-Ingest 是一套用于从复杂、非结构化的 PDF 和其他企业文档中提取元数据和文本的微服务工具。它支持 PDF、Word 和 PowerPoint 文档，能够并行处理文档内容，提取文本、表格、图表和图像，并将其转换为结构化的 JSON 格式。该工具还支持生成嵌入向量并存储到向量数据库中，适用于生成式 AI 应用。

14. 大卫·拉格尔斯：平凡英雄的艰辛历程

🔗 commonplace.online: The Tedious Heroism of David Ruggles

大卫·拉格尔斯是19世纪纽约市反奴隶制运动的关键人物，创立了纽约警戒委员会，帮助数百名奴隶逃脱。尽管他的事迹常被简化为戏剧性时刻，但真正的历史变革往往源于枯燥、重复的工作。1836年，拉格尔斯为解救葡萄牙奴隶船“Brilliante”上的五名奴隶，多次奔走于城市各处，面对官僚的推诿与冷漠，最终仅成功解救两人。这一故事揭示了社会变革背后的艰辛与挫败。

15. Show HN: Freeact – 轻量级代码动作代理库

🔗 github.com: Show HN: Freeact – A Lightweight Library for Code-Action Based Agents

freeact 是一个轻量级库，专为基于代码动作的AI代理设计。它允许代理通过可执行代码直接表达动作，而非受限于JSON等格式，从而提供更高的灵活性和动态问题解决能力。该库支持Python生态系统，代理可动态安装并使用所需库，并通过环境反馈和人类指导自主改进动作。freeact还提供了安全的执行环境，确保代码的动态生成与执行安全。

16. 传送门与《雷神之锤》

🔗 30fps.net: Portals and Quake

本文探讨了《雷神之锤》引擎中的预计算可见性（PVS）技术，通过传送门剔除和潜在可见集来优化渲染性能。文章详细介绍了如何通过BSP树将地图划分为凸面单元（叶子），并通过传送门连接这些单元，最终生成每个单元的可见性列表。这种方法减少了过度绘制，提升了游戏性能。

17. OpenAI的机器人像DDoS攻击一样摧毁了这家七人公司的网站

🔗 techcrunch.com: OpenAI’s bot crushed this seven-person company’s web site ‘like a DDoS attack’

OpenAI的爬虫机器人GPTBot在未经许可的情况下，疯狂抓取Triplegangers网站上的65,000多个产品页面和数十万张图片，导致网站崩溃。尽管Triplegangers的网站明确禁止未经授权的抓取，但OpenAI的机器人无视了这些规定。robot.txt文件配置不当是主要原因，OpenAI的爬虫默认可以抓取未明确禁止的内容。Triplegangers最终通过配置robot.txt和使用Cloudflare阻止了爬虫，但无法确定OpenAI抓取了哪些数据。

18. 扁平化抽象语法树（及其他编译器数据结构）

🔗 cs.cornell.edu: Flattening ASTs and other compiler data structures (2023)

本文介绍了扁平化抽象语法树（AST）的概念及其在编译器中的优势。通过将AST节点存储在连续的内存区域中，并使用数组索引代替指针，扁平化技术显著提升了性能，包括内存局部性、更小的引用和廉价的内存分配。此外，扁平化还简化了内存管理，特别适用于Rust等语言。实验表明，扁平化后的AST在微基准测试中速度提升了2.4倍。

19. lc：按类别和列列出文件 – 来自 Coherent Unix 克隆

🔗 github.com: lc: List files in categories (and columns) – from Coherent Unix clone

这是一个从 MWC（Mark Williams Company）Coherent UNIX 移植的 lc（按类别和列列出文件）工具。原始源代码可在指定链接中找到，位于 COHERENT/romana/relic/d/bin/lc.c 文件中。此版本增加了对符号链接的支持（通过 -l 命令行选项），并保留了原始许可证。项目目前有 11 颗星和 1 个观察者。

20. Boulette - 防止你误操作（即使以 root 身份）

🔗 github.com: Show HN: Boulette - Protect you from yourself (even as root).

Boulette 是一个终端确认提示工具，旨在防止用户意外关闭远程主机。通过在危险命令前添加 boulette，它会弹出确认提示，要求用户输入确认或解决挑战（如输入主机名或随机字符）。特别适用于 SSH 会话，可通过别名替换常用命令，如 shutdown，确保在远程操作时更加安全。支持多种挑战类型，如主机名、数字或字符验证。