1. 《锗的电子能带结构？放屁！（2001年）》；
2. 二战密码破译专家贝蒂·韦伯逝世，享年101岁；
3. 格鲁布克斯的电力墙项目（2016）；
4. 为什么选择F#？；
5. CERN科学家发现羊群中存在量子纠缠证据；

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

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

1. 《锗的电子能带结构？放屁！（2001年）》

🔗 pages.cs.wisc.edu: Electron band structure in germanium, my ass (2001)

该研究以讽刺口吻抨击了锗的电阻率与温度呈指数关系的传统理论。作者通过漏洞百出的实验设备和不靠谱的文献，得出“结论”：所谓指数关系纯属胡扯。实验过程充满槽点——焊不上导线的锗晶体、漏液的液氮罐、二手报废仪器，最终数据只是一团噪声。文末哀叹“学物理是人生最大错误，不如学计算机赚钱”。（注：原文标题含粗鄙用语，此处保留直译风格。）

2. 二战密码破译专家贝蒂·韦伯逝世，享年101岁

🔗 bbc.com: Bletchley code breaker Betty Webb dies aged 101

曾在布莱切利园参与二战密码破译工作的夏洛特·“贝蒂”·韦伯（MBE勋衔）于近日逝世，享年101岁。她18岁加入英国陆军女子辅助服务队，在布莱切利园破译德军密码，战后赴五角大楼协助处理日军情报。2021年获法国最高荣誉荣誉军团勋章。韦伯晚年积极推动布莱切利园历史传承，2023年以百岁高龄受邀参加英王加冕典礼。她生前是最后几位在世的布莱切利园密码专家之一，被誉为”激励数代女性从军的传奇人物”。

3. 格鲁布克斯的电力墙项目（2016）

🔗 secondlifestorage.com: Glubux’s Powerwall (2016)

用户Glubux在2016年分享了其太阳能储能系统的搭建计划。他已有1.4千瓦屋顶光伏板、24V 460AH叉车电池、Victron MPPT 100/50控制器等设备，并计划建造储物棚安置电池和逆变器。此外，他收集了约650块笔记本电池，计划组装成可调节容量的100Ah模块，强调铜线焊接和统一总线长度以优化性能。该项目展示了DIY储能系统的实用设计思路。

4. 为什么选择F#？

🔗 batsov.com: Why F#?

作者在多年后重新接触.NET，并探索了F#——一种基于ML的函数式编程语言。F#以简洁、高性能和跨平台著称，支持类型推断、模式匹配和异步编程等特性。其语法与OCaml相似，但更注重易用性，适合脚本和数据分析。F#生态依赖.NET库，但也有Giraffe（Web开发）和Deedle（数据科学）等原生工具。尽管历史上有工具支持不足的问题，但如今VS Code和Rider提供了优秀的开发体验。F#的异步编程模式甚至影响了C#，展现了其创新力。

5. CERN科学家发现羊群中存在量子纠缠证据

🔗 home.cern: CERN scientists find evidence of quantum entanglement in sheep

欧洲核子研究中心（CERN）的科学家通过精密建模和追踪技术，首次在羊群中发现了量子纠缠现象。研究表明，羊群中个体的大脑可能通过类似亚原子粒子的纠缠状态实现同步移动和发声，这解释了其著名的集群行为。实验统计显著性达4σ，但需进一步验证。该发现或为量子物理学开辟新研究方向，并呼应联合国2025“量子科技国际年”主题。研究过程中，科学家还幽默假设“羊是球形的”以简化模型，并命名了疑似引发纠缠的粒子“moutons”（λ轻子）。

6. 美国误将马里兰州男子遣送至萨尔瓦多监狱，现无法将其接回

🔗 independent.co.uk: US accidentally sent Maryland father to Salvadorian prison, can’t get him back

一名受美国保护的萨尔瓦多移民基尔马尔·阿曼多·阿布雷戈·加西亚（Kilmar Armando Abrego Garcia）因行政错误被移民与海关执法局（ICE）遣送至萨尔瓦多臭名昭著的CECOT监狱。尽管他因担心迫害而获得免于遣返的移民身份，美国政府却声称因失去管辖权无法要求释放他。阿布雷戈的律师指控其被错误标记为MS-13黑帮成员，且无犯罪记录。此案引发争议，同时揭露美国政府曾向萨尔瓦多支付费用以运营该监狱，并涉嫌在类似行动中滥用战时法律遣返无犯罪记录的移民。

7. 2025年的自托管新趋势

🔗 kiranet.org: Self-Hosting like it’s 2025

文章探讨了未来自托管技术的演进方向，强调去中心化存储、隐私优先架构和AI自动化运维将成为核心。作者提出通过轻量级容器和边缘计算实现零信任安全模型，并预测家庭服务器将像路由器一样普及。关键挑战在于平衡易用性与技术自由度，最终让用户真正掌控数据主权。

