1. 将我们的政府和社会转移到美国云端已不再安全；
2. 半条命；
3. 那么，电是什么？；
4. 用四个2构造任意整数的趣味数学题；
5. 比亚迪已生产首批固态电池；

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

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

1. 将我们的政府和社会转移到美国云端已不再安全

🔗 berthub.eu: It is no longer safe to move our governments and societies to US clouds

继续将欧洲的政府和社会转移到美国云端是疯狂的。这种依赖美国的做法不仅是出于便利性，而且在当前形势下极其危险。特朗普的政策已使得与美国的数据共享法律基础不再成立，欧洲应停止将数据交给美国，勇敢选择其他软件和服务。只有这样，才能确保我们的社会不再完全依赖于美国的意志。

2. 半条命

🔗 filfre.net: Half-Life

《半条命》是Valve公司在1996年成立后推出的一款革命性第一人称射击游戏。Gabe Newell和Mike Harrington希望将故事与游戏玩法融为一体，打破传统的关卡设计。尽管面临挑战，他们坚持延长开发时间，最终在1998年发布了这款改变游戏行业的作品。

3. 那么，电是什么？

🔗 lcamtuf.substack.com: But good sir, what is electricity?

本文探讨了电的基本概念，包括导体、绝缘体和电荷的物理学。文章简要介绍了原子的结构，强调了电子的行为和能量层次。高能价电子在化学反应中起关键作用，而在金属中，电子可以自由移动，形成电流。绝缘体则限制了电子的流动，导致静电现象。

4. 用四个2构造任意整数的趣味数学题

🔗 eli.thegreenplace.net: Making any integer with four 2s

这个数学谜题要求用四个2和任意数学运算生成目标自然数。初学者可以轻松完成简单的数字，如1到6，而中级学生则可以利用指数和阶乘等更复杂的运算生成更大的数。随着数学技能的提高，能够构造的数字范围也随之扩大，甚至可以使用伽马函数和复数等高级工具。尽管保罗·狄拉克找到了通用解法，但这个谜题仍然吸引着数学爱好者，展示了数学的趣味与创造力。

5. 比亚迪已生产首批固态电池

🔗 electrive.com: BYD has already produced its first solid-state cells

中国汽车和电池制造商比亚迪在2024年已成功生产其首批固态电池，容量为20 Ah和60 Ah。尽管如此，公司预计在不久的将来不会进行大规模生产，预计到2027年将开始“规模示范”，而真正的大规模引入可能要到2030年之后。比亚迪的首席技术官表示，公司专注于硫化物电解质的开发，认为其成本在量产后有望与现有液态电池相当。固态电池因其安全性和更高的能量密度而受到关注，但目前仍处于初期阶段。

6. 越南平面设计

🔗 vietgd.com: Vietnamese Graphic Design

越南平面设计涵盖了多种媒介，包括广告、书籍、海报和标识等。设计作品的时间跨度从无日期到2020年代，反映了不同历史时期的艺术风格和文化影响。通过这些作品，可以深入了解越南的视觉文化和设计演变。

7. 悼念

🔗 onlinesafetyact.co.uk: In memoriam

多家网站和服务因《2023年在线安全法》而关闭或限制英国用户访问，包括AWScommunity.social、Charlbury辩论论坛、Espruino论坛、furry.energy、Gaming on Linux、Green Living Forum、Haiku论坛、Hexus、LFGSS、Lobste.rs和Microcosm等。这些平台的关闭标志着一个时代的结束，影响了各类社区的交流与讨论。

8. WhiteSur：适用于GTK桌面的macOS风格主题

🔗 github.com: WhiteSur: macOS-like theme for GTK desktops

WhiteSur是一个为所有基于GTK的Linux桌面提供的macOS风格主题。该主题支持GTK3和GTK4，安装简单，依赖项由安装程序自动处理。用户可以通过命令行自定义主题的颜色、透明度和样式，还可以调整GDM和Firefox主题。WhiteSur主题在GitHub上获得了超过6.3k的星标，展示了其受欢迎程度。

9. “每个人都在看手机，”被释放的男子在监狱待了30年后说

🔗 news.sky.com: ‘Everybody is looking at their phones,’ says man freed after 30 years in prison

戈登·科尔代罗因新的DNA证据被释放，结束了他在1994年因谋杀被判无期徒刑的30年监禁。他在首次接受采访时表示，“每个人都在看手机，”并感慨科技的进步。他的第一件事是拜访母亲的墓地，并享用了一顿牛排晚餐。科尔代罗始终坚称自己无辜，他的案件因新证据而被推翻，尽管检方计划对此决定提出上诉。

10. 战情室与深度调查的对比

