1. 间隔重复系统迎来重大升级；
2. 法国成为首个支持联合国开源原则的政府；
3. 用SBERT模型分析《伏尼契手稿》的语言结构；
4. 抛弃Obsidian，我选择自建笔记系统；
5. 30美元自制自动百叶窗开启器；

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

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

1. 间隔重复系统迎来重大升级

🔗 domenic.me: Spaced repetition systems have gotten better

传统间隔重复系统（如SuperMemo-2）依赖固定公式安排复习间隔，效率有限且易受挫。新一代算法FSRS通过机器学习动态预测用户遗忘曲线，优化复习计划：

1. 三组件模型（难度/稳定性/可提取性）个性化调整复习频率；
2. 支持自定义目标记忆率（如90%→70%），显著减少每日复习量；
3. 已整合至Anki等主流工具，实测能降低学习负担并提升长期记忆效果。

对比WaniKani等服务的僵化间隔设置，FSRS展现了算法革新的巨大潜力。

2. 法国成为首个支持联合国开源原则的政府

🔗 social.numerique.gouv.fr: France Endorses UN Open Source Principles

法国宣布支持联合国开源原则，成为全球首个正式采纳该框架的政府。此举旨在推动数字主权和技术透明性，鼓励公共部门采用开源解决方案以增强协作与创新。该决定可能对全球开源生态产生深远影响。

3. 用SBERT模型分析《伏尼契手稿》的语言结构

🔗 github.com: Show HN: I modeled the Voynich Manuscript with SBERT to test for structure

该项目通过SBERT聚类、词性推断和马尔可夫转移矩阵等现代NLP技术，验证了《伏尼契手稿》是否具有真实语言的结构特征。研究发现，手稿中存在功能词与内容词的分化，且不同章节（如植物学、生物学）的语法模式差异显著。作者剥离了常见后缀以突出词根，但强调这一预处理可能影响结果。尽管未破解内容，但分析表明手稿具有系统性构造语言的特征。项目开源，欢迎语言学家和密码学家协作探索。

4. 抛弃Obsidian，我选择自建笔记系统

🔗 amberwilliams.io: Ditching Obsidian and building my own

作者Amber Williams分享了她从Obsidian转向自建个人知识管理系统（PKMS）的历程。她指出商业笔记应用存在隐私风险、高昂订阅费及长期可用性问题，最终选择用开源工具Directus搭建专属系统。该系统以Markdown存储笔记，支持多端同步且无需付费，同时确保数据完全自主控制。她强调，自建方案不仅终结了频繁迁移的困扰，更让知识管理回归本质——高效连接与深度思考。

5. 30美元自制自动百叶窗开启器

🔗 sifter.org: $30 Homebrew Automated Blinds Opener

作者利用周末时间，用闲置零件快速组装了一个低成本自动百叶窗系统。核心设计采用硅胶电机支架（来自废弃冲牙器）降低噪音，通过磁编码器感知扭矩以实现防卡停，整体成本仅30美元（含3D打印部件）。系统以极慢速度（8分钟全开）模拟自然晨光，并通过家庭自动化控制开合度。虽然磁编码方案存在信号不稳定缺陷，但扭矩反馈机制能可靠检测百叶窗极限位置。最终成品运行近乎无声，仅保留百叶窗自身轻微吱嘎声作为运行提示。

6. 高效记忆法宝：间隔重复记忆系统

🔗 notes.andymatuschak.org: Spaced Repetition Memory System

间隔重复记忆系统结合了测试效应与间隔效应，能高效记忆海量信息，甚至培养概念理解。首个消费级应用是SuperMemo，后衍生Anki等工具。系统虽强大，但存在挑战：编写优质记忆提示困难、习惯养成不易，且常被误解仅适用于机械记忆。实际它能深化学习，关键在于建立情感连接与持续更新内容。

7. 硬核Vim训练插件：告别坏习惯，精通移动操作

🔗 github.com: Show HN: Hardtime.nvim – break bad habits and master Vim motions

