1. 高精度时钟Mk IV开发全记录；
2. 《分析学I的简明Lean指南》；
3. 用组合工具暴力拦截爬虫；
4. 渐进式JSON：优化数据传输的新思路；
5. Oniux：为任意Linux应用提供内核级Tor隔离；

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

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

1. 高精度时钟Mk IV开发全记录

🔗 mitxela.com: Precision Clock Mk IV

本文详细介绍了Precision Clock Mk IV的设计与开发过程。这款时钟具备毫秒级精度，采用双处理器架构和创新的四线铰链设计，实现无闪烁显示与自动时区调整。核心亮点包括：通过GPS驯服确保长期稳定性，TCXO振荡器保障断电后的时间保持，以及可折叠铰链满足不同显示需求。开发中克服了芯片短缺、显示同步等挑战，最终打造出一款集高精度、低干扰与用户友好性于一体的时钟。

2. 《分析学I的简明Lean指南》

🔗 terrytao.wordpress.com: A Lean companion to Analysis I

该内容来自WordPress博客，作者为Ben Eastaugh和Chris Sternal-Johnson。文章聚焦于Lean定理证明工具在数学分析基础课程（如分析学I）中的应用，旨在为学习者提供实用辅助。通过结合形式化验证与经典理论，帮助读者更高效地掌握核心概念与证明技巧。

3. 用组合工具暴力拦截爬虫

🔗 lambdacreate.com: Using lots of little tools to aggressively reject the bots

作者的小型服务器突然遭到大量爬虫（如Amazon、Facebook、OpenAI的机器人）的疯狂抓取，导致资源耗尽。通过分析日志工具lnav和goaccess，发现这些爬虫以伪造用户代理的方式批量请求数据。作者通过Nginx配置直接屏蔽已知恶意代理，并配合Fail2Ban对频繁触发403的IP实施24小时封禁，最终成功抵御攻击。文中强调，这些抓取行为并非为了内容消费，而是为训练AI模型，对小型服务器造成极大负担。

4. 渐进式JSON：优化数据传输的新思路

🔗 overreacted.io: Progressive JSON

本文提出渐进式JSON的概念，灵感来自渐进式JPEG。传统JSON传输需等待全部数据到达才能解析，而流式JSON解析器虽能处理不完整数据，但会导致结构不完整。作者提出广度优先的传输方式：先发送框架（含占位符），再分批填充数据，客户端用Promise表示未加载部分。这种方法允许并行处理数据，尤其适合慢速查询场景。最后以React服务端组件为例，说明如何结合<Suspense>实现优雅的渐进式UI加载。

5. Oniux：为任意Linux应用提供内核级Tor隔离

🔗 blog.torproject.org: Oniux: Kernel-level Tor isolation for any Linux app

Oniux是一款基于Linux命名空间的命令行工具，通过内核级隔离确保应用流量强制经过Tor网络，杜绝代理配置错误或系统调用导致的数据泄露。其核心原理是将目标应用放入独立网络命名空间，仅开放定制接口onion0，相比传统方案torsocks（依赖动态链接库劫持），Oniux能覆盖静态二进制文件且彻底阻断恶意流量泄漏。当前支持通过Rust安装，可隔离命令行或图形应用，但作为实验性项目，仍需社区测试完善。底层依赖Arti和onionmasq，采用Rust编写，强调隐私关键场景的可靠性。

6. 马斯克削减美国援助资金致30万人死亡 逾20万为儿童

🔗 thetimes.com: Doge cuts to USAid blamed for 300k deaths – most of them children

波士顿大学全球健康教授布鲁克·尼科尔斯的模型显示，埃隆·马斯克领导的美国政府效率部（Doge）大幅削减美国国际开发署（USAid）预算，导致全球每3分钟1人死亡，累计30万（其中20万儿童）因可预防疾病（腹泻、肺炎、营养不良）及中断的艾滋病防治项目丧生。特朗普政府冻结90%援助资金后，尼科尔斯创建实时追踪网站揭露影响，但国务卿卢比奥否认数据。马斯克称USAid为“极左心理战组织”，但被迫承认部分分析错误。学者警告若资金不恢复，艾滋病死亡人数将翻三倍。

