1. Mistral OCR：全球领先的文档理解API；
2. Revolt：开源的 Discord 替代品；
3. 简洁数据结构：高效存储与查询的新思路；
4. 动漫迷意外发现数学证明；
5. CodeTracer：基于Nim和Rust实现的时间旅行调试器；

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

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

1. Mistral OCR：全球领先的文档理解API

🔗 mistral.ai: Mistral OCR

Mistral OCR 是一款革命性的光学字符识别（OCR）API，能够以前所未有的准确性解析复杂文档中的文本、图像、表格和数学公式。它支持多语言、多模态输入，处理速度极快，适用于科学文献、历史档案和客户服务等多种场景。Mistral OCR 还提供自托管选项，确保敏感数据的安全性。现已开放试用，助力企业将文档转化为可操作的知识。

2. Revolt：开源的 Discord 替代品

🔗 revolt.chat: Revolt: Open-Source Alternative to Discord

Revolt 是一款开源的聊天平台，提供文本频道、图片分享、用户提及和网页链接等功能。它支持精细权限和机器人集成，完全可自定义且免费。Revolt 注重隐私，无广告和追踪器，符合 GDPR 标准。支持下一代私信和群组功能，操作简单，适合构建社区。

3. 简洁数据结构：高效存储与查询的新思路

🔗 blog.startifact.com: Succinct Data Structures

简洁数据结构是一种紧凑存储数据的方式，同时保留了数据的可操作性。与压缩不同，简洁数据结构允许在不解压的情况下直接访问数据。文章介绍了rank/select位向量、小波矩阵和FM索引等核心结构，展示了它们在文本处理、生物信息学等领域的应用。作者还探讨了如何在Rust中实现这些结构，并分享了相关库的使用体验。

4. 动漫迷意外发现数学证明

🔗 scientificamerican.com: Anime fans stumbled upon a mathematical proof

2011年，一位匿名用户在4chan上提出了一个关于动漫《凉宫春日的忧郁》的数学问题：如何以最少的观看次数覆盖14集的所有排列组合。这一问题与超级排列相关，数学家们至今未能完全解决。令人惊讶的是，一位匿名用户通过一种数学家未曾想到的方法，给出了最小观看次数的估计。2018年，数学家们重新发现了这一成果，并将其正式记录在数学文献中，作者署名为“匿名4chan用户”。这一发现为超级排列问题提供了新的思路，尽管完全解决仍是一个巨大的挑战。

5. CodeTracer：基于Nim和Rust实现的时间旅行调试器

🔗 github.com: Show HN: CodeTracer – A new time-traveling debugger implemented in Nim and Rust

CodeTracer是一款用户友好的时间旅行调试器，支持多种编程语言。它通过记录程序执行生成可共享的跟踪文件，允许用户在GUI中前后浏览执行历史，并检查所有内存位置的变化。与传统调试器相比，CodeTracer提供了强大的回溯功能，能够快速定位难以复现的Bug。目前支持Noir语言，未来将扩展为全面的Web3开发工具包，并支持更多智能合约和零知识编程语言。

6. 自动标记政客在直播中使用手机的行为

🔗 driesdepoorter.be: Automatically tagging politician when they use their phone on the livestreams

该项目利用AI技术和面部识别，自动检测比利时弗拉芒政府每日直播中政客使用手机的行为。软件通过Python编写，结合机器学习识别手机和政客身份，并将相关视频发布到Twitter和Instagram，标记相关政客。自2021年7月5日起运行，无直播时还会检查历史视频。

7. 芬兰通过“住房优先”政策成功减少无家可归者

🔗 thebetter.news: Finland applies the “Housing First” concept (2020)

芬兰通过实施“住房优先”政策，显著减少了无家可归者数量。该政策为无家可归者提供住房和咨询，无需任何前提条件。自2008年实施以来，已有4600套住房提供给无家可归者，80%的人能够长期保持住房并过上稳定生活。该政策不仅改善了无家可归者的生活，还比接受无家可归现象更经济。芬兰是欧盟唯一一个无家可归人数下降的国家。

8. NASA关闭旅行者号科学仪器以延长任务寿命

🔗 gizmodo.com: NASA Shuts Off Voyager Science Instrument

NASA宣布关闭旅行者1号和旅行者2号上的部分科学仪器，以节省电力并延长任务寿命。旅行者1号的宇宙射线子系统已于2月25日关闭，旅行者2号的低能带电粒子仪器将于3月24日关闭。这两艘探测器已运行47年，目前仅剩3台仪器工作。通过节能措施，NASA希望将任务延续至2030年代。

