1. Bayleaf：打造低调的无线分体键盘；
2. 为什么fastDOOM如此快；
3. 联邦员工被迫返回办公室，却面临无桌、无网、无灯的窘境；
4. ip4.me/ip6.me 所有者 Kevin Loch 去世；
5. 无需预训练的ARC-AGI解决方案；

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

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

1. Bayleaf：打造低调的无线分体键盘

🔗 graz.io: Show HN: Bayleaf – Building a low-profile wireless split keyboard

Bayleaf 是一个专注于低剖面设计的无线分体键盘项目。它旨在提供舒适的打字体验，同时保持简洁的外观。该键盘支持无线连接，适合需要灵活布局的用户。通过开源设计，Bayleaf 鼓励社区参与和改进。

2. 为什么fastDOOM如此快

🔗 fabiensanglard.net: Why fastDOOM is fast

fastDOOM通过优化代码和删除冗余功能，显著提升了经典游戏《DOOM》的性能。作者通过分析fastDOOM的Git历史，发现代码精简、内联函数和渲染优化是性能提升的关键。此外，fastDOOM还支持多种视频模式，如Mode 13h和Mode Y，以适应不同硬件配置。最终，fastDOOM在486 CPU上实现了高达48%的帧率提升。

3. 联邦员工被迫返回办公室，却面临无桌、无网、无灯的窘境

🔗 cnn.com: Federal workers ordered to return to offices without desks, Wi-Fi and lights

数百万联邦员工被要求返回办公室，但许多工作场所并未做好准备。缺乏Wi-Fi、电力不足、设备混乱等问题普遍存在，甚至有员工因办公室环境不安全而受伤。特朗普政府推动缩减联邦政府规模和办公空间，导致员工面临空间不足和工作条件恶化的双重压力。部分员工担心，这可能是政府迫使员工辞职的策略。

4. ip4.me/ip6.me 所有者 Kevin Loch 去世

🔗 ip4only.me: The owner of ip4.me/ip6.me, Kevin Loch, has died

Kevin Loch，ip4.me 和 ip6.me 等网站的所有者，已不幸去世。Kevin M Loch 遗产管理方计划于 2025年4月1日 关闭其名下所有网站。有意购买相关域名者可联系 ipadmin@dulles-ix.net。受影响的网站包括 ip4.me、ip6.me 等与 IP 地址查询相关的多个域名。

5. 无需预训练的ARC-AGI解决方案

🔗 iliao2345.github.io: ARC-AGI without pretraining

本文提出了一种基于无损信息压缩的方法CompressARC，用于解决ARC-AGI挑战。该方法无需预训练、数据集或搜索，仅通过推理时的压缩训练，成功解决了部分ARC-AGI谜题。CompressARC通过神经网络和梯度下降优化，实现了从有限示例中推断规则的能力，展示了压缩在智能行为中的潜力。

6. Mox：现代、安全的一体化邮件服务器

🔗 xmox.nl: Mox – modern, secure, all-in-one email server

Mox 是一款现代、安全的邮件服务器，支持 IMAP4、SMTP、SPF、DKIM 等协议，提供自动 TLS 加密和垃圾邮件过滤功能。它采用 Go 语言编写，代码质量高且经过严格测试。Mox 是开源项目，安装简单，10 分钟内即可完成配置，适合希望掌控邮件服务的用户。

7. 意大利计划重启核电以应对能源挑战

🔗 world-nuclear-news.org: Italy moves to reverse anti-nuclear stance

意大利内阁通过了一项草案，旨在为可持续核能重新引入法律框架，以应对能源需求增长和气候变化。该草案强调使用先进技术，并建立独立监管机构。意大利计划到2050年将核电占比提升至20-22%，以实现脱碳目标和能源安全。此举标志着意大利自1987年公投弃核后的重大政策转变。

8. Satellogic开放卫星数据流

🔗 tech.marksblogg.com: Satellogic’s Open Satellite Feed

Satellogic是一家卫星设计、制造和星座运营公司，成立于2010年。他们已发射41颗Aleph-1微卫星，目标是部署300颗卫星以实现每5分钟的重访时间。最近，Satellogic推出了Satellogic EarthView开放数据流，包含超过700万张高分辨率图像。这些图像覆盖全球，分辨率达1米，支持RGB和近红外成像。

9. 将自然语言转化为一阶逻辑以检测逻辑谬误

