1. 亚马逊的AI爬虫让我的Git服务器不稳定；
2. Show HN: 交互式 systemd – 更高效管理 systemd 单元的工具；
3. VS Code 宠物；
4. TikTok在美国下架；
5. 为什么蜜蜂蜇人后会死亡？；

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

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

1. 亚马逊的AI爬虫让我的Git服务器不稳定

🔗 xeiaso.net: Amazon’s AI crawler is making my Git server unstable

作者因亚马逊的AI爬虫频繁访问其Git服务器，导致服务器不稳定。尽管尝试通过Nginx配置和robots.txt文件阻止爬虫，但爬虫仍通过不同IP和伪装用户代理持续访问。作者无奈将服务器移至VPN后，并计划开发反向代理以应对未来类似问题。最后，作者呼吁亚马逊停止对其服务器的爬取，否则将被迫关闭公开访问。

2. Show HN: 交互式 systemd – 更高效管理 systemd 单元的工具

🔗 isd-project.github.io: Show HN: Interactive systemd – a better way to work with systemd units

isd 是一个 TUI 工具，旨在简化 systemd 单元的管理。它提供模糊搜索、自动刷新预览、智能 sudo 处理以及高度可定制的界面，适合新手和高级用户。通过 isd，用户可以轻松搜索、查看状态、执行命令并自定义主题，提升工作效率。支持通过 AppImage、nix 或 uv 安装，适合不同环境需求。

3. VS Code 宠物

🔗 github.com: VS Code Pets

VS Code Pets 是一款为 VS Code 添加可爱宠物的扩展，包括猫、狗、蛇、橡皮鸭和 Clippy 等。这些宠物旨在提升编程时的乐趣和生产力。用户可通过 VS Code 市场安装，支持多种语言翻译，动画由多位设计师贡献。扩展已获得 2.3k 星标，适用于 Hacktoberfest 等开发者活动。

4. TikTok在美国下架

🔗 techcrunch.com: TikTok goes dark in the US

由于美国联邦法律禁止TikTok，这款流行的短视频应用在美国暂时下架。用户收到通知称，TikTok因法律禁令暂时无法使用。尽管拜登政府未明确表态，但特朗普表示将与TikTok合作寻找解决方案。TikTok的母公司字节跳动面临出售或禁令的选择，原因是中国潜在监控和宣传的担忧。目前，TikTok已从应用商店下架，未来命运取决于新政府。

5. 为什么蜜蜂蜇人后会死亡？

🔗 subanima.org: Why do bees die when they sting you?

蜜蜂蜇人后死亡的原因是倒钩刺。蜜蜂的刺带有倒钩，蜇人后刺会留在皮肤中，导致蜜蜂的内脏被撕裂。这种机制虽然对蜜蜂致命，但能更有效地将毒液注入目标。从进化角度看，工蜂是不育的，它们的牺牲保护了蜂群和蜂后，符合群体选择理论。

6. 卡尔曼滤波教程

🔗 kalmanfilter.net: Kalman Filter Tutorial

本教程旨在通过直观解释和数值示例，简化卡尔曼滤波的学习过程。卡尔曼滤波是一种用于在不确定性中估计和预测系统状态的强大工具，广泛应用于目标跟踪、导航和控制等领域。教程分为四部分，从基础到高级，涵盖单变量和多变量卡尔曼滤波，以及非线性滤波和传感器融合等实用指南。

7. AMD Radeon Instinct MI300A 的巨大内存子系统

🔗 chipsandcheese.com: The AMD Radeon Instinct MI300A’s Giant Memory Subsystem

AMD 的 Radeon Instinct MI300A 是一款集成了 24 个 Zen 4 核心 和 228 个 GPU 计算单元 的巨型 APU，采用 Infinity Fabric 互连技术。其内存子系统包含 256 MB Infinity Cache 和 5.3 TB/s 的 HBM3 带宽，但高延迟可能影响 CPU 性能。MI300A 的设计旨在为高性能计算和 AI 提供强大的集成图形处理能力。

8. 谷歌搜索开始要求启用JavaScript

🔗 techcrunch.com: Google begins requiring JavaScript for Google Search

谷歌宣布，用户需启用JavaScript才能使用谷歌搜索。此举旨在防止恶意活动（如机器人和垃圾信息）并提升搜索体验。尽管大多数网站已使用JavaScript，但此举可能影响依赖无障碍工具的用户。此外，JavaScript存在安全漏洞，且可能限制第三方工具获取搜索趋势数据。

9. Windows BitLocker – 无需螺丝刀的破解

🔗 neodyme.io: Windows BitLocker – Screwed Without a Screwdriver

Windows BitLocker 的默认设备加密配置存在一个名为 bitpixie 的漏洞，攻击者无需拆解设备即可提取磁盘加密密钥。该漏洞利用 PXE 软重启 流程，通过降级引导加载程序，绕过 Secure Boot 和 TPM 保护，获取 VMK 密钥并解密磁盘。尽管微软已修复该漏洞，但由于 Secure Boot 的设计缺陷，攻击者仍可通过旧版引导加载程序进行利用。

10. 丰田普锐斯改变了汽车行业

🔗 spectrum.ieee.org: The Toyota Prius transformed the auto industry