8. 开源网络先驱Dave Täht逝世

🔗 libreqos.io: Dave Täht has died

我们沉痛宣布Dave Täht离世。他是FQ-CoDel和CAKE算法的核心开发者，通过解决网络缓冲膨胀问题，让全球数百万人获得稳定视频通话和远程医疗能力。他的开源贡献惠及偏远地区（如德州农村和菲律宾）的创业者与弱势群体，甚至助力Starlink优化延迟。作为LibreQoS等项目的灵感源泉，Dave用技术默默连接了无数人的生活与希望。

9. Qwen-2.5-32B成为当前最佳开源OCR模型

🔗 github.com: Show HN: Qwen-2.5-32B is now the best open source OCR model

Omni OCR Benchmark是一个开源评测工具，用于对比多模态大模型（如GPT-4o）的OCR和数据提取能力，重点关注文本和JSON格式的准确性。评测方法公开透明，支持扩展更多模型。核心指标包括JSON准确率（基于字段差异计算）和文本相似度（编辑距离）。用户可通过配置API密钥测试闭源（如Gemini、GPT-4o）或开源模型（如Qwen-2.5-32B），结果以JSON格式保存。项目采用MIT协议，鼓励社区参与优化OCR性能评估。

10. DEDA：打印机追踪点提取、解码与匿名化工具包

🔗 github.com: DEDA – Tracking Dots Extraction, Decoding and Anonymisation Toolkit

DEDA是一款用于处理彩色激光打印机在文档中嵌入的黄色追踪点的工具包。这些微小点阵编码了打印机序列号等设备信息，可能被用于追踪。该工具支持提取并解码这些隐藏数据，同时提供匿名化功能以保护隐私。用户可通过命令行或图形界面操作，支持扫描文档分析、多文档比对、自定义点阵生成及打印前匿名处理。需安装Python 3及依赖库，部分功能需配合ImageMagick使用。适用于取证研究和隐私保护场景。

11. 《神秘岛图谱：游戏结构的新视角》

🔗 glthr.com: The Myst Graph: A New Perspective on Myst

本文介绍了一种将经典游戏《神秘岛》转化为有向图的创新方法，通过分析1,364个节点和3,189条边，揭示了游戏内隐藏的路径与未达区域。作者利用开源工具DeMystify程序化生成图谱，并指出其优势（如忽略玩法约束以简化分析）与局限（如未涵盖脚本细节）。关键发现包括：最短通关路径需24步，而最远节点相距130步，且存在孤立集群（如机械时代的虚拟节点）。后续文章将深入探讨图谱衍生的新发现与技术实现。

12. 音乐中的基因共鸣

🔗 pudding.cool: Shared DNA in Music

这是一个探索音乐共享DNA的项目，旨在通过可视化数据揭示不同作品间的潜在联系。项目目前正在加载相关数据，核心目标是分析音乐中的共同元素，展现艺术创作的深层关联。通过技术手段，将抽象的音乐特征转化为直观的视觉呈现，帮助理解文化传承与创新背后的规律。

13. AWS系统正确性实践：形式化与半形式化方法的应用

🔗 queue.acm.org: Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods

AWS通过形式化方法（如TLA+和P语言）与半形式化方法（如基于属性的测试、模糊测试）确保系统正确性。P语言帮助团队建模分布式系统，早期发现设计缺陷，如S3强一致性升级。轻量级方法（如确定性模拟和故障注入服务FIS）加速测试流程，覆盖错误场景。此外，形式化证明（如Cedar授权语言）用于关键安全边界，确保数学级正确性。这些实践提升了AWS服务的可靠性与性能优化能力。

14. RubyUI：开源Ruby组件库（原PhlexUI）

🔗 github.com: RubyUI (Former PhlexUI): Ruby Gem for RubyUI Components

RubyUI是一款基于Phlex框架的Ruby组件库，提供高性能（比传统ERB模板快12倍）和可定制化的UI组件。用户可直接复制代码片段到项目中，无需依赖完整库。支持通过Tailwind轻松定制样式，并采用Stimulus.js保持轻量化。包含详尽的文档和主题配置，安装仅需三步：添加gem、运行安装命令、生成组件。所有组件遵循MIT许可，适合快速构建优雅且高效的用户界面。

15. Linux二进制兼容性的糟糕现状及解决方案

🔗 jangafx.com: The state of binary compatibility on Linux and how to address it

