每日HackerNews RSS

萨姆·戈德开发了“lidanglesensor”,一个适用于配备显示屏角度传感器的MacBook的实用工具(该传感器于2019年16英寸MacBook Pro中首次亮相),用于显示显示屏的角度,并可选择在调整时播放嘎吱声。 该工具目前在较新的MacBook上运行效果最佳(特别是,最初是在M4 MacBook Pro上测试的),但已知与M1型号存在问题。遇到问题的用户可以运行脚本并报告输出。尚未在iMac上进行测试。 戈德“出于乐趣”创建了这个实用工具,并欢迎贡献。他承认存在一些小问题——开发者显示为“Lisa”,原因是童年时期的帐户设置,音频不够完美,并且构建该工具需要Xcode。可以通过Homebrew进行安装。更多信息和贡献请访问[https://samhenri.gold](https://samhenri.gold)。

一个允许用户通过软件读取MacBook屏幕开合角度的项目(github.com/samhenrigold)在Hacker News上再次引发讨论。该作者公开表示正在寻找纽约或远程的设计师/设计工程师的全职工作,这导致一些人批评其重复发布的行为是求职策略。 许多评论者质疑该项目为何能持续登上首页,一些人认为Mac用户喜欢重新掌控他们的硬件。另一些人指出,社区通过投票决定了什么受欢迎。 除了争论之外,用户还分享了相关项目——利用环境光传感器实现类似功能,用该代码构建的Pong控制器,以及演示该概念的视频。一位用户抱怨较新的M1 MacBook Pro缺乏支持。讨论也偏离了主题,涉及测角学和量角器。

## BUILD 文件:不仅仅是依赖列表 对 Bazel 的一个常见批评是,它的 `BUILD` 文件是多余的,仅仅是镜像了代码中已有的导入语句。然而,这种观点忽略了它们的真正潜力。`BUILD` 文件并非关于*复制*依赖关系,而是关于*定义*项目的依赖关系图,与代码层面的细节分离。 这允许对模块关系进行显式控制——识别架构违规(例如意外的依赖关系),而这些违规是单独的导入语句无法揭示的。“精简”的 `BUILD` 文件,专注于概念性目标而不是镜像目录结构,至关重要。虽然这可能需要偶尔调整构建性能,但它鼓励更好的模块化。 Bazel 的可见性规则进一步增强了这一点,强制限制哪些模块可以依赖其他模块,从而触发对未经授权的依赖关系的错误,并促使必要的架构讨论。 最终,维护良好的 `BUILD` 文件不仅有利于人类理解,还为 AI 驱动的代码分析和工具提供了更清晰、更有结构的基石,从而能够更有效地推理代码库。它们将重点从文件级别的依赖关系转移到更高层次、由架构驱动的视图。

## 构建文件与软件架构:摘要 这次Hacker News讨论围绕一篇博客文章展开,该文章认为**构建文件(如Bazel使用的那些)是明确表示软件项目架构的宝贵工具。** 核心思想是在组织代码于语言原生结构(包、模块等)*之前*,于构建文件中定义依赖关系,从而构建更清晰、更易维护的系统。 争论的焦点在于:架构应该从代码中自然涌现,还是主动定义? 许多评论者同意,通过构建系统强制架构约束是有益的,*尤其*是在大型项目和团队中,可以防止“依赖腐烂”并使系统更易于理解。 然而,也有人认为,特定于语言的工具和静态分析已经足够,而过于细化的构建文件可能会变得繁琐并减慢开发速度。 一个关键点是,当原生语言工具不足以强制执行架构边界时,构建文件会变得最有用。 讨论还涉及在明确的依赖定义与可读性之间取得平衡,以及避免将代码过度分解为微小的构建目标的重要性。 最终,文章提倡使用构建文件来*记录*和*强制执行*架构决策,而不是让它们隐式地出现。

## Redis 安全漏洞 – 关键远程代码执行风险 Redis 中发现了一个关键安全漏洞 (CVE-2025-49844),可能允许经过身份验证的攻击者通过 Lua 使用后释放问题执行远程代码。该漏洞的 CVSS 评分为 10.0。 **为了保护您的 Redis 实例:** 限制网络访问,强制实施强身份验证(启用保护模式),并限制用户权限 – 尤其是在 Lua 脚本方面。 **修复方案:** Redis Cloud 已自动更新。自管 Redis 软件、社区版 (CE)、开源版 (OSS) 和 Stack 的用户必须升级到以下版本或更高版本: * **软件:** 7.22.2-12, 7.8.6-207, 7.4.6-272, 7.2.4-138, 6.4.2-131 * **OSS/CE/Stack:** 8.2.2, 8.0.4, 7.4.6, 7.2.11, Stack 7.4.0-v7, 7.2.0-v19 目前,尚无证据表明该漏洞已被利用,但建议监控未经授权的访问、异常网络流量、意外的脚本活动和服务器崩溃。 该漏洞由 Wiz、Trend Micro 和 Zero Day Initiative 的研究人员负责任地报告。

Redis 存在一个潜在的远程代码执行漏洞 (CVE-2025-49844),源于使用后释放问题。虽然今天早些时候已经在 Hacker News 上讨论过,但该漏洞需要经过身份验证的用户才能利用,这降低了许多标准 Redis 安装的风险。 解决方法包括升级到安全版本,或者更简单地通过 Redis ACL 禁用 Lua 脚本执行——对于不使用 Lua 引擎的许多用户来说,这是一个可行的选择。然而,一些评论员指出 Lua 脚本是 Redis 的一项强大功能。 值得注意的是,Shodan 数据显示有超过 52,000 个 Redis 实例可公开访问。人们对 Upstash 等服务的使用者是否了解此漏洞表示担忧,但 Upstash 使用专有实现,并未直接受到影响。此漏洞凸显了内存安全编程语言的优势。

## Devpush:Vercel & Netlify 的自托管替代方案 Devpush 是一个开源、可自托管的平台,用于构建和部署 Web 应用程序(Python、Node.js、PHP 等,通过 Docker)。它提供零停机部署、实时日志、团队管理和可定制环境等功能—— 类似于 Vercel、Render 和 Netlify 等服务,但具有自托管控制权。 主要功能包括:从 GitHub 进行基于 Git 的部署,并可即时回滚;支持自定义域名和自动 Let's Encrypt SSL;以及强大的环境管理和加密变量。 **安装:** Devpush 官方支持 Ubuntu/Debian 服务器,可以通过一个简单的脚本安装:`curl -fsSL https://raw.githubusercontent.com/hunvreus/devpush/main/scripts/prod/install.sh | sudo bash`。还提供 Hetzner 预置脚本,方便服务器设置。 **配置:** 需要一个包含电子邮件凭据、GitHub App 详细信息和域名等的 `.env` 文件。需要使用特定权限设置 GitHub App 进行身份验证。项目 GitHub 仓库提供了详细的文档以及开发和生产环境的脚本。

## 函数式光学:图形总结 本文介绍函数式光学——一个经常被实现细节掩盖的强大概念——使用可视化的图形符号来简化理解。类型表示为彩色矩形,值表示为矩形内的水平线。 关键概念是通过**积**(并排的矩形)和**和**(堆叠的矩形)组合类型来构建的。**光学元件**定义为选择另一个矩形(类型)*内部*的一种方式,表示为`Optic A B`。光学元件具有良好的组合性,形成一个数学范畴。 特定的光学元件类型包括:**Isos**(选择整个矩形,实现双向转换)、**Lenses**(垂直切片,允许聚焦更新)和**Prisms**(水平切片,通过`Maybe`处理可选值)。每种光学元件都有相关的函数,如`view`和`set`,用于访问和修改数据。 此外,**Affine Traversals** 结合 Lenses 和 Prisms 来定位单个内部矩形,而 **Traversals** 选择*多个*子矩形。 图形化方法旨在揭示光学元件的神秘面纱,突出它们的组合性和关系,并为探索更高级的概念提供基础。它提供了一种具体的方式来掌握这些强大的数据操作工具的核心思想。

## 蒙德里安与函数式光学:摘要 最近的 Hacker News 讨论围绕一篇博客文章展开,该文章使用皮特·蒙德里安的艺术作为视觉类比,介绍了“函数式光学”。其核心思想借鉴了光学中的透镜和棱镜等概念,来表示在函数式编程中聚焦和操作数据结构一部分的方式。 虽然“光学”术语可能显得抽象,但它提供了一种强大的方法来访问和修改深度嵌套的不可变数据,而无需冗长、重复的代码。例如,更新对象多个层级中的特定字段会变得更简洁、更易于管理。 对话强调这并非关于*物理*光学,而是一种数学和范畴论的类比。用户分享了对蒙德里安艺术动机的见解——对现实主义的拒绝和对普遍真理的追求——并讨论了函数式光学的实际价值。有些人认为它对于复杂的数据操作(特别是使用不可变数据)非常有价值,而另一些人则质疑如果简单的记录更新就足够了,它的必要性。最终,实用性取决于编程任务的复杂程度以及程序员对函数式原理的熟悉程度。

## 2025年诺贝尔物理学奖:量子效应于人类尺度 约翰·克拉克、米歇尔·德沃雷和约翰·马蒂尼斯因证明量子力学——传统上在亚原子层面观察到——可以在宏观系统中观察到而荣获2025年诺贝尔物理学奖。他们于1980年代进行的实验利用超导电路展示了两种关键的量子现象:**量子隧穿**和**能量量子化**。 他们构建了一个电路,电流在绝缘屏障中无电阻流动。令人惊讶的是,整个系统表现得像一个单一的量子粒子, “隧穿”穿过屏障——尽管经典物理学认为它缺乏足够的能量,却出现在另一侧。 此外,他们证明该系统仅以特定的离散量吸收或释放能量,从而证实了能量量子化。 这一突破扩展了我们对量子力学的理解,超越了单个粒子,展示了这些效应在一个包含数十亿库珀对的系统中。 他们的工作对开发新的量子技术(包括量子计算机)具有影响,并为量子物理学的奇特世界与我们的日常经验之间提供了一个切实的联系。 它本质上创造了一个可扩展的“人工原子”以供进一步实验。

## 2025年诺贝尔物理学奖摘要 2025年诺贝尔物理学奖授予了在宏观系统中展示量子效应的成果——具体而言,是在相对较大的电路中观察到量子隧穿现象。这项成就扩展了可以直接观察到量子力学的范围,而量子力学传统上是在原子层面观察到的。 这项工作建立在数十年的研究基础上,其根源在于研究人员在加州大学伯克利分校、NIST和巴黎-萨克雷大学等机构的任职经历。虽然没有揭示全新的“物理学”,但该奖项认可了一项重要的实验壮举,并验证了在先前未经测试的领域中的理论预测。 评论员的讨论强调了所涉及的工程挑战、对量子计算的潜在影响,以及关于量子世界和经典世界之间界限的持续争论。一些人还注意到两位获奖者在谷歌共事期间的过去专业关系,暗示了在研究方向上可能存在内部冲突。该奖项强调了理论进步*和*创新实验设计在推动物理学边界方面的重要性。

## 消费 Microformats 2 数据:摘要 Microformats 2 (MF2) 正在个人网站上用于标记数据,从而实现更丰富的网络应用程序。要利用这些数据,您需要一个解析器——适用于 Python、JavaScript 和 Ruby 等语言——将 MF2 标记转换为标准化的 JSON 格式。如果您的语言没有解析器,可以选择使用命令行工具或在线解析器,甚至编写自己的解析器。 解析时,请记住处理重定向以查找“有效 URL”并正确解析相对 URL。将原始 HTML 与派生数据一起存储,以便将来利用解析器改进进行更新。 MF2 结构涉及嵌套的“mf 结构”,通过它们的 `type`(例如,h-card、h-entry)来识别。 属性中的数据可以是纯文本、嵌入式 HTML、图像,甚至是嵌套结构。 始终考虑这些变化,并使用函数可靠地提取纯文本或 HTML 值。 除了解析之外,请了解用于诸如作者归属之类的任务的常见“算法”,并注意词汇的细微差别。至关重要的是,**清理和验证**所有传入数据以防止安全漏洞。 最后,由于 MF2 的灵活性,使用实际示例进行彻底测试至关重要。 Indieweb 社区提供资源和支持,用于构建 MF2 感知应用程序。

## 微格式:来自网页过去的浪潮 一篇Hacker News讨论重提了微格式,这是21世纪初尝试向网页添加数据丰富语义的一次尝试。最初受到Dan Cederholm等设计师的欢迎,其想法是使用语义化HTML来构建数据,作为W3C基于XML的更复杂方法的替代方案。 虽然语义化HTML的原则仍然相关,但微格式从未获得广泛应用。当前的讨论强调,诸如RDFa、JSON-LD和Schema.org(搜索引擎用于生成丰富结果)等技术变得更加突出。 对话还涉及了LLM的作用,一些人认为RDF可能对合成数据生成有用。然而,另一些人认为LLM更适合在数据转换为文本*之后*进行处理,而不是直接使用RDF进行推理。最终,该讨论反映了对语义网的乐观时期以及在快速发展的环境中实现持久影响的挑战。

请启用Cookie。 错误 1005 Ray ID:98ac8e8edba98983 • 2025-10-07 10:01:23 UTC 拒绝访问 发生了什么? 该网站(gizmodo.com)的所有者禁止您的IP地址所在的自治系统编号(ASN 45102)访问此网站。 请参阅 https://developers.cloudflare.com/support/troubleshooting/http-status-codes/cloudflare-1xxx-errors/error-1005/ 了解更多详情。 此页面是否有帮助? 是 否 感谢您的反馈! Cloudflare Ray ID:98ac8e8edba98983 • 您的IP: 点击显示 47.245.80.60 • 由Cloudflare提供性能和安全保障。

403 禁止访问

此列表详细介绍了一系列多样化的命令行工具和软件,涵盖系统实用程序、开发框架和数据管理解决方案。许多条目是经典 Unix 工具的现代替代品或增强版本——例如,`exa` & `eza` 用于 `ls`,`fd` 用于 `find`,`ripgrep` 用于传统的 grep。 该系列工具重点关注开发者工具,包括 `Ansible`、`Bloop`、`Cake`、`Deno`、`Elixir`、`GraalVM`、`Poetry`、`pytest` 以及 `Clang`、`OCaml` 和 `Zig` 等编译器。软件包管理也得到了很好的体现,工具包括 `Nix`、`Homebrew`、`npm`、`zypper` 和 `Pacstall`。 除了核心实用程序外,该列表还包括用于数据处理(`DataLad`、`Meltano`)、安全(`gocryptfs`、`KBSecret`)等领域的专用工具,甚至包括一些利基应用,例如 Minecraft 服务器包装器 (`Hajime`) 和终端 YouTube 客户端 (`yewtube`)。版本和日期表明这些项目都在积极开发中,时间范围从 2017 年到 2025 年。

## NO_COLOR:关于 ANSI 颜色控制的讨论 一 Hacker News 讨论围绕 `NO_COLOR` 环境变量展开,该变量被提议作为一种标准化的方式来禁用终端应用程序中的 ANSI 颜色输出 (no-color.org)。虽然许多程序已经检查输出是否导向终端 (`isatty`) 以避免对重定向输出进行着色,但用户们争论这种启发式的有效性。 一些人认为应该使用更灵活的 `COLORS` 选项(开启/关闭/兼容),而不是简单的二元选择。另一些人指出,`NO_COLOR` 解决了不同的需求——即使在输出到终端时也禁用颜色,这对于可访问性(视力障碍/显示器)或特定偏好很有用。 对话还涉及工具之间缺乏统一的颜色处理、在 `NO_COLOR` 之外使用 `--color` 选项的可能性,以及仅仅依赖终端类型 (`$TERM`) 进行颜色检测的局限性。最终,讨论强调了不同的用户需求以及对终端输出格式化更好控制的愿望。

更多

联系我们 contact @ memedata.com