9. 可微分逻辑元胞自动机

🔗 google-research.github.io: Differentiable Logic Cellular Automata

本文探讨了一种结合可微分逻辑门网络与神经元胞自动机的新方法，旨在通过梯度下降学习局部规则，生成复杂模式。该方法保留了元胞自动机的离散特性，同时引入了神经网络的灵活性，为可编程物质和自组织计算系统提供了新的可能性。

10. 别再发推特长文，写博客吧！

🔗 kevquirk.com: Forget Twitter threads and write a blog post instead (2021)

作者批评了推特上流行的长文推文（Twitter Threads），认为这种形式缺乏上下文，且不适合发布长内容。他建议创作者改用博客，因为博客能提供更连贯的阅读体验，并有助于内容去中心化。尽管有些人可能不熟悉如何搭建博客，但作者认为这并不复杂，且能带来更多读者。

11. AMD发布开源3B语言模型“Instella”

🔗 phoronix.com: AMD Announces “Instella” Open-Source 3B Language Models

AMD宣布推出Instella，这是一款完全开源的3B参数语言模型。该模型基于AMD Instinct MI300X GPU训练，性能可与Llama 3.2 3B等模型媲美。AMD开源了模型权重、训练参数、数据集和代码，旨在推动AI社区的创新与合作。开发者可通过GitHub访问Instella。

12. 科学家揭示阿司匹林如何阻止癌症扩散

🔗 bbc.com: Scientists crack how aspirin might stop cancers from spreading

剑桥大学的科学家发现，阿司匹林通过增强免疫系统的能力来阻止癌症扩散。研究表明，阿司匹林能够抑制血小板对T细胞的抑制作用，从而使T细胞更有效地攻击扩散的癌细胞。这一发现为早期癌症患者提供了潜在的治疗方向，但仍需进一步临床试验验证其安全性和适用范围。

13. 使用GRPO在“时间线索”中超越o1、o3-mini和R1

🔗 openpipe.ai: Using GRPO to Beat o1, o3-mini and R1 at “Temporal Clue”

本文介绍了如何通过GRPO（组相对策略优化）方法，在推理成本降低100倍的情况下，使Qwen 14B和32B模型在逻辑推理游戏“时间线索”中超越OpenAI的o1、o3-mini和DeepSeek的R1模型，并接近Anthropic的Sonnet 3.7表现。通过强化学习和精心设计的训练流程，模型在推理任务中表现出色，展示了开源模型在复杂推理任务中的潜力。

14. Rayhunter – 用于检测Orbic移动热点上伪基站的Rust工具

🔗 github.com: Rayhunter – Rust tool to detect cell site simulators on an orbic mobile hotspot

Rayhunter是一款基于Rust的工具，旨在检测Orbic RC400L移动热点上的伪基站（IMSI Catcher）。该工具提供了一个Web界面，用户可以通过Wi-Fi或USB连接设备进行控制，支持启动/停止记录、下载捕获数据以及查看分析结果。目前仅支持Linux平台，需手动安装并配置ADB工具。注意：此工具为概念验证，不适用于高风险场景。

15. 1984年文件系统的重大突破：BSD快速文件系统

🔗 blog.koehntopp.info: 50 Years in Filesystems: 1984

1984年，BSD Unix推出了快速文件系统（FFS），旨在解决传统Unix文件系统的性能瓶颈。FFS通过柱面组优化文件布局，减少碎片化，并引入大块存储和尾部打包技术，提升I/O效率。FFS还改进了目录布局策略，确保同一目录下的文件存储在一起，同时支持更大的文件系统和更长的文件名。这些创新为现代文件系统奠定了基础。

16. 英国政府悄然删除加密建议

🔗 techcrunch.com: UK quietly scrubs encryption advice from government websites

英国政府近日从其官方网站上删除了关于加密的建议，此前几周曾要求苹果公司为其iCloud服务提供后门访问权限。安全专家Alec Muffett发现，英国国家网络安全中心（NCSC）不再建议高风险个人使用加密工具保护敏感信息。此前，NCSC曾建议使用苹果的高级数据保护（ADP）功能，但现在相关文档已被删除，转而推荐使用苹果的锁定模式。苹果已停止在英国提供ADP功能，并正在挑战英国政府的数据访问命令。

17. 揭露俄罗斯黑客冒充EFF的Stealc和Pyramid C2攻击内幕

🔗 hunt.io: Exposing Russian EFF Impersonators: The Inside Story on Stealc and Pyramid C2