这是一个名为 hardtime.nvim 的Neovim插件，旨在帮助用户戒除低效操作习惯，并通过强制限制和智能提示掌握高效的Vim移动命令。核心功能包括：阻止短时间内重复按键、提供替代操作提示（如用5j代替连续按j）、生成坏习惯报告。支持自定义禁用按键、文件类型及提示规则，适配Neovim 0.10.0+。默认配置已优化常见场景，例如推荐使用相对跳转和文本对象操作。安装后可通过命令开关插件，日志记录于~/.local/state/nvim/hardtime.nvim.log。

8. Vaev：从零构建的浏览器引擎（已支持渲染Google首页）

🔗 github.com: Show HN: Vaev – A browser engine built from scratch (It renders google.com)

Vaev是一款实验性浏览器引擎，主打轻量快速与安全性，目前支持HTML/XHTML解析、基础CSS渲染（含变量计算与百分比单位）及PDF导出功能。其架构采用模块化设计，依赖LLVM 20等工具链，可通过简单命令本地运行测试。开发者明确标注了当前局限性：仅支持HTTP/File协议、不兼容CSS Grid布局，但已通过WPT标准测试页追踪兼容性进展。项目由四人团队开发，需特定环境配置（如Arch Linux）。

9. 圆梦童年：打造我心中的终极IBM电脑

🔗 fabiensanglard.net: Building my childhood dream PC

作者回忆了14岁时与兄弟共用一台性能不足的Cyrix 486电脑的时光，尤其羡慕邻居的IBM PS/1 2168（价值约6000美元）。2024年，他通过 eBay 购得一台保存完好的同款机型，并详细记录了修复过程：从开箱、安装PC-DOS 7到升级L2缓存和CPU，最终流畅运行《DOOM》。这台机器以可扩展性和经典设计（如顶部提手、机械键盘）著称，展现了IBM的工艺精髓。

10. Chrome侧边栏AI助手：开源浏览器自动化工具

🔗 github.com: Show HN: A web browser agent in your Chrome side panel

BrowserBee 是一款隐私优先的开源Chrome扩展，通过自然语言控制浏览器操作。它结合了LLM指令解析与Playwright自动化工具，支持导航、标签管理、鼠标键盘交互等任务，适用于社交媒体管理、新闻聚合、研究辅助等场景。所有数据仅在本地处理，无需后端，确保安全性。支持Anthropic、OpenAI等主流LLM，提供记忆功能存储常用操作流程以提升效率。用户可自行安装或从源码构建，未来将登陆Chrome应用商店。

11. 苹果信用卡导致iCloud、App Store和Apple ID账户被禁用（2021年）

🔗 dcurt.is: Apple card disabled my iCloud, App Store, and Apple ID accounts (2021)

2021年3月，用户因Apple Card自动付款失败（银行账号变更未更新）触发苹果系统锁定。尽管欠款仅逾期几天，苹果直接禁用其所有关联账户（包括iCloud、App Store和Apple Music），甚至错误关联到不存在的iPhone订单。客服多次推诿，最终耗时多日通过高盛苹果卡部门协调解决。事件暴露苹果对自有支付服务的异常严厉政策，且内部沟通混乱，威胁用户数据安全。账户在申诉一周后恢复。

12. 谷歌Logo连字漏洞

🔗 jefftk.com: Google Logo Ligature Bug

2025年5月17日，Jeffrey Yasskin发现了一个涉及Google Sans字体的安全漏洞：若注册域名googlelogoligature.net，Chrome等谷歌产品会将其显示为“Google.net”，可能诱导用户误认。该问题源于字体中的连字功能（通常用于优化“fi”等组合），但谷歌将其滥用于将特定字符串渲染为品牌Logo。此设计虽便于产品展示，却不应出现在处理用户输入的安全场景中。漏洞非Unicode导致，仅与字体特性相关。

13. 超级富豪有哪些不为人知的消费？