7. 穿孔卡片密钥备份工具：pckb

🔗 github.com: Show HN: PunchCard Key Backup

该项目提供了一种将128位数据（如加密密钥）通过穿孔卡片形式备份到物理介质（如铝板）的方法。用户只需访问自包含的HTML工具（链接），生成打孔模板，并使用常见工具（冲头、钻头等）制作实体备份。恢复时，通过相同工具或手动二进制转换即可还原数据。

关键点：

1. 无需依赖软件：数据可完全离线处理，HTML工具无外部依赖。
2. 低成本材料：仅需铝板、打孔工具等常见物品。
3. 灵活扩展：支持通过加密工具（如age/GPG）备份更长数据，仅需保存128位密钥。

项目开源（CC BY 4协议），适合实验或安全备份需求。

8. YOLO-World：实时开放词汇目标检测新突破

🔗 arxiv.org: YOLO-World: Real-Time Open-Vocabulary Object Detection

该研究提出YOLO-World，通过视觉-语言建模和大规模数据集预训练，赋予YOLO系列检测器开放词汇识别能力。创新点包括可重参数化的视觉-语言路径聚合网络（RepVL-PAN）和区域-文本对比损失，显著提升零样本检测效率。在LVIS数据集上达到35.4 AP（52 FPS/V100），兼顾速度与精度，并在下游任务（如开放词汇实例分割）中表现优异。代码模型已开源。

9. 我改用UTC时区后，生活彻底改变了

🔗 timestripe.com: My five-year experiment with UTC

程序员Adam Arutyunov因厌倦时区混乱，五年前将所有设备设为协调世界时（UTC）。最初需脑内转换时间，但两周后，他的大脑能自动关联UTC与本地时间，甚至轻松处理多时区切换。UTC的稳定性尤其适合频繁出差或远程工作者，避免因时区变化导致的日程混乱。唯一缺点是需适应12小时制与24小时制的转换。Adam认为这一改变大幅提升了效率，并建议他人尝试。

10. AI同行评审员：多智能体系统助力学术论文分析

🔗 github.com: Show HN: AI Peer Reviewer – Multiagent system for scientific manuscript analysis

这款工具通过多AI评审员为学术论文提供全面反馈，涵盖方法论、清晰度和影响力等关键维度。用户可快速获得详细建议（分钟级响应），无需漫长等待，还能利用先进AI识别潜在改进点，显著提升投稿前的论文质量。

11. CCD共同发明者乔治·E·史密斯逝世，享年95岁

🔗 nytimes.com: CCD co-inventor George E. Smith dies at 95

乔治·E·史密斯（George E. Smith）是电荷耦合器件（CCD）的共同发明者，这一技术彻底改变了数码成像领域。他与威拉德·博伊尔共同获得了2009年诺贝尔物理学奖。史密斯于95岁去世，他的贡献为现代相机、医学成像和天文观测奠定了基础。CCD技术至今仍是许多关键应用的核心。

12. 四大聊天机器人应用的第三方追踪与开发工具分析

🔗 jamesoclaire.com: The Trackers and SDKs in ChatGPT, Claude, Grok and Perplexity

通过逆向工程和流量分析，发现OpenAI、Perplexity、Anthropic和Grok的安卓应用广泛使用第三方SDK。开发工具以Kotlin为主，商业工具涵盖Google、Firebase、Statsig等，涉及分析、支付（如RevenueCat）和语音服务（如LiveKit）。Perplexity独特整合了MapBox和Shopify，而OpenAI依赖多种分析平台。数据流向透明度有限，部分功能可能通过API实现。

13. 核电站投资风险最高，太阳能最低

🔗 bu.edu: Investment Risk Is Highest for Nuclear Power Plants, Lowest for Solar