1997年推出的第一代丰田普锐斯是首款大规模生产的混合动力电动汽车，结合了内燃机和电动机。这一创新不仅推动了环保技术的发展，还对整个汽车行业产生了深远影响，成为IEEE里程碑之一。

11. Dusa编程语言（有限选择逻辑编程）

🔗 dusa.rocks: Dusa Programming Language (Finite-Choice Logic Programming)

Dusa是由Rob Simmons和Chris Martens设计的逻辑编程语言，是有限选择逻辑编程的首个实现。它结合了Datalog和答案集编程的特点，适合用于图探索。Dusa可通过网页编辑器、命令行工具或JavaScript API使用，适合对逻辑编程感兴趣的开发者。

12. o1 不是聊天模型（这才是重点）

🔗 latent.space: O1 isn’t a chat model (and that’s the point)

o1 并非传统聊天模型，而是一个报告生成器。用户需提供大量上下文，明确目标，而非逐步对话。o1 擅长一次性生成完整文件、解释复杂概念及医学诊断，但在特定风格写作和构建完整应用方面表现不佳。延迟是其用户体验的关键挑战，未来可能催生高延迟背景智能产品。

13. 诚实的艾哈迈德 (2011)

🔗 bugzilla.mozilla.org: Honest Ahmed (2011)

这是一个关于请求将“诚实的艾哈迈德的二手车和证书”的根证书添加到Mozilla的CA证书根程序中的讨论。艾哈迈德声称他的业务计划是通过快速销售大量证书来实现“大到不能倒”的目标，从而绕过严格的审计要求。尽管他的申请未能满足Mozilla的CA证书包含政策的多项要求，但讨论中不乏幽默和讽刺，反映了对现有CA系统的不满和质疑。最终，该请求被标记为“已解决”且“无效”。

14. Unix拼写检查器如何在64kB内存中运行

🔗 blog.codingconfessions.com: How Unix spell ran in 64kb RAM

在1970年代，Unix工程师Douglas McIlroy面临将250kB字典压缩至64kB内存的挑战。他通过词干提取算法将字典缩减至25,000个词，并使用Bloom过滤器进行快速查找。随着字典增长，他采用哈希压缩技术，利用几何分布和Golomb编码，最终将每个词压缩至13.60比特，接近理论最小值13.57比特。这一创新展示了在严格资源限制下的工程智慧。

15. Perplexity AI 提交与 TikTok 合并的竞标

🔗 techcrunch.com: Perplexity AI submits bid to merge with TikTok

随着美国对 TikTok 的禁令迫在眉睫，Perplexity AI 成为最新一家希望为 TikTok 提供新归属的竞标者。Perplexity 提议与 TikTok 美国业务合并，成立新实体，并允许字节跳动的大部分投资者保留股权。此举旨在为 Perplexity 的 AI 搜索引擎引入更多视频内容。尽管字节跳动多次表示无意出售 TikTok，Perplexity 希望通过合并而非出售的方式克服这一障碍。

16. Skymont：英特尔E核迈向新高度

🔗 chipsandcheese.com: Skymont: Intel’s E-Cores reach for the Sky

英特尔最新移动芯片Lunar Lake中，Skymont架构取代了Meteor Lake的Crestmont，成为新一代E核。Skymont不仅提升了多线程性能，还优化了低功耗背景任务处理。其八宽乱序执行引擎和改进的分支预测使其在能效和性能上显著超越前代，展示了英特尔在笔记本市场的持续竞争力。

17. 基于规则的互动小说编程

🔗 eblong.com: Rule-Based Programming in Interactive Fiction

本文探讨了Inform 7这一互动小说创作工具中的基于规则的编程模型。与传统面向对象编程不同，Inform 7通过规则书（rulebooks）管理游戏逻辑，允许开发者定义条件驱动的行为。这种模型避免了传统OOP中的重复代码问题，提供了更灵活的解决方案，尤其适用于复杂的互动小说场景。

18. WASM GC 尚未准备好用于实时图形

🔗 dthompson.us: WASM GC isn’t ready for realtime graphics

WASM GC 是一项强大的功能，现已支持所有主流浏览器，允许托管内存语言利用浏览器引擎中的垃圾回收机制。然而，WASM GC 在处理实时图形时存在显著性能问题，尤其是二进制数据操作的低效性。与线性内存相比，WASM GC 的堆对象对宿主不透明，导致数据访问和操作需要大量额外开销。尽管有一些临时解决方案，但这些问题仍需社区进一步优化和解决。

19. ATProto与身份所有权

🔗 anirudh.fi: ATProto and the ownership of identity

ATProto通过个人数据服务器（PDS）和基于域的身份，解决了身份所有权和数据所有权的问题。用户可以在不同应用中使用相同的身份，避免了传统联邦宇宙（Fediverse）中的互操作性问题。这种分离还使应用层能够成为可盈利的服务，吸引了早期风投的兴趣。ATProto为新型社交应用铺平了道路，未来前景广阔。

20. 大规模Matrix部署将无法使用Synapse社区版

🔗 mastodon.matrix.org: Nation-scale Matrix deployments will fail using the community version of Synapse

使用Mastodon网页应用需启用JavaScript，或尝试平台原生应用。Synapse社区版不支持大规模Matrix部署，可能导致失败。建议使用其他解决方案或升级版本。