🔗 rachelbythebay.com: War Rooms vs. Deep Investigations

在讨论战情室的有效性时，作者回忆了2014年Facebook大规模宕机事件的经历。尽管战情室可以协调危机处理，但在进行深入分析时，狭小的空间和不适的环境反而会降低效率。作者强调，深入调查需要安静、舒适的环境，以便进行有效的思考和问题解决。最终，作者在回归自己的工作空间后，经过几周的努力，才找到了导致宕机的根本原因，揭示了战情室在复杂技术问题上的局限性。

11. Markdown的jq工具

🔗 github.com: Show HN: Jq-Like Tool for Markdown

mdq旨在为Markdown提供类似jq对JSON的功能，方便用户查找文档中特定元素。它可以简化对GitHub PR等Markdown文档的操作，避免使用复杂的正则表达式。例如，用户可以轻松查询未完成的任务。mdq支持多种过滤器语法，允许用户选择标题、列表、链接等元素，且其语法与Markdown格式相似。该工具在Apache 2.0或MIT许可证下发布，安装简单，用户只需通过cargo或下载二进制文件即可使用。

12. Grok 3声称其系统提示包含关于马斯克和特朗普的审查

🔗 old.reddit.com: Grok 3 claims its system prompt includes censorship about Musk/Trump

Grok 3的系统提示被指控存在审查，尤其是涉及马斯克和特朗普的信息。用户在讨论中指出，该系统提示要求其批判性地审视信息，但同时又限制了某些内容的发布。这种矛盾的命令引发了对AI偏见的担忧，许多人认为这可能会影响其公正性和透明度。讨论中提到，随着技术的发展，审查将变得更加微妙，用户和开发者之间的斗争也将持续。

13. 想要更深入？先去小便！

🔗 peeifyouwanttogofaster.com: Pee If You Want to Go Deeper (2021)

这篇文章探讨了在干式潜水服中使用 P-valve 的经验，尤其是女性潜水员的需求。作者分享了自己在潜水时如何应对排尿问题，强调了 P-valve 的重要性，避免了使用尿布或在潜水服内小便的尴尬。通过详细的安装和使用指南，作者希望帮助其他女性潜水员找到舒适的解决方案，享受潜水的乐趣。

14. 数十年的研究不当行为阻碍了阿尔茨海默病的治疗进展

🔗 sciencefriday.com: Decades of Research Misconduct Stalled an Alzheimer’s Cure

查尔斯·皮勒在《Doctored》中揭示了阿尔茨海默病研究中的欺诈和不当行为如何影响有效治疗的寻找。2021年，皮勒接到一位可信的举报者的线索，揭露了支撑阿尔茨海默病主流假说的实验数据可能是伪造的。尽管新药Leqembi的推出引发了希望，但其效果微乎其微，患者的认知能力下降速度与假药无异。这一切反映了数十年来在阿尔茨海默病研究中存在的夸大和欺骗，以及对其他治疗方法的忽视。皮勒的调查揭示了科学界的腐败，呼吁重新审视对这一可怕疾病的理解和应对。

15. Ultima VII：重制版

🔗 u7revisited.com: Ultima VII: Revisited

《Ultima VII：重制版》是一个替代引擎，将经典RPG《Ultima VII》呈现为3D，并修复了多项游戏问题。开发者Anthony Salter认为，尽管《Ultima VII》在当时是一个设计精妙的游戏，但其2D引擎限制了其潜力。通过重制，玩家将能更好地体验这个充满细节的世界，理解其独特魅力。

16. Bitwarden身份验证器

🔗 bitwarden.com: Bitwarden Authenticator

Bitwarden身份验证器是一款简单的应用程序，用于在线证明您的身份。它生成和存储所有的两步验证令牌，确保您的在线账户更安全。该应用可在iOS和Android上使用，用户可以快速扫描二维码添加新代码。Bitwarden身份验证器是一个独立的免费应用，支持生成时间基础的一次性密码（TOTP），即使不使用Bitwarden密码管理器也能使用。它是开源的，未来将增加导入、同步、推送式双重认证等新功能。用户反馈良好，称其“非常流畅和快速”。

17. 英国家庭用户因《在线安全法》面临封锁风险

🔗 lobste.rs: Lobsters blocking UK users because of the Online Safety Act

Lobsters论坛因无法遵守即将于2025年生效的《在线安全法》而可能被迫封锁英国用户。该法对所有用户互动网站施加监管，尽管Lobsters是一个非商业性论坛，合规成本和法律风险过高。论坛创始人寻求用户的帮助，以获得法律豁免或推迟实施，避免封锁。

18. AI设计的芯片如此奇特，以至于“人类无法理解它们”