本文探讨了Linux平台二进制兼容性的严重问题，指出其根源在于系统库版本碎片化和容器化方案的局限性。作者批判了Flatpak/AppImage等容器方案因隔离系统库（如GPU驱动、glibc）导致的性能损耗和功能缺失，并提出静态链接+旧版本适配的混合策略：非系统库静态编译以消除依赖，系统库则针对老旧版本编译确保兼容性。文中还分享了使用debootstrap构建旧版Debian编译环境的具体方法，强调真正的解决方案应减少抽象层而非叠加技术栈。

16. 硅胶干燥剂如何悄然占领世界

🔗 scopeofwork.net: How Silica Gel Took Over the World

硅胶干燥剂无处不在——从新鞋到海苔零食，再到药品包装。这些多孔硅胶珠由二氧化硅制成，内部表面积巨大（1克可达800平方米），能吸附自身重量40%的水分，通过毛细冷凝原理防潮。20世纪初由Walter Patrick发明后，经商业化成为全球供应链的关键角色。如今，大部分干燥剂产自海外，因长途运输需严格控湿。它并非“统治世界”，而是全球化的隐形推手。

17. 我们能够、必须且终将模拟线虫大脑

🔗 asteriskmag.com: We can, must, and will simulate nematode brains

科学家25年来一直尝试模拟线虫（C. elegans）的微型大脑（仅300个神经元），但受限于技术未能成功。如今，光片显微镜和超分辨率成像等新工具提供了动态观测神经元活动的能力，使模拟成为可能。早期项目如OpenWorm因缺乏生物物理参数（如突触强度）而停滞，但现代技术有望填补这一空白。成功模拟需精确复现神经功能，而不仅是静态连接组。这一突破将为人类大脑模拟奠定基础。

18. Zig并行处理拓扑排序库简介

🔗 github.com: Show HN: Zig Topological Sort Library for Parallel Processing

这是一个高效的Zig语言库，用于对依赖图进行拓扑排序，支持构建依赖图、检测循环、生成可并行处理的无依赖子集等功能。库支持多种节点类型，提供CLI工具，性能优化显著（整数节点处理快3-4倍）。安装通过zig fetch集成，MIT协议开源。适用于需要任务调度的并行场景。

19. 终端仪表盘：根据电价高峰自动限制电脑性能

🔗 naveen.ing: Show HN: Terminal dashboard that throttles my PC during peak electricity rates

开发者Naveen构建了一个名为WattWise的终端工具，通过Kasa智能插座实时监控工作站（双EPYC处理器+多GPU）的功耗，并结合电价时段动态调节CPU/GPU频率以节省电费。该工具支持直接连接或通过Home Assistant集成，提供彩色编码的实时功耗显示、历史图表及基于PI控制器的自适应性能管理。开源项目适用于Linux系统，未来计划扩展多设备支持和更多智能插座兼容性。

20. 澳大利亚YouTuber诽谤案败诉，需赔偿《大金刚》冠军35万美元

🔗 theguardian.com: Donkey Kong champion wins defamation case against Australian YouTuber Karl Jobst

澳大利亚YouTuber 卡尔·乔布斯特因在视频中诽谤美国游戏玩家比利·米切尔（《大金刚》前世界纪录保持者）被布里斯班地方法院判决赔偿35万美元（含利息及诉讼费）。法官认定乔布斯特在2021年视频中“鲁莽”散布虚假指控，错误声称米切尔的诉讼与另一名YouTuber自杀有关，并暗示其“逼迫对方致死”。尽管米切尔曾因作弊争议被撤销纪录，但法院认为乔布斯特的行为严重损害其声誉。米切尔的游戏纪录后因专家证词被恢复。

21. 开源离灾难求救与救援应用Igatha

🔗 github.com: Show HN: Offline SOS signaling+recovery app for disasters/wars

Igatha是一款支持离线运行的开源应急应用，专为战争和灾难场景设计，通过蓝牙低功耗（BLE）技术实现无网络环境下的SOS信号收发。用户可手动发送求救信号，或启用灾害检测功能自动触发（通过传感器监测异常运动或气压变化）。救援模式下，安全人员可循信号强度和声音定位求助者。应用完全离线运行，保障隐私，目前处于MVP阶段，欢迎社区贡献代码或改进建议。

22. 乌克兰士兵意外发现古希腊墓葬

🔗 archaeology.org: Ukrainian Soldiers Unearth Ancient Greek Burial

乌克兰士兵在南部挖掘防御工事时，意外发现了一座古希腊墓葬。一名士兵在战壕中发现了一个小型伊奥尼亚风格双耳瓶，随后专家鉴定其为古希腊丧葬仪式中的** ritual 器物**。进一步发掘还出土了一个单柄三嘴壶（oinochoe）及人类遗骸，推测来自公元前6至5世纪的墓地。这些保存完好的器物表明墓主社会地位较高。该地区曾是古希腊人在黑海北岸的殖民定居点之一。