波士顿大学全球可持续发展研究所最新研究发现，全球超60%的能源基建项目存在预算超支问题。核电站表现最差，平均成本超支达102.5%（超预期15.6亿美元），工期延误严重。氢能、碳捕获等新兴技术同样风险较高。相比之下，太阳能和电网项目成本控制最佳，风电场也表现优异。研究强调，可再生能源不仅环保，还能降低财务风险。该分析涵盖83国662个项目（总投资1.358万亿美元），为全球能源规划提供了关键风险参考。

14. 科幻场景中的NFS 4冷冻舱间隔技术

🔗 kolektiva.social: The NFS 4 Freezer Spacer In Science Fiction Sets

该文本提到使用Mastodon网页应用需启用JavaScript，或可下载平台对应的原生应用。关键点在于技术实现方式的选择，但主要内容缺失，可能为片段或提示性说明。冷冻舱间隔技术作为科幻设定元素未展开描述，推测与存储或休眠系统相关。

15. 新型自适应光学技术揭示太阳大气层精细结构

🔗 nso.edu: New adaptive optics shows details of our star’s atmosphere

科学家利用新型自适应光学系统Cona，成功消除了地球大气湍流造成的图像模糊，拍摄到迄今最清晰的太阳日冕层高清影像。该系统安装在1.6米古德太阳望远镜上，以每秒2200次的速度调整镜面，分辨率达63公里，首次捕捉到宽度不足20公里的日冕雨、等离子体流动态及耀斑精细结构。这一突破性技术将助力研究日冕加热机制与空间天气，未来还将应用于4米丹尼尔·井上太阳望远镜，开启太阳物理学新纪元。研究成果发表于《自然·天文学》。

16. 用ed(1)作为我的静态网站生成器

🔗 aartaka.me: Using Ed(1) as My Static Site Generator

作者Artyom Bologov分享了他用ed文本编辑器替代传统静态网站生成器的实验。他经历了从Lisp引擎、C预处理器到ed的多次技术转换，最终通过ed脚本实现多格式内容生成（支持5种格式）。优势包括语法自由、兼容旧格式及规避特殊字符问题；局限在于缺乏文件包含功能及版本差异带来的调试难题。尽管承认这是“古怪选择”，他仍推荐爱好者尝试这种极简而有趣的方案。全文贯穿对技术边界的探索精神。

17. RenderFormer：基于Transformer的三角形网格全局光照神经渲染

🔗 microsoft.github.io: RenderFormer: Neural rendering of triangle meshes with global illumination

RenderFormer是一种端到端神经渲染管线，可直接从三角形网格场景生成包含全局光照效果的图像，且无需针对每个场景进行训练或微调。该方法将渲染视为序列到序列的转换，通过Transformer架构分两阶段处理：先建模三角形间的光传输（视角无关），再转换光线束为像素值（视角相关）。实验展示了多种光照、材质和几何复杂度的场景渲染效果，支持动态演示与物理模拟动画。

18. 秘密知识宝典：开发者与运维者的终极资源库

🔗 github.com: The Book of Secret Knowledge

这是一份涵盖Linux、安全、DevOps等领域的综合资源合集，包含实用清单、手册、速查表、博客、命令行工具等。项目采用MIT许可，社区活跃（17.1万星标），适合系统管理员、渗透测试员和开发者。内容按主题分类，如网络工具（nmap、curl）、SSL检测（OpenSSL）、调试工具（strace）等，强调高质量与易用性。鼓励贡献，遵循简洁、实用的原则。

19. 得州警察动用8.3万摄像头追踪堕胎女性

🔗 eff.org: She Got an Abortion. So a Texas Cop Used 83,000 Cameras to Track Her Down