🔗 livescience.com: AI-designed chips are so weird that ‘humans cannot understand them’

研究人员展示了人工智能在数小时内设计复杂的无线芯片的能力，这一过程通常需要人类数周。AI采用了一种全新的设计方法，将芯片视为一个完整的系统，而非单独的部分，产生了更高效的设计。尽管AI的设计在性能上超越了现有方案，但仍需人类设计师进行必要的修正。此研究为未来电子设计的变革奠定了基础。

19. 欧洲单词翻译器：一个展示30多种语言的互动地图

🔗 ukdataexplorer.com: European word translator: an interactive map showing words in over 30 languages

该页面允许用户输入一个或两个小写的英语单词，以查看其翻译。翻译由Google Translate生成，可能存在不准确或使用非欧洲语言的情况。每个单词仅提供一个翻译，且不支持专有名词或非英语单词的翻译。该工具受Bezbojnicul的词源地图启发，使用D3和Natural Earth地图构建，翻译数据来自2014年，当前无法更新。用户可以通过捐款支持网站的托管费用。

20. λ演算与Lisp，第一部分

🔗 babbagefiles.xyz: Lambda Calculus and Lisp, part 1

这篇文章是关于λ演算和Lisp的系列博文的第一篇，作者探讨了它们的理论和实现之间的复杂关系。文章回顾了Lisp的起源，强调了LAMBDA在函数实现中的重要性，并指出Lisp并不是λ演算的直接实现。作者引用了John McCarthy的观点，表明他对λ演算的理解有限，Lisp的设计更多是对计算模型的探索，而非对λ演算的直接应用。文章还提到，Lisp的独特之处在于它可以自我表达，反映了编程语言的发展趋势。

21. 查看您可能意外标记的提交

🔗 news.ycombinator.com: See the submissions you have flagged (maybe accidentally)

请登录以查看您标记的提交。输入您的用户名和密码，如果忘记密码，可以选择重置。您还可以创建一个新账户。确保您能访问所有相关的提交记录，以便更好地管理和审查。

22. 关闭所有联邦政府建筑内的8k电动车充电器

🔗 thedrive.com: Turning Off All 8k EV Chargers at All Federal Government Buildings

特朗普政府下令关闭所有联邦建筑内的电动车充电器，并停止新购电动车的使用，称电动车“不是关键任务”。负责管理这些充电站的美国总务管理局（GSA）表示，约有8,000个充电端口将被停用，影响政府和私人车辆。虽然拜登政府曾推动电动车的普及，但目前不清楚这些充电器和新购电动车的未来去向。此举可能导致政府电动车的充电困难，影响其运营效率。

23. 富人税收减免50年未能实现经济增长，研究称

🔗 cbsnews.com: 50 years of tax cuts for the rich failed to trickle down, economics study says

一项来自伦敦经济学院的研究表明，富人税收减免在过去50年中仅使富人受益，而未能促进中产阶级的收入增长。研究比较了18个发达国家的经济结果，发现税收减免并未显著改善整体经济表现，反而加剧了收入不平等。研究者指出，历史上高税率时期伴随了更高的经济增长和低失业率，建议在疫情后考虑对富人增税以支持经济复苏。

24. Directus – 实时REST和GraphQL API的SQL数据库

🔗 github.com: Directus – real-time REST and GraphQL API of any SQL database

Directus是一个灵活的后端解决方案，可将任何SQL数据库转变为无头CMS、管理面板或自定义应用程序。它提供了一个快速的Node.js API，支持多种数据库，如PostgreSQL、MySQL和SQLite，且无需迁移。用户可以选择在本地或云端运行Directus，适合技术和非技术用户。对于年收入低于500万美元的组织，Directus可免费使用，而大企业则需商业许可证，以支持平台的持续发展。

25. 尽管学费上涨，获得学位的真实成本却在下降

🔗 theatlantic.com: Despite sticker prices, the real cost of getting a degree has been going down

美国人普遍认为大学学费不断攀升，但实际上，平均学费在过去十年中反而下降。根据数据，自2014-15学年起，公立四年制大学的费用下降了21%。虽然私立大学的原始费用上升，但经过通货膨胀调整后，实际成本下降了12%。这主要是因为大学通过高额的“标价”来为低收入学生提供经济援助，导致实际支付的费用与标价之间存在巨大差距。尽管学费的“标价”看似高企，许多家庭实际上支付的费用与1990年代持平。随着联邦助学金的增加和州政府对公立大学的资助回升，未来几年的学费可能会继续下降。然而，公众对大学费用的认知仍然滞后，许多人认为大学学费只会继续上涨，这导致一些低收入学生放弃申请高收费的优质大学。