🔗 old.reddit.com: What do wealthy people buy, that ordinary people know nothing about? (2015)

这篇来自Reddit的热门回答揭示了不同财富阶层的消费差异：1000万美元级富豪可享五星级生活但需谨慎理财；1亿美元级拥有私人飞机、岛屿和政商名流社交圈；10亿美元级则能购买顶级资源——从私人音乐会到国家元首会晤。最震撼的是财富带来的时间自由和全球影响力，但作者指出，巨额财富无法换取真挚情感关系。文末用收入比例换算（如兰博基尼相当于普通人花23.5美元）直观展现了富豪的消费视角。

14. 感谢谷歌治好了我的YouTube瘾

🔗 rakhim.exotext.com: Thank you Google for breaking my YouTube addiction

过去几年，谷歌成功让YouTube变得无聊且缺乏吸引力，反而降低了用户成瘾性。早期推荐订阅内容尚可，但算法首页推送曾让人沉迷。如今主页重复推荐相同视频，搜索功能混乱，强行推送无关内容（如看了蜜蜂视频就被打上“蜜蜂爱好者”标签）。这种刻意让平台变得低效的策略，意外实现了“不作恶”的初衷。

15. Roam的衰落与Obsidian的崛起

🔗 every.to: The Fall of Roam (2022)

用户Bryan高度评价了Dan的文章，并指出Obsidian在Roam不足的领域表现出色。他特别推荐结合Nick Milo的“链接思维”笔记法使用该工具，认为这一组合带来了颠覆性改变。虽然语气略带调侃（“暂时如此？”），但整体肯定了Obsidian的当前优势。

16. KDE即将推出原生虚拟机管理器”Karton”

🔗 neowin.net: KDE is finally getting a native virtual machine manager called “Karton”

KDE Plasma用户长期以来依赖virt-manager或GNOME Boxes等工具管理虚拟机，但这些工具与Plasma桌面集成度不足。现在，KDE正在开发基于Qt Quick和Kirigami的原生解决方案Karton，该项目由Google Summer of Code 2025参与者Derek Lin主导，通过libvirt API实现跨平台支持。当前开发重点包括：用libosinfo替代virt-install以精准配置系统镜像、构建自定义SPICE查看器，并计划支持快照、资源监控等高级功能。目标在2025年9月前完成开发，最终提供与KDE生态深度整合的友好界面。

17. 有人能看见，有人却视而不见

🔗 worldhistory.substack.com: “There are people who can see and others who cannot even look”

本文讲述了19世纪法国摄影师纳达尔为众多历史名人拍摄肖像的故事。1862年，日本使团在巴黎首次体验摄影技术，纳达尔为他们留下了珍贵影像。他擅长通过简洁背景突出人物个性，曾为波德莱尔、大仲马、雨果等文化巨匠拍摄传神肖像，甚至记录下莎拉·伯恩哈特的早期风采。纳达尔认为摄影不仅是技术，更是洞察力的体现——”有人能看见，有人却视而不见”。这些照片跨越时空，让后世得以窥见19世纪巴黎文艺圈的鲜活灵魂。

18. Buckaroo：专为Jupyter设计的现代化数据表格工具

🔗 github.com: Show HN: Buckaroo – Data table UI for Notebooks

Buckaroo是一款针对Jupyter笔记本优化的高性能数据表格UI，支持Pandas和Polars等数据框架，提供无限滚动、排序、搜索、统计摘要和直方图等功能。其核心基于AG-Grid，可快速加载数千条数据，并默认固定宽度格式，便于数值对比。此外，Buckaroo还内置自动清洗（Beta）和低代码UI功能，支持自定义样式与扩展分析。兼容Jupyter Lab、VS Code、Marimo等多种环境，安装简单（pip install buckaroo），适合快速数据探索与分析。

19. 加密货币已成终极沼泽资产

🔗 economist.com: Crypto has become the ultimate swamp asset