美国得州一名警察利用8.3万个车牌识别摄像头（ALPR）跨州追踪一名涉嫌自行堕胎的女性，搜查范围包括华盛顿州和伊利诺伊州等堕胎合法地区。此案暴露了大规模监控系统被滥用于生殖健康管控，且数据共享缺乏监管。电子前线基金会（EFF）警告，车牌识别技术正从追查犯罪工具演变为侵犯公民自由的帮凶，甚至可能被反堕胎组织利用。各州需立法限制数据共享，遏制监控越权。

20. 发现网站字体神器：Fontofweb

🔗 fontofweb.com: Show HN: Fontofweb – Discover Fonts Used on a Website or Websites Using Font(s)

Fontofweb 是一个帮助用户快速识别并收藏网站所用字体的工具。目前已收录 457 种字体，分析过 288 个网站，拥有 128 名注册用户。每日推荐一款字体（如5月31日的 Cirka），并提供字体设计者及使用该字体的网站列表（如 bettershotz.com 等）。支持按字体搜索网站，或反向查询网站字体组合，适合设计师和开发者高效获取灵感。

21. Sguaba：为工程师设计的防误用刚体变换工具

🔗 blog.helsing.ai: Sguaba: Hard-to-misuse rigid body transforms for engineers

Sguaba是一个基于Rust的库，旨在解决坐标系统转换中的常见错误。它通过强类型系统确保不同坐标系（如WGS84、NED、FRD）和表示方式（笛卡尔坐标、球坐标等）不会混淆，从而避免灾难性错误。该工具面向工程师而非数学家，提供了直观的类型（如Coordinate、Pose）和安全的转换操作（如RigidBodyTransform）。示例展示了如何将飞行员的观测数据从FRD转换为WGS84坐标。Sguaba已开源，目前支持部分坐标系，未来计划扩展更多功能。

22. 1974年的钚动力心脏起搏器

🔗 orau.org: Plutonium Powered Pacemaker (From 1974)

该文介绍了1974年生产的钚动力心脏起搏器，其通过钚-238衰变产生的热能发电（半衰期88年），为心跳异常患者提供持续电力。起搏器采用钛金属外壳，可抵御枪击或火化等极端情况，表面辐射剂量为5-15毫雷姆/小时。美国曾有3家公司生产此类设备，目前（2003年）仍有50-100名使用者，去世后需移除并回收钚材料。捐赠方为洛斯阿拉莫斯国家实验室。

23. 域的两种理想

🔗 susam.net: The Two Ideals of Fields

本文探讨了域的理想结构及其与交换环的关系。域只有两个理想：零理想（仅含加法单位元）和自身，称为平凡理想。反之，若一个含单位元的交换环（且加法与乘法单位元不同）仅有平凡理想，则它必为域。这一对称性揭示了域与理想结构的深刻联系，并通过环的乘法逆元存在性加以证明。

24. “丢工作给AI：被算法取代的劳动者们”

🔗 theguardian.com: ‘just put it in ChatGPT’: the workers who lost their jobs to AI

本文讲述了多位因AI技术失业的从业者经历：波兰记者抗议电台用AI虚拟主播取代真人，印尼插画师因Midjourney抄袭作品收入锐减，英国文案被ChatGPT抢走园艺博客工作，美国配音演员发现声音被AI盗用，而英国设计师因公司全面采用AI遭解雇。他们共同指出：AI缺乏人类的情感与创造力，且当前法律对AI滥用缺乏监管，呼吁重视技术伦理与劳动者权益。

25. 为何本科计算机课程抄袭屡禁不止（2018）

🔗 kevinchen.co: Why we still can’t stop plagiarism in undergraduate computer science (2018)

本文揭示了本科计算机课程中抄袭现象普遍却难以根治的困境。作者以助教经历指出，尽管检测工具（如MOSS）能发现大量抄袭案例（每学期20-40起），但处理成本高昂（耗时、学生抵赖、行政不作为）和缺乏激励机制（教师因差评或晋升压力选择忽视）导致问题持续。抄袭的核心诱因在于学生面临“高收益（省时高分）零风险”的扭曲激励。解决方案需从统一课程政策、优化检测工具和校方支持入手，但当前仍任重道远。