OpenAI员工称其首次人工智能安全测试“失败” (www.washingtonpost.com)
OpenAI员工透露，公司为赶在5月份发布GPT-4 Omni，迫使安全团队压缩了安全测试流程，导致测试结果不尽如人意。此举引发了外界对OpenAI将商业利益置于公众安全之上的质疑，以及对白宫依赖科技公司自我监管来保障人工智能安全性的担忧。
eCapture：无需CA证书即可捕获 SSL/TLS 明文 (github.com)
eCapture 是一款使用 eBPF 技术，无需 CA 证书即可捕获 SSL/TLS 明文的工具。它支持 Linux/Android x86_64 4.18 及以上、aarch64 5.5 及以上内核版本，但不支持 Windows 和 macOS 系统。eCapture 提供多种功能，包括捕获 OpenSSL、GnuTLS、NSPR、BoringSSL 和 GoTLS 等加密库的明文，以及对 Bash、MySQL 和 PostgreSQL 应用进行软件审计。
HuggingFace 如何利用去中心化 DevRel 模式实现开源机器学习社区的快速增长 (dx.tips)
本文是对 HuggingFace 首席 Llama 官 Omar Sanseviero 的采访，探讨了 HuggingFace 如何利用去中心化 DevRel 模式实现开源机器学习社区的快速增长。Omar 介绍了 HuggingFace 的社区中心化文化，以及他们如何通过优先考虑社区成员、提供计算资源和资金支持以及维护开源库来培育社区。他还分享了 HuggingFace DevRel 团队的独特之处，包括注重工程、去中心化运作以及强调速度和影响。文章还探讨了 HuggingFace 如何选择投资方向，以及 Omar 对未来机器学习领域发展的一些看法。
薇薇安·迈尔：隐秘保姆，世纪街头摄影大师 (www.smithsonianmag.com)
/https%3A%2F%2Ftf-cmsv2-smithsonianmag-media.s3.amazonaws.com%2Ffiler_public%2F40%2Ff8%2F40f8d7c6-c15a-49ee-93ba-3ec35fe732de%2Fself-portrait_new_york_ny_1954.jpg)
薇薇安·迈尔是一位保姆，她用相机秘密记录了20世纪中叶的美国街头景象。她一生拍摄了超过15万张照片，却很少示人。直到2007年，她去世后，这些照片才被拍卖，并迅速引起轰动。迈尔也因此被认为是20世纪最伟大的街头摄影师之一。
RCL类型系统解析，第二部分：类型系统 (ruudvanasseldonk.com)
本文详细介绍了配置语言RCL的类型系统。RCL类型系统基于格理论，支持子类型关系，相同的值可以有多种类型。类型推断是自底向上、前向进行的，并采用了一种广义的子类型检查来处理渐进类型。文章还讨论了RCL类型系统与其他配置语言的区别，以及其在处理记录类型和大型代码库方面的局限性。
GraphRAG 分析，第一部分：索引如何提升知识图谱在 RAG 中的表现 (aiencoder.substack.com)
本文分析了知识图谱在 RAG 中的作用，发现知识图谱对上下文检索的影响并不大，所有知识图谱 RAG 方法的上下文相关性得分与 FAISS 相似。然而，使用 Neo4j 及其索引可以显著提高答案相关性和置信度，这突出了有效索引对于 RAG 应用中精确和准确的内容检索的重要性。
GitHub - vshymanskyy/ViperIDE：适用于 Web 和移动设备的创新 MicroPython IDE (github.com)
ViperIDE 是一款无需安装，开箱即用的创新 MicroPython IDE，适用于 Web 和移动设备。它具备 mpremote、ampy、rshell 等工具的大部分功能，并提供多种连接方式，支持 Windows、MacOS、Linux、Android、iOS 和 Chromebook 等平台。ViperIDE 还提供语法高亮、文件管理、包管理、终端、REPL 等功能，并针对不同设备进行了优化。
物理学家提出超光速粒子与狭义相对论可以相容 (phys.org)
华沙大学和牛津大学的物理学家们在一篇论文中指出，超光速粒子（也称快子）的存在与狭义相对论并不矛盾。他们认为，要计算涉及快子的量子过程的概率，不仅需要知道其过去的初始状态，还需要知道其未来的最终状态。这种对过去和未来状态的混合导致了一种新型量子纠缠的出现，这种纠缠在传统的粒子理论中是不存在的。
Strat-Observer | 全球平流层光学地球观测 (intelligence.airbus.com)
Strat-Observer 是一种新型的全球平流层地球观测服务，它采用嵌入式光学有效载荷，可以搭载在任何类型的高空平台站（HAPS）上，如 Zephyr 和气球。它可以提供长达数月的持久观测，并能实时传输高分辨率图像和视频。Strat-Observer 可用于多个领域，包括国防、海事、安全和环境监测等，为用户提供持续的地理信息和情报。
使用 qpdf 和 AppleScript 删除 PDF 密码保护 (www.sheshbabu.com)
文章介绍了如何使用 qpdf 和 AppleScript 删除 PDF 文件的密码保护。作者推荐使用 qpdf 工具，并提供了使用 macOS Automator 从 Finder 调用该工具的方法，以及详细的 AppleScript 代码，方便用户解密 PDF 文件。
GitHub - nate-parrott/ball (github.com)
这是一款名为“Ball”的趣味 macOS 应用，它是一个可以在 Dock 中弹跳的小球。你可以拖动它，它会在屏幕上弹跳。你也可以用两根手指滑动它。它可以弹跳、撞击角落，你可以尝试让它弹跳多次，数一数它撞击墙壁的次数等等。
MIT 机器人先驱 Rodney Brooks 认为人们正在过度高估生成式 AI (techcrunch.com)
麻省理工学院机器人学先驱 Rodney Brooks 认为人们正在过度高估生成式 AI 的能力。他指出，虽然生成式 AI 能完成特定任务，但它无法像人类一样进行推理和泛化。人们往往过高估计了 AI 的能力，并试图将其用于不切实际的应用场景。Brooks 认为，成功的 AI 应用应该专注于解决特定问题，而不是试图模仿人类的全部能力。
Trunk：构建、打包并将您的 Rust WASM 应用程序发布到 Web (trunkrs.dev)
Trunk 是一个用于 Rust 的 WASM Web 应用程序打包器。它使用简单、可选配置的模式，通过源 HTML 文件构建和打包 WASM、JS 代码片段和其他资源（图像、CSS、SCSS）。Trunk 会自动下载和管理所有必需的工具，如 wasm-bindgen 和 wasm-opt，简化了开发流程。
Quartz：Go 语言的时间测试库 (coder.com)
本文介绍了 Quartz，这是一个用于 Go 语言的确定性时间测试库。Quartz 通过模拟查询或依赖于时间的调用，解决了测试依赖时间的代码时遇到的可重复性、确定性和速度问题。文章详细介绍了 Quartz 如何解决测试过程中出现的竞争条件以及如何处理复杂的依赖时间场景。最后，文章还强调了 Quartz 的设计原则，即测试代码应易于理解，并且时间应该以单调和确定的顺序推进。
新型 SnailLoad 攻击利用网络延迟监视用户网络活动 (thehackernews.com)
来自格拉茨技术大学的安全研究人员展示了一种名为 SnailLoad 的新型侧信道攻击，该攻击可用于远程推断用户的网络活动。SnailLoad 攻击利用所有互联网连接上存在的网络延迟瓶颈，通过诱骗目标从攻击者控制的服务器加载文件、图像或广告等内容，进而利用受害者的网络延迟作为侧通道来确定受害者系统上的在线活动。
GitHub - dotenvx/dotenvx：一个更好的 dotenv - 来自 `dotenv` 的创建者 (github.com)
dotenvx 是一个跨平台的多环境加密环境变量管理工具，由 dotenv 的创建者开发。它允许你在各种编程语言和框架中使用 .env 文件，并提供了加密功能以保护敏感信息。dotenvx 还支持多个环境，可以轻松地在开发、测试和生产环境之间切换。
SSH，我们通用的访问协议 (utcc.utoronto.ca)
这篇文章探讨了SSH作为一种通用的外部访问协议在大学环境中的应用。作者指出，尽管SSH存在安全风险，但在大学环境中，由于人员流动性大，需要从各种设备远程访问系统，SSH成为了最佳选择。与VPN等其他远程访问方式相比，SSH的优势在于其广泛的兼容性和易用性，几乎所有设备和网络环境都支持SSH。
OpenAI 推出更便宜的“迷你”AI模型 (www.wired.com)
面对市场上大量竞争模型的涌现，OpenAI 推出了一款更便宜的“迷你”AI模型 GPT-4o mini，其价格比 OpenAI 现有的最便宜模型低 60%，但性能更高。此举是为了让 AI 更广泛地普及，也是为了应对 AI 云提供商之间日益激烈的竞争，以及人们对小型和免费开源 AI 模型不断增长的兴趣。
约翰内斯·哈特利布的《草药书》(1462) (publicdomainreview.org)
本文介绍了约翰内斯·哈特利布在1462年编写的《草药书》。这本书以插图的形式详细介绍了各种草药的药用价值，是德国印刷史上的第一本全插图草药书。书中不仅包含了对草药的描述，还记录了动物药用价值以及一些民间的治疗方法，展现了中世纪医学和植物学的魅力。
末日准备：是反应性行为还是遗传本能？ (seattleanxiety.com)
本文探讨了“末日准备”现象，分析了其背后的社会、历史和心理因素。文章指出，新冠疫情的爆发以及近年来频发的自然灾害，使得人们对未来不确定性的焦虑感加剧，从而促使更多人开始进行末日准备。文章还回顾了人类历史上储存食物以应对危机的悠久传统，并从生命史理论、本能理论等角度探讨了末日准备行为背后的深层动机。
Pyxel：Python复古游戏引擎 (github.com)
Pyxel是一款受复古游戏机启发而开发的Python游戏引擎。它提供简洁的API，支持16色调色板、256x256分辨率、图像库、tilemaps、声音通道和音乐等功能，便于开发者创作像素风格的游戏。Pyxel支持Windows、Mac、Linux和Web平台，并提供图像和声音编辑器、示例代码以及资源创建和应用分发的指南。
Cloudflare 状态 - 间歇性连接问题 (www.cloudflarestatus.com)
Cloudflare 正在调查美国东部和西欧出现的间歇性连接问题，该问题影响 Cloudflare 网站和服务（网络）， Cloudflare 正在努力解决该问题。
追蹤 SAT 求解器中的错误 (ochagavia.nl)
本文讲述了作者参与 Prefix.dev 开发 resolvo（一种基于 SAT 的依赖解析器）并修复 bug 的经历。作者首先介绍了 bug 的背景，即求解器在遇到预期无法到达的代码时意外崩溃。之后，作者详细描述了他是如何利用 GitHub 用户 sumanth-manchala 提供的最小可复现示例和单元测试来调试和修复 bug 的。最后，作者反思了更好的调试工具的必要性，并表示 resolvo 的内部逻辑已经比较完善，未来出现 bug 的可能性较小。
德州建筑公司对SpaceX提起大量留置权 (www.theregister.com)
自2019年以来，超过20家建筑公司和供应商针对SpaceX及其承包商，在德克萨斯州提起了至少72项留置权，总额至少达250万美元。这些债务涉及SpaceX在德州进行火箭制造设施和住房扩张项目中，拖欠企业的款项。尽管有些留置权已经得到解决，但仍有许多小企业和供应商抱怨SpaceX拖欠款项，并表示不愿与其再次合作。
您的一站式出版工作台 | Zettlr (www.zettlr.com)
Zettlr 是一款免费开源的写作软件，它能帮助你从最初的想法到最终出版的整个写作过程中保持专注和高效。它支持多种参考管理器、导出格式和自定义选项，并提供强大的功能，例如 Zettelkasten 方法支持，以满足您的各种写作需求，无论您是写博客文章、学术论文还是书籍。
IntelliJ平台JetBrains GitHub插件安全更新 (blog.jetbrains.com)
JetBrains修复了一个影响IntelliJ平台JetBrains GitHub插件的安全漏洞，该漏洞可能导致第三方网站的访问令牌泄露。此问题影响从2023.1版本开始启用了JetBrains GitHub插件并进行了配置/正在使用的所有基于IntelliJ的IDE。官方强烈建议用户更新到IDE的最新版本，并撤销任何由该插件使用的GitHub令牌。