加密货币行业曾梦想超越政治，如今却与自我交易画上等号。文章以特朗普接受卡塔尔政府赠送波音747为例，指出现代政治中利益冲突频发，但最严重的自我交易行为实则发生在区块链领域——这里承载着数万亿美元的加密货币市场，成为腐败温床的象征。

20. 纸艺机械结构大全

🔗 cutfoldtemplates.com: Paper Mechanisms

本文展示了33种纸艺机械结构，涵盖折叠动画、光学幻觉和工程应用。六边形折纸动画（Hexaflexagon）通过扭转展示连续画面；三浦折叠（Miura-ori）以刚性折痕实现卫星太阳能板收纳；双稳态开关（Bistable mechanism）利用数学不可展性创造纸制触发器。其他亮点包括旋转凸轮、威尼斯盲板显影结构和折纸闪光器（Flasher）在NASA卫星中的应用。这些设计融合几何学、材料科学与互动叙事，兼具功能性与艺术性。

21. K-Scale实验室：开源人形机器人，专为开发者打造

🔗 kscale.dev: K-Scale Labs: Open-source humanoid robots, built for developers

K-Scale实验室推出K-Bot——一款4英尺通用人形机器人，预售价8,999美元起（原价15,999美元）。该产品采用开源设计，旨在为开发者提供灵活的开发平台，支持定制化功能拓展。目前开放预购，适合科研、教育及创新项目应用。

22. 过度类型化的困境：TypeScript 的类型安全取舍

🔗 pscanf.com: Hyper Typing

本文探讨了TypeScript类型系统中严格类型与开发体验的固有矛盾。作者提出“过度类型化”现象：库开发者追求完美类型安全，却导致类型定义过于复杂，引发难懂的报错甚至迫使开发者使用不安全的变通方案（如any）。以TanStack Form为例，其字段元类型含17个泛型参数，虽精准但实用性存疑。

作者主张简化类型或通过类型生成（如Astro框架）平衡安全性与可维护性，认为适度的类型缺陷反而能提升开发效率。

23. 加州个性化车牌申请驳回原因数据集（2020年）

🔗 github.com: California vanity license plate applications with reasons for rejection (2020)

该数据集包含2015-2016年间加州车管局（DMV）收到的23,463份个性化车牌申请，均为需审查委员会复核的案例。数据包含车牌组合、驳回原因代码（如涉及低俗、误导或冒犯性内容）、申请人解释及审核意见。约50条记录因涉及个人信息被隐去。数据来源自458份Excel文件，可能存在少量解析误差。驳回原因涵盖7类，包括性暗示、种族歧视、脏话等违规内容。数据集含大量不雅用语，需谨慎使用。

24. Python实现大卫·多伊奇的“构造时间理论”模拟器

🔗 github.com: Show HN: Python Simulator of David Deutsch’s “Constructor Theory of Time”

这是一个基于Python的构造理论框架实现，模拟了David Deutsch提出的量子引力与电磁学核心概念。项目包含通用构造器，能通过任务列表自举实现自我复制，并演示了不可逆量子任务、相对论时钟校正及粒子耦合（如库仑力、洛伦兹力）。提供ASCII可视化工具和示例脚本，适合教育用途。需Python 3.8+，遵循MIT协议，灵感源于多伊奇2025年论文《构造时间理论》。

25. Sun Enterprise 10000的诞生历程（2007年）

🔗 filibeto.org: How the Sun Enterprise 10000 was born (2007)

一群工程师离开知名企业（多为前NCR员工）在圣地亚哥创业，研发基于Sparc处理器的大规模并行计算机。经历多次并购（包括被Cray收购）后，团队开发出支持动态系统域和交替路径技术的CS6400服务器。后因SGI无意保留该业务，Sun以5000万美元收购团队，并完成其后续产品——Ultra Enterprise 10000（Starfire）。这款服务器凭借卓越的可扩展性（64处理器/64GB内存）和Sun的营销资源大获成功，被Scott McNealy誉为”微软收购DOS后最划算的交易”，首年即创收数十亿美元。