您没有提供需要翻译的内容。请提供您想要翻译的文字。
每日HackerNews RSS
抱歉。
请启用 JavaScript 并关闭所有广告拦截器
抱歉。
**KVarN** 是专为 vLLM 设计的高性能 KV 缓存量化解决方案，旨在克服容量、速度和准确性之间传统的权衡问题。
与现有的牺牲吞吐量或精度来换取缓存容量的方法不同，KVarN 在保持 FP16 级准确性的同时，相比 FP16 实现了约 3–5 倍的容量提升，且吞吐量相当甚至更高。它通过一种新颖的“方差归一化”处理来实现这一点，该过程利用 Hadamard 旋转和迭代归一化，在低位舍入前将量化误差降至最低。
**主要功能：**
* **即插即用：** 作为原生 vLLM 注意力后端运行。无需更改模型或进行校准，只需通过单个标志（`--kv-cache-dtype kvarn_k4v2_g128`）即可启用。
* **高性能：** 始终位于性能指标的“右上角”——在提供更长上下文的同时，同步实现更高的并发请求容量和改进的吞吐量。
* **部署便捷：** 可作为 vLLM 的分支轻松安装，支持标准的服务工作流程。
KVarN 基于 Apache 2.0 许可证发布，是论文《KVarN: Variance-Normalized KV-Cache Quantization Mitigates Error Accumulation in Reasoning Tasks》的官方实现。对于需要在不妥协质量或速度的前提下进行长上下文推理的生产工作负载，它是理想的解决方案。
抱歉。
这段文字将政治评论与软件发行说明并置。文章首先回顾了1989年的“坦克人”抗议事件，指出中国政府持续审查该图像以压制异议并维持控制。作者认为，政权对该图像的恐惧源于它展现了个人反抗权威的力量。
随后，文本转入关于“Notepad++”软件的技术信息。文中明确指出，8.9.6.4版本旨在修复8.9.6.2版本中HMAC实现部分发现的TOCTOU（检查时机与使用时机不一致）漏洞。文章结尾提供了发行说明、错误报告的链接，并呼吁对乌克兰提供人道主义援助。
抱歉。
2026年4月，全球风能和太阳能发电量首次超过天然气。 Wind and solar generated more power than gas globally in April 2026
2 天前
在全球能源发展的一个重要里程碑中，风能和太阳能发电量在2026年4月首次在全球范围内超过了天然气。根据能源智库Ember的数据，可再生能源贡献了全球22%的电力（531太瓦时），而天然气占比为20%（477太瓦时）。
这一成就凸显了能源格局的剧烈变化；仅仅五年前，风能和太阳能的产量还不到当前水平的一半，而天然气发电量则一直停滞不前。尽管全球能源市场持续波动，但在中国、欧盟和美国等主要市场快速部署的推动下，可再生能源仍实现了增长。
分析人士指出，这种转变并非季节性的偶然，而是多年来可再生能源持续扩张的结果。随着各国将能源安全和成本效益放在首位，风能和太阳能正日益在竞争中胜过进口化石燃料。由于全球各国政府都在加快推进可再生能源目标以减少对不稳进口能源的依赖，风能和太阳能现已稳固地成为全球电力需求的主要驱动力，巩固了其作为现代能源结构中不可或缺的本土支柱地位。
2026年4月，全球风能和太阳能发电量正式超过天然气，成为能源转型的重要里程碑。Ember全球电力回顾数据显示，可再生能源目前已占全球发电量的33%以上，而煤炭尽管依然存在，但已开始呈下降趋势。
Hacker News对此新闻的讨论显示，人们普遍认为可再生能源的增长是由纯粹的经济逻辑驱动的：太阳能和风能正日益成为最廉价的能源形式。尽管面临政治阻力、监管障碍和“文化战争”式的言论，但电池存储技术的快速进步和可再生能源基础设施成本的下降，正在推动这一转变。
讨论的主要结论包括：
* **经济势头：** 行业参与者将可持续性视为竞争优势。在许多地区，由于可再生能源系统具有极高的成本效益，无论政府政策如何，转型都在向前推进。
* **基础设施挑战：** 虽然发电成本低廉，但电网需要升级以应对间歇性问题。规模化储能电池、抽水蓄能和区域输电网络等解决方案正变得与发电设备本身一样至关重要。
* **“密度”之争：** 批评者常指出工业对“高密度”能源的需求，但评论者指出，热泵、电弧炉和氢能等技术已经在扩大规模，以满足这些需求。
芬兰总统亚历山大·斯图布敦促欧盟要“格局宏大”，将成员国扩大至40个，以更好地展现地缘政治影响力。在欧洲电力峰会上，斯图布指出，规模和体量对欧洲的战略自主至关重要，特别是在乌克兰战争持续以及美国政治动态不断变化的大背景下。 斯图布提议欧盟应积极推进扩张，建议纳入英国、挪威、冰岛和土耳其等国，甚至提出加拿大也可以作为潜在成员国。他强调，目前这种扩张的“机会之窗”非常狭窄，敦促各国领导人在整合的政治势头消退之前采取行动。 尽管欧盟目前正进行一代人以来最大规模的扩张，共有包括乌克兰、摩尔多瓦和西巴尔干多国在内的九个正式候选国，但斯图布的愿景呼吁采取更灵活、更雄心勃勃的方针。尽管他的提议面临巨大的后勤和政治障碍，但斯图布坚持认为，整合这些国家对于欧盟保持全球相关性和影响力至关重要。
对不起。
彭博社 需要帮助？请联系我们 我们检测到您的计算机网络存在异常活动 如需继续，请点击下方方框以证明您不是机器人。 为什么会发生这种情况？ 请确保您的浏览器支持 JavaScript 和 Cookie，且未阻止它们加载。 有关更多信息，您可以查阅我们的服务条款和 Cookie 政策。 需要帮助？ 如有与此消息相关的咨询，请联系我们的支持团队并提供下方的参考 ID。 拦截参考 ID：7c754c97-6022-11f1-975e-c8d9b2a88ab0 订阅 Bloomberg.com，随时随地获取最重要的全球市场新闻。 立即订阅
Prela 是一种基于阿尔弗雷德·塔斯基（Alfred Tarski）关系代数的实验性查询语言。它将每个数据实体视为一个二元关系，有效地将传统表格“粉碎”成一系列二元映射的集合。这种模型支持高度直观的导航式语法，查询结构表现为简单的函数组合，从而消除了 SQL 中常见的复杂 JOIN 和子查询。
由于 Prela 是作为宿主语言（主要是 Julia）中的浅嵌入式实现，它能够利用现有的变量、用户自定义函数和聚合等语言特性，无需专门的数据库语法。
Prela 的一项关键技术创新是采用连续传递风格（CPS）进行查询执行。通过传递后续操作而非物化中间表，Prela 将查询算子融合为一次高效的遍历。结合列式存储，该方法能够实现与 DuckDB 等成熟引擎相当甚至更优的性能。尽管仍处于早期开发阶段，Prela 已证明将关系理论与函数式编程范式相结合，可以打造出一种既书写优雅又执行高效的查询语言。
Prela 是一种基于塔斯基关系代数（Tarski’s Algebra of Relations）的新型嵌入式查询语言。它专为简洁性和高性能而设计，采用浅嵌入（shallow embedding）方式，即将运算符作为宿主语言中的常规函数。它利用延续传递风格（continuation-passing style）来实现高效的列式执行。
在相关的 Hacker News 讨论中，开发者 Remy Wang 指出，Prela 规避了 SQL 中常见的 `NULL` 值陷阱，并为用户提供了对查询计划的精细控制能力——这是它相对于传统 SQL 的一大显著优势。尽管一些用户提到，与标准编程语法相比，Prela 对数学符号的重度依赖可能会带来一定的学习曲线，但开发者认为这种表示法既严谨又利于大模型（LLM）进行推理。
讨论还探讨了 Prela 的潜在应用场景，包括将其作为 DuckDB 等现代列式数据库的前端。此外，人们还将该项目与 Apache Calcite 的“Morel”等其他项目进行了比较，这些项目同样旨在架起函数式编程范式与关系数据库执行之间的桥梁。总体而言，参与者对 Prela 表现出了浓厚兴趣，认为它能为查询优化提供一种比标准 SQL 更具可预测性和透明度的替代方案。
在 Windows 8 的开发过程中，微软工程师们依赖一套变得极其重复且滑稽的命名惯例。为了将新界面与“经典”体验区分开来，他们采用了“Mo”（代表“现代”，Modern）作为前缀。 最初的“现代外壳”（MoSh）很快演变成了一长串详尽的缩写清单。各个组件被命名为“MoGo”（开始菜单）、“MoBar”（分屏应用）、“MoBody”（填充应用）、“MoSet”（设置）以及“MoCo”（列表视图控件）。甚至连应用程序也加入了这一潮流，网页浏览器变成了“MoBro”，而照片管理器则获得了“MoPho”这个不太雅观的称呼。 随着这一趋势的蔓延，“Mo”系列的名称数量多得荒谬，展现了该公司内部开发文化中一段轻松却又过度的一幕。Windows 8 正是在这种命名狂热中诞生，并于 2011 年 6 月 1 日正式发布。
抱歉。