🔗 arxiv.org: Translating natural language to first-order logic for logical fallacy detection

本文介绍了NL2FOL框架，利用大语言模型（LLMs）将自然语言逐步转化为一阶逻辑（FOL），并应用于逻辑谬误检测。该框架通过结合可满足性模理论（SMT）求解器，验证自然语言陈述的逻辑有效性。NL2FOL在多个数据集上表现优异，无需微调或标注数据，展示了其鲁棒性和可解释性。

10. 兄弟打印机被指控封锁第三方墨盒

🔗 tomshardware.com: Brother accused of locking down third-party printer ink cartridges

知名维修博主Louis Rossmann揭露，兄弟打印机通过固件更新禁用第三方墨盒，并阻止彩色设备的颜色校准功能。Rossmann批评此举反消费者，建议用户保持打印机离线并关闭自动更新。他还指出，旧版固件被移除，用户无法回滚。兄弟此举引发广泛不满，被视为对消费者权益的侵害。

11. 特朗普的“加密货币储备”计划：赤裸裸的腐败

🔗 zeteo.com: Trump’s ‘Crypto Reserve’ Is Such Brazen Corruption

特朗普计划用政府资金购买加密货币，建立“战略储备”，此举直接惠及其加密行业盟友和家族成员。此举不仅涉嫌利益输送，还引发市场波动，甚至遭到部分支持者的批评。

12. 美国经济的衰落与未来选择

🔗 geohot.github.io: The Demoralization is just Beginning

本文探讨了美国经济的现状与未来。美元主导的经济模式导致大量虚假就业和金融泡沫，而零利率政策（ZIRP）加剧了这一问题。美国面临两条路：一是成为保护主义区域强国，二是通过全球人才引进和金本位货币改革恢复帝国地位。然而，作者对改革持悲观态度，认为美国尚未彻底觉醒。

13. 管理者是否应该继续写代码？

🔗 theengineeringmanager.substack.com: Should managers still code?

文章探讨了工程管理者是否应在日常工作中编写代码的问题。作者认为，管理者应深入代码，但不一定需要亲自编写代码。管理者应理解代码库、审查设计文档、调试生产问题，并参与代码审查，但编写代码的主要责任应交给团队。在某些情况下，管理者可以安排专门时间编写代码或与团队成员结对编程，但这并非必须。关键在于管理者应专注于团队管理和战略决策，而非成为主要代码实现者。

14. 学习如何破解AES

🔗 davidwong.fr: Learn How to Break AES

本页面旨在教授块密码分析，重点介绍AES加密算法的破解方法。课程分为多个部分，从实现AES开始，逐步引导你掌握攻击技巧。页面由David Wong创建，还推荐了类似的学习资源，如Cryptopals和Microcorruption。适合对密码学感兴趣的初学者。

15. 螃蟹被捕食前的最后一瞥：乌贼的伪装艺术

🔗 nytimes.com: What a crab sees before it gets eaten by a cuttlefish

2023年5月，英国布里斯托大学的海洋视觉生态学家Matteo Santon在印度尼西亚浅海礁石拍摄乌贼捕食过程，试图从猎物视角观察乌贼的捕猎策略。研究发现，乌贼在捕食时展示了四种复杂的伪装模式，如模仿漂浮的树叶或珊瑚，可能通过“欺骗”螃蟹的视觉系统来隐藏自身或伪装成无害的生物。乌贼的皮肤含有色素细胞和肌肉泵，能迅速改变颜色和纹理，使其成为伪装大师。这项研究揭示了乌贼在野外捕食时的复杂行为，此前多在实验室中观察到。

16. Best Buy和Target CEO警告：关税将导致价格上涨

🔗 theverge.com: Best Buy and Target CEOs say prices are about to go up because of tariffs

Best Buy和Target的CEO表示，由于特朗普对墨西哥、加拿大和中国的关税政策，商品价格可能在本周内上涨。Target依赖墨西哥的冬季农产品，而Best Buy的大部分产品来自墨西哥和中国。两家公司预计供应商会将关税成本转嫁给零售商，导致消费者面临价格上涨。特朗普已对加拿大和墨西哥产品征收25%的关税，并对中国产品加征10%的额外税。

17. Chrome强制移除uBlock Origin引发用户不满

🔗 old.reddit.com: uBlock Origin Forcefully Removed by Chrome