近期，一个冒充电子前沿基金会（EFF）的黑客组织针对《Albion Online》玩家发起攻击，通过伪造的PDF文件诱骗用户下载恶意软件。攻击者使用Stealc窃取器和Pyramid C2框架，窃取玩家账户信息。分析发现，攻击者通过共享SSH密钥连接了多个服务器，且代码中包含俄语注释，暗示其与俄罗斯有关。

18. 如何在不引发证书错误的情况下撤销对CA的信任

🔗 dadrian.io: How to distrust a CA without any certificate errors

撤销对证书颁发机构（CA）的信任意味着将其从根证书库中移除，导致其颁发的证书被视为无效。如今，由于证书透明度（CT）的引入，大多数撤销行为不再是因为密钥泄露，而是由于CA反复违反基线要求（BRs）。通过SCTNotAfter机制，可以实施前瞻性撤销，允许现有证书继续有效，同时阻止未来颁发的新证书。这种方法避免了用户遇到证书错误，提升了安全性和用户体验。

19. 为什么我对扩散模型感兴趣？

🔗 rnikhil.com: Why I find diffusion models interesting?

扩散模型（dLLM）通过同时生成文本的各个部分，而非传统的从左到右预测，展现出独特优势。Inception Labs 发布的 dLLM 在代码生成上超越了类似规模的 LLM，并声称在速度和效率上有 5-10 倍的提升。dLLM 减少了幻觉问题，能够先生成并验证关键部分，再继续生成其余内容，适用于客服聊天机器人等场景。此外，dLLM 可能改善多步代理工作流，避免陷入循环，提升规划和自我修正能力。

20. Shelgon：用 Rust 构建交互式 REPL 终端的框架

🔗 github.com: Show HN: Shelgon: A Framework for Building Interactive REPL Shells in Rust

Shelgon 是一个基于 Rust 的框架，用于构建交互式 REPL（读取-求值-输出循环）应用和自定义终端。它提供了类型安全的命令执行、异步运行时集成（基于 tokio）、丰富的终端 UI（使用 ratatui）以及多行输入处理等功能。开发者可以轻松定义命令执行逻辑、维护上下文状态，并支持智能补全。适用于需要高性能、可定制终端的场景。

21. Warewulf：无状态、无盘容器操作系统集群部署系统

🔗 github.com: Warewulf is a stateless and diskless container OS provisioning system

Warewulf 是一个专为高性能计算（HPC）集群设计的无状态、网络引导的集群部署系统。它支持大规模裸金属和虚拟系统的容器化操作系统部署，适用于需要高效管理和扩展的集群环境。Warewulf 提供了文档、下载、社区支持和许可证信息，帮助用户快速上手和部署。

22. Atlassian宣布Opsgenie停止支持

🔗 atlassian.com: Atlassian announces end of support for Opsgenie

Atlassian宣布将Opsgenie的功能完全整合到其平台中，以更好地服务客户。从2025年6月4日起，Opsgenie将停止销售，2027年4月5日将完全停止支持。客户可选择迁移至Jira Service Management或Compass，Atlassian将提供个性化迁移工具支持。

23. Rust向量与四元数库

🔗 github.com: Show HN: Rust Vector and Quaternion Lib

这是一个用于矩阵、向量和四元数操作的Rust库，支持f32和f64数据类型。适用于计算机图形学、机器人学、生物力学、航空航天等领域。库支持no_std环境，适合嵌入式开发，并提供二进制编码和GPU数据传输功能。示例代码展示了向量和四元数的基本操作，如归一化、点积、叉积和旋转。

24. 孟加拉国工厂转向监控与自动化，工人压力倍增

🔗 restofworld.org: Bangladesh’s factories turn to surveillance, automation; workers feel pressure

孟加拉国达卡的服装工厂正通过自动化和智能监控设备提高生产效率，但这也导致大量工人失业，尤其是女性。Nidle等设备实时监控工人效率，增加了工作压力。尽管工厂主称自动化提高了工资，但工人和工会表示，工资增长源于抗议而非技术进步。自动化还加剧了性别不平等，女性工人因无法适应高速机器而被迫离职。

25. 关于1670调制解调器奇怪噪音的更多思考

🔗 rachelbythebay.com: More thoughts on the 1670 modem’s weird noises

作者最近使用两台VIC-20电脑和1670调制解调器进行连接实验，发现调制解调器在拨号模式下会发出奇怪的噪音。这些噪音并非脉冲拨号，而是调制解调器在等待应答音时产生的“pa-tink”声。作者推测这些噪音可能来自本地扬声器，而非线路传输。尽管这些噪音对实际使用没有影响，但它们仍然是技术爱好者心中的一个小谜团。