启用 JavaScript 和 Cookie 以继续。
每日HackerNews RSS
一个黑客新闻的讨论围绕着一篇博客文章，详细描述了一位用户尝试制造比市售更好的鼠标，特别是批评了罗技的设计。作者投资购买工具来自己焊接组件，因为组装成本太高。
评论者表达了对更多DIY鼠标选项的渴望，设想可定制的、类似乐高积木的设计，具有可互换零件和开源固件。许多人对有缺陷的、昂贵的鼠标需要通过第三方软件“修复”感到沮丧，特别是强调了滚动和延迟问题。
几位用户指出罗技最近的MX Ergo S型号，解决了部分问题（USB-C，更安静的开关），但承认它并没有完全解决所有期望的功能。对话还涉及工具库的吸引力以及Omnifixo焊接助手的优势。最终，该帖子反映了人们对更易于使用、可定制和可维修的电子产品的渴望。
## 理解 MLS 与科学传播的挑战 有效的技术沟通依赖于了解你的受众，这在科学和工程领域尤其重要。消息层安全协议 (MLS) (RFC 9420) – 专为加密消息中的群密钥协商而设计 – 最近因其安全模型而受到批评。一篇博文认为 MLS 需要对服务提供商的固有信任，这与端到端加密原则相矛盾。 然而，这种批评源于对 MLS 范围的误解。MLS *专门* 解决密钥交换问题，有意将身份验证 – 验证用户身份 – 留给一个单独的“身份验证服务”。RFC 明确警告如果此服务受到损害的风险，这是一个被误解为根本缺陷的警告措施。 核心问题不是 MLS 本身存在弱点，而是未能清楚地传达其局限性。MLS 不是一个完整的加密解决方案；它是一个构建块。成功的实施需要在身份验证方面做出谨慎的架构决策，这是 RFC 在其安全注意事项中强调的。虽然对受损的身份验证服务存在担忧是有效的，但密钥透明度等解决方案正在出现。 最终，这场争议凸显了沟通复杂技术细节的困难以及精确命名的重要性 – “消息层安全” 对于群密钥协商协议来说是一个具有误导性的名称。这一事件为密码学社区提供了一个学习机会，以提高清晰度并避免未来的误解。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
敲打棘轮树 – MLS 既非皇家也非裸体 (soatok.blog)
6 分，来自 cityroler 26 分钟前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
数百人科罗拉多州最贫困县失去水源，未提前通知。
Hundreds lose water source in Colorado's poorest county with no notice
4 小时前
## 佛特加兰水危机使居民无水可用
科罗拉多州科斯蒂亚县，特别是桑格雷德克里斯托牧场地区的居民，在佛特加兰水与卫生区突然停止向依赖蓄水池的人们出售散装水后，正面临一场水危机——在干旱地区，这是一种常见做法。数百人依赖从佛特加兰取水，这是一项代价高昂且耗时的日常工作，因为钻井通常不成功且费用高昂。
这一举措由一个分裂的董事会未经公众通知就实施，源于佛特加兰的泵故障以及对城镇用水量的担忧。这一决定让许多人措手不及，不得不寻找替代方案，长途跋涉寻找水源，依赖邻居（非法），或考虑离开家园。
这一情况凸显了干旱肆虐的西部地区水资源获取的脆弱性，并引发了愤怒，指责管理不善和缺乏同情心。科斯蒂亚县专员正在探索解决方案，包括潜在的县立供水站，但可行的解决方案还需要几个月的时间。这场危机凸显了长期居民和新来者之间日益紧张的关系，并引发了关于水权和资源管理在气候变化中的问题。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
数百人在科罗拉多州最贫困的县失去水源，未收到通知 (coloradosun.com)
22点 由 mooreds 43分钟前 | 隐藏 | 过去 | 收藏 | 1评论
mooreds 8分钟前 [–]
在社交网络上看到这篇文章，提到了保罗·巴奇加鲁皮的《水刀》，这是一本关于未来水资源战争的精彩科幻小说。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## 同步需求与系统弹性 同步需求是指大量用户同时请求服务，可能超出其容量。即使有可用余量（容量减去背景负载），对齐的请求也可能创建队列、超时和级联故障。这种对齐源于共享时钟、默认设置、状态转换（如部署）或外部事件（如DDoS攻击）。 缓解措施侧重于防止峰值或安全地释放现有负载。一个关键原则是在时间上分散需求——引入“抖动”，用增加延迟来换取降低峰值负载。最佳策略需要在服务级别目标和资源限制（连接池、CPU）等因素的考虑下，平衡这种权衡。 计算合适的抖动涉及确定一个时间窗口 (`W`)，该窗口足够大以处理负载 (`M`)，同时尊重余量 (`H`)。运营考虑包括考虑统计波动（泊松分布）和服务器提供的提示（Retry-After、速率限制）。 最终，主动方法包括随机化计时器、错开周期性任务以及根据实时容量估计进行节流。通过监控峰值比率、延迟和释放时间来验证这些策略，对于完善这些策略并确保系统弹性至关重要。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
如何让事情变慢从而更快 (gojiberries.io)
13 分，由 neehao 发表于 2 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论
evaXhill 11 分钟前 [–]
好文章，有点太“数学化”了，但让我想起了“Facebook 的异步计算：在 Facebook 规模下提高效率和开发者生产力”。其中涉及容量优化（排队 + 时间转移）、容量调节以及用户延迟容忍度（因为即使在同一优先级级别，并非所有任务都相同）回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
像素与颜色 / 什么是色彩空间？6207字 | Dan Hollick 什么是色彩空间？ 我们将解答你关于数字色彩的所有问题，甚至你从未想过的问题。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
什么是颜色空间？ (makingsoftware.com)
10 分，由 vinhnx 发表于 2 小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
该网站正在使用安全服务来保护自身免受在线攻击。您刚才的操作触发了安全解决方案。 提交特定词语或短语、SQL命令或格式错误的数据等行为可能会触发此阻止。
## AI 炒作降温？
最近一篇《The Register》文章引发了 Hacker News 的讨论，暗示围绕 AI 的最初炒作可能正在减弱。核心论点，通过 AI 无法可靠处理像快餐驾校点餐这样简单的任务（即使使用 IBM 2019 年的语音识别系统）来阐述，是 AI 目前缺乏许多工作所需的“真实世界经验”。
一些评论员指出，现有的自动点餐系统（自助点餐机、应用程序）早于 AI 发展，并且不依赖于先进的 AI。另一些人承认 LLM *将会* 具有变革性，但目前被过度炒作。一个反复出现的主题是阿玛拉定律——我们高估了短期影响，低估了长期潜力。
许多开发者发现 AI 是一种有用的工具，可以用于调试等任务，尽管它存在局限性并且容易出错。人们也对 AI 的隐藏成本（如能源消耗）表示担忧，但有人反驳说这些成本是可以量化的，并非玄学。最终，这场对话凸显了从盲目期待到对 AI 能力更务实的评估的转变。
使用Base的模式检查器管理您的数据库结构，轻松了解您的表。一览即可查看表模式、列类型、约束和关系。无需深入SQL即可理解您的表设计。
## Base v3：macOS原生SQLite编辑器
开发者__bb最近发布了Base v3版本，这是一个macOS SQLite数据库编辑器，专注于提供舒适、原生的GUI界面，*避免*成为臃肿的IDE。主要功能包括完整的表结构修改能力（SQLite中通常比较棘手）以及基于图标的详细列约束显示。此更新还增加了数据库附加功能，克服了macOS沙盒限制。
Hacker News用户对此次发布给予了积极反馈，许多人表示长期以来一直需要一个简洁、美观的SQLite客户端。用户们欣赏Base相对于DBeaver等更重型工具的简洁性，一位长期用户称其为macOS上最好的SQLite编辑器。开发者正在积极寻求反馈。
更多信息请访问[menial.co.uk](menial.co.uk)。
## Decode-Kit：零依赖TypeScript验证 Decode-kit是一个轻量级、零依赖的TypeScript库，用于验证运行时数据，*无需*数据转换。它不是返回解析后的值，而是**就地断言类型**，直接细化原始变量的TypeScript类型——通过避免克隆或复制数据，从而提供显著的性能优势。 验证是基于断言的；`validate(input, schema)` 在运行时检查数据，并在失败时抛出`DecoderError`，提供详细的错误消息，包括失败路径和预期的模式。成功后，`input`的类型会根据模式进行收窄。 Decode-kit支持验证基本类型（字符串、数字、布尔值、null、undefined）、字面量、ISO 8601日期时间、数组和对象。它还允许使用`or`函数创建联合类型。一个关键特性是`InferOutputOf`工具，用于提取验证后的类型。 其快速失败的方法和最小的开销使其非常适合对性能要求严格的应用，在这些应用中，内存效率和速度至关重要。API的设计灵感来自Decoders等库。
## Decode-Kit：TypeScript 中高效的运行时数据验证
Decode-kit 是一个新型的 TypeScript 库，用于运行时数据验证，专注于**性能和内存效率**。与 Zod 等流行的库不同，它避免在验证过程中深度克隆数据，而是使用**基于断言的验证**来原地验证和细化 TypeScript 类型。
这种方法旨在显著提高速度，尤其是在高吞吐量应用程序或内存受限的环境中。该库提供了一个清晰的 API 来定义模式和验证数据，并提供了一个结构化的错误系统，其中包含详细路径以精确定位验证失败。它还采用**快速失败**策略，在第一个错误处停止，以便更快地进行调试。
创建者欢迎反馈，并愿意分享基准测试代码，以展示相对于 Zod 等替代方案的性能提升。初步反应积极，一位用户表达了对 Zod 的不喜欢，并赞赏 decode-kit 的方法。
## PEP：一种新的像素艺术压缩格式
PEP 是一种实验性的图像压缩格式，专门为低色彩像素艺术（最多 256 色）设计，旨在实现比 GIF、PNG 和 QOI 更小的文件尺寸。它利用“基于部分匹配的预测，2 阶”压缩，优先考虑尺寸而非速度。
虽然比成熟的格式如 GIF/PNG/QOI 慢 2-10 倍，但 PEP 通常能实现比 GIF/PNG 更好的 20-50% 压缩率，并且在尺寸上显著优于 QOI。它的压缩效果介于 GIF 和 WEBP 之间。
PEP 输出一种对游戏开发有用的结构，提供对像素数据的直接访问。它需要现有的颜色字节数据，并提供压缩 (`pep_compress`)、解压缩 (`pep_decompress`)、序列化/反序列化以及文件 I/O (`pep_save`, `pep_load`) 函数。
该库正在积极寻求贡献，以成为像素艺术领域的领先格式。基准测试表明，在有限的颜色调色板下，尺寸缩减显著。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
预测编码像素图像格式 (github.com/endesga)
7 分，由 msephton 发表于 3 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论
msephton 1 小时前 [–]
我制作了一个macOS的快速命令行工具，以及一个非常简单的基准测试套件来查看收益如何。与优化的PNG相比，大多数时候表现更差，但有趣的是，当它表现更好时的情况。我还不确定是否有明确的规则，至少到目前为止我还没有找到。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录
核电池的意外复兴 (ieee.org)
18 分，purpleko 52 分钟前 | 隐藏 | 过去的 | 收藏 | 2 评论
nimbius 29 分钟前 | 下一个 [–]
如果有人对历史角度感兴趣，这是一个引人入胜的话题。苏联曾在联盟境内使用 Beta-M 为二十多个灯塔供电。 https://en.wikipedia.org/wiki/Beta-M 回复
selimthegrim 15 分钟前 | 上一个 [–]
我还以为他们终于让镱异构体起作用了呢。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：