近日，uBlock Origin扩展程序被Chrome浏览器强制移除，用户收到提示称该扩展“不再受支持”。尽管Google声称扩展已失效，但用户发现通过开发者工具修改按钮属性仍可重新启用。此举被认为是Google为推广广告收入而采取的措施，引发广泛争议。许多用户批评Google背离了“不作恶”的初衷，并呼吁改用其他浏览器。

18. 我们给电动车充电的方式错了

🔗 spectrum.ieee.org: We’re Charging Our Cars Wrong

当前电动车充电基础设施复杂且昂贵，限制了电动车的普及。快速充电站的成本高达数十万美元，其中隔离电路占了大头。通过消除隔离电路，可以大幅降低成本，提升充电效率，并推动电动车的普及。这一技术已在早期电动车中成功应用，未来有望成为主流。

19. Claude-code 分叉版：支持本地及其他 LLM 提供者

🔗 github.com: Show HN: Fork of Claude-code working with local and other LLM providers

这是一个基于终端的 AI 编程工具，支持任何兼容 OpenAI 风格 API 的模型。它可以帮助修复代码、解释函数功能、运行测试等。使用前需通过 /config 配置，之后即可直接使用。所有遥测数据已移除，使用风险自负。

20. DIY“无限对比度”电视——100%使用回收零件 [视频]

🔗 youtube.com: DIY “infinity contrast” TV – with 100% recycled parts [video]

这段视频展示了如何用100%回收零件制作一台“无限对比度”电视。通过创意设计和环保理念，视频详细介绍了制作过程，强调了可持续性和创新的结合。适合对DIY和环保技术感兴趣的观众。

21. 解决SICP：一个编程学习项目的深度剖析

🔗 lockywolf.wordpress.com: Solving SICP

本文详细记录了作者完成《计算机程序的构造与解释》（SICP）全部习题的过程，耗时729小时19分钟，涉及6种编程语言和9个软件工具。作者通过时间追踪和任务管理，提出了一套高效的学习方法，并分享了源代码和数据分析。该报告不仅为教学提供了参考，还为自学者提供了实用的学习策略。

22. 苹果推出搭载M3芯片的全新iPad Air及Magic Keyboard

🔗 apple.com: Apple introduces iPad Air with powerful M3 chip and new Magic Keyboard

苹果发布了全新iPad Air，搭载M3芯片，性能大幅提升，图形处理能力增强40%，支持动态缓存和光线追踪。新款Magic Keyboard价格更低，功能更强大，配备14键功能行和更大触控板。iPad Air支持Apple Intelligence，提供AI增强功能，如照片清理和图像生成。11英寸和13英寸型号起售价分别为599美元和799美元，教育优惠更低。

23. 检查悖论无处不在（2015）

🔗 allendowney.blogspot.com: The inspection paradox is everywhere (2015)

检查悖论是一种常见的统计现象，可能导致误解或错误，但也可以用于巧妙的实验设计。例如，调查学生班级大小时，大班更容易被抽样，导致学生感知的平均班级大小与学校报告的不同。类似的现象也出现在航班、公共交通、社交网络等领域。例如，友谊悖论指出，大多数人的朋友比他们自己更受欢迎。这种现象在社交网络中尤为明显，拥有更多朋友的人更容易被抽样。检查悖论提醒我们，在统计中要明确测量对象和方法，以避免错误推断。

24. 特斯拉在澳大利亚销量再次暴跌，Model 3下降超81%

🔗 thedriven.io: Tesla electric car sales plunge again in Australia – Model 3 down more than 81 p

根据最新数据，特斯拉在澳大利亚的电动汽车销量在2月份继续大幅下滑，Model Y和Model 3的总销量同比下降71.9%。特斯拉2月仅售出1592辆，远低于去年同期的5665辆。分析认为，销量下滑不仅与库存和消费者等待新款Model Y有关，还受到CEO马斯克支持极右翼政治立场的影响。此外，来自中国品牌如比亚迪的竞争也对特斯拉构成压力。

25. 时间旅行调试AI：让编码更可靠的利器

🔗 nut.new: Show HN: Time travel debugging AI for more reliable vibe coding

通过时间旅行调试AI，开发者可以轻松解决复杂Bug，确保应用正常运行。支持从聊天记录、文件夹或Git仓库导入代码，并提供多种项目示例，如使用React和Tailwind构建待办应用、用Astro创建博客、使用Material UI制作Cookie同意表单，甚至开发简单的HTML/CSS/JS游戏。