macOS Sequoia 15 可能绕过 DNS 加密
DNS 加密基础知识:当您在浏览器中输入网站地址(如 apple.com)时,您的计算机需要将该名称转换为 IP 地址才能连接。此转换过程称为 DNS 查找。通常,这些查找不会进行加密,这意味着任何监控您的互联网流量的人都可以看到您访问的网站。
Little Snitch 的解决方案: Little Snitch 6 提供了一项新功能:DNS 加密。它设置了一个安全代理来处理所有 DNS 请求,并在发送之前对其进行加密。这可以保护您的浏览隐私。
macOS Sequoia 漏洞: 研究人员在 macOS Sequoia(版本 15)中发现了一个漏洞,其中某些 DNS 请求(尤其是通过较旧的编程接口发出的请求)会绕过 Little Snitch 代理并以未加密的形式发送。
影响:这意味着即使在 Little Snitch 中启用了 DNS 加密,您的某些 DNS 查询仍可能被第三方看到。此漏洞很可能会影响 Little Snitch 以外的其他 DNS 代理。
受影响的应用程序:虽然 Safari 和 Chrome 中的网页浏览似乎不受影响,但 Firefox 似乎受到了该漏洞的影响。
重现漏洞:研究人员提供了使用 Wireshark(一种网络分析工具)和 Xcode 游乐场重现漏洞的步骤。尽管启用了 Little Snitch 的加密,您仍可以看到未加密的 DNS 请求。
错误历史:进一步调查显示,该错误至少从 macOS 14.5 Sonoma 就已经存在,甚至可能是更早的版本。
后续步骤:研究人员已向 Apple 报告了该漏洞,并正在等待未来的 macOS 更新修复。他们将随时向用户通报任何进展。
GraalPy – 适用于 Java 的高性能可嵌入 Python 3 运行时
- • GraalPy:Java 的高性能 Python 运行时
GraalPy 是一款功能强大的工具,可让您直接在 Java 应用程序中运行 Python 代码。它建立在 GraalVM 之上,GraalVM 是一款以速度和效率著称的高性能虚拟机。
- • 主要优点:
- • Python 3 兼容性: GraalPy 支持最新版本的 Python(Python 3),让您可以访问 Python 生态系统中可用的所有现代功能和库。
- • 超快的性能: GraalVM 的即时 (JIT) 编译器优化了您的 Python 代码以实现本机执行,与传统的 Python 解释器相比,其性能明显更快。
- • 无缝 Java 集成: GraalPy 可以轻松弥合 Python 和 Java 之间的差距。您可以从 Java 代码调用 Python 函数,反之亦然,从而让您能够充分利用两种语言的优势。
- • 入门:
- • 添加 GraalPy 作为依赖项: 使用 Maven 或其他依赖项管理工具将必要的 GraalPy 库包含在 Java 项目中包含。
- • 嵌入 Python 代码: 使用 GraalVM Polyglot API 在 Java 应用程序中创建上下文并执行 Python 代码。
- • 使用插件扩展功能:
GraalPy 支持插件,允许您轻松地将其他 Python 包(如 NumPy、SciPy 或 Matplotlib)直接安装到您的 Java 环境中。
- • 从 Jython 迁移:
如果您目前正在使用 Jython(在 Java 中运行 Python 的另一种方式),GraalPy 提供了一条顺畅的迁移路径,具有更高的性能并可以访问现代 Python 功能。
- • 数据科学强国:
GraalPy 释放了 Python 丰富的数据科学库的潜力,供您在 Java 应用程序中使用。这意味着您可以直接从 Java 代码执行复杂的数据分析、机器学习任务和科学计算。
Rga:Ripgrep,还可在 PDF、电子书、Office 文档、zip 等中搜索
- • rga:增强的搜索功能: rga 在 ripgrep 强大的文本搜索功能的基础上,扩展了其功能以涵盖更广泛的文件格式,包括 PDF、电子书、Office 文档、zip 档案、tar.gz 文件等。
- • 用于支持文件格式的适配器系统: rga 使用模块化“适配器”系统来处理不同的文件类型。适配器负责从特定文件格式中提取文本内容。您可以使用标志自定义 rga 使用的适配器及其优先级顺序
--rga-adapters。 - • 智能缓存机制: 为了优化性能,如果文件足够小,rga 会缓存从文件中提取的文本。此缓存存储在系统特定目录中的数据库中(例如 Linux 上的 ~/.cache/ripgrep-all)。您可以使用标志完全禁用缓存
--rga-no-cache。 - • 配置和定制: rga 允许通过 JSONC 文件进行配置,使您能够微调设置,例如:
- • 缓存数据的压缩级别 (
--rga-cache-compression-level) - • 存档文件的最大递归深度(
--rga-max-archive-recursion) - • 要缓存的文本块的最大大小 (
--rga-cache-max-blob-len) - • 缓存数据库的路径 (
--rga-cache-path)
- • 缓存数据的压缩级别 (
- • 高级选项和帮助: rga 提供了一套全面的命令行选项,包括:
- •
-h/--help:显示简明的帮助信息。 - •
--rga-list-adapters:列出所有可用的适配器。 - •
--rga-print-config-schema:打印配置文件的 JSON 模式。
- •
- • 与 ripgrep 集成: 大多数选项直接传递给 ripgrep,允许您利用其强大的搜索语法和功能(例如,正则表达式、模式匹配)。
- • 开发与调试:
- • 通过设置环境变量启用调试日志记录:
export RUST_LOG=debug和export RUST_BACKTRACE=1。 - • 禁用缓存(
--rga-no-cache)或清除缓存以在调试期间隔离适配器问题。
- • 通过设置环境变量启用调试日志记录:
- • Nix 和 Direnv 支持: rga 提供了一个
flake.nix使用 Nix 管理构建和运行时依赖项的文件。您可以使用 direnv 在进入项目目录时自动加载环境变量。
Open Scanner,一款适用于 iPhone 的开源文档扫描应用程序
- • Open Scanner:一款免费的开源文档扫描应用程序
- • 该应用程序专为 iPhone 用户设计,允许他们扫描收据、笔记和教科书等文件。
- • 扫描结果保存在内置库中,并在所有设备上同步。
- • 主要特点:
- • 免费且无广告: Open Scanner 永远免费使用,无广告、应用内购买或订阅。
- • 开源(MIT 许可证): 源代码公开可用,任何人都可以审核、修改或重新发布。用户甚至可以在自己的 iPhone 上运行自己的私有版本应用程序。
- • 权限:
- • 相机: 扫描文件所需。
- • 位置(可选): 如果获得批准,位置数据将被添加到扫描中。
- • 数据收集: 有关数据收集实践的详细信息,请参阅 Open Scanner 的隐私政策。
- • 开发细节:
- • 用 Swift 编写并使用 SwiftUI 构建。
- • 使用 Core Data 进行本地存储并使用 CloudKit 进行同步。
- • 支持iOS 16.0+和visionOS 1.2+。
- • **贡献:**该项目欢迎以问题或拉取请求形式的贡献。
- • 版本控制: GitHub 上的发布版本与 App Store 上可用的版本相对应。
WonderWorld:通过单幅图像生成交互式 3D 场景
- • **问题:**现有的从图像生成 3D 场景的方法很慢,因为它们通常需要多个视图(深度图)和大量的优化。
- • **WonderWorld 的解决方案:**引入快速分层高斯面元 (FLAGS) 作为一种新颖的场景表示。
- • 单视图生成: FLAGS 只需一张图像即可生成 3D 场景,无需多个视点。
- • 基于几何的初始化: FLAGS 利用初始几何估计,与从头开始的方法(如 NeRF 和 Gaussian Splatting)相比,显著加快了优化速度。
- • 创建连贯的场景: WonderWorld 使用“引导深度扩散”来部分调节深度估计,确保生成的场景无缝连接。
- • **实时交互:**系统在单个 A6000 GPU 上不到 10 秒即可生成连通且多样的 3D 场景,让用户能够以交互方式探索和修改虚拟世界。
- • 用户可以通过文本输入指定场景内容(对象、风格)。
- • 摄像机的移动决定了新场景的生成位置。
- • 主要优势: WonderWorld 使用户能够以前所未有的速度和灵活性创建和探索虚拟环境。
高斯为何想在自己的墓碑上刻上十七边形

挑战:几个世纪以来,数学家们一直在努力解决仅使用圆规和直尺来构造正多边形(边和角相等的形状)的问题。这是古希腊几何学中的一个基本问题。
高斯的突破: 卡尔·弗里德里希·高斯在年轻时就取得了重大突破。他不仅弄清楚了如何构造某些正多边形,还确定了哪些正多边形是无法使用此方法构造的。
方程式:虽然文章没有深入探讨高斯方程的具体内容,但它强调了其复杂性,以此证明高斯的奉献精神和数学实力。
可构造多边形:高斯充分描述了哪些正多边形可以用圆规和直尺构造。这意味着他确定了一种模式或规则,可以确定哪些多边形可以仅使用这些工具构建。
旺泽尔(Wantzel)的证明: 皮埃尔旺泽尔(Pierre Wantzel)后来提供了严格的数学证明,证实高斯的刻画是完整的,并且没有遗漏任何可构造的多边形。
不可能的多边形:高斯和旺泽尔证明,某些正多边形,如七边形(7 条边)和十一边形(11 条边),不可能仅使用圆规和直尺构造。这解决了数学界的长期争论。
高斯的愿望:高斯对自己的成就感到无比自豪,据说他希望在自己的墓碑上刻上一个十七边形(17 条边)。虽然这并没有实现,但他出生地的一座纪念碑上刻有一颗 17 角星,以纪念他的成就。