(Empty input provided. There is nothing to translate.)
每日HackerNews RSS
对不起。
Sourcegraph 正在将 SCIP（源代码索引协议），一种与语言无关的代码导航协议，转变为一个独立的、开放治理的项目，此前该协议在其旗下运营了四年。此举旨在促进创新并确保该协议的长期稳定性，该协议为“跳转到定义”和“查找引用”等功能提供支持。 一个核心指导委员会，最初由 Sourcegraph、Uber 和 Meta 的工程师组成，将指导 SCIP 的开发。协议的更改现在将通过一个名为 SCIP 增强提案 (SEP) 的公开请求评论 (RFC) 流程进行管理。 Sourcegraph 仍然是 SCIP 的坚定用户和投资者，鼓励社区通过 GitHub、Discord 以及提交 SEP 来贡献。此次过渡标志着行业致力于将 SCIP 确立为代码智能的通用开放标准。
## SCIP：一种新的代码智能协议
Sourcegraph 最近宣布了 **SCIP（SCIP 代码智能协议）**，这是一种表示代码智能信息的协议。它的设计目标是成为一种与语言无关的方式，用于共享“跳转到定义”和查找引用等功能的数据，旨在标准化代码理解工具。该项目是开源的（[https://github.com/scip-code/scip](https://github.com/scip-code/scip)），并提供 Go 和 Rust 绑定，计划为其他语言实现。
该公告在 Hacker News 上引发了一场有趣的讨论，因为该缩写与许多其他的“SCIP”相似——包括 SICP（一本著名的计算机科学书籍）、各种科学组织，甚至是一个编程求解器。
值得注意的是，Uber 在其 Java 单体仓库的 LSP 实现中使用了 SCIP，认为它对于通用化工具和克服传统 LSP 服务器的限制非常有价值，尤其是在内存约束和生态系统依赖方面。一个关键优势是它能够分析静态代码副本，使其成为 Sourcegraph 等平台的理想选择。
对不起。
LG新款1Hz显示屏是新款笔记本电脑电池续航的秘诀。
LG's new 1Hz display is the secret behind a new laptop's battery life
41 天前
该网站正在使用安全服务来保护自身免受在线攻击。您刚才的操作触发了安全解决方案。 提交特定词语或短语、SQL命令或格式错误的数据等行为可能会触发此阻止。
## LG 的 1Hz 屏幕与笔记本电脑电池续航 - 摘要
LG 正在推出一种新的笔记本电脑显示技术，采用“氧化物”TFT背板，允许刷新率低至 1Hz 用于静态内容。 这大大降低了功耗——可能高达 48%——通过最大限度地减少像素更新和相关电路活动频率来实现。
讨论强调，虽然较低的刷新率可以节省电力，但传统上主要的能源消耗来自背光（在 LCD 中）。 对于 OLED 显示器，像素本身的发光也是一个重要的耗电因素。 关键创新似乎是氧化物 TFT 能够*保持*像素状态更长时间，从而能够在不降低图像质量的情况下实现超低 1Hz 刷新率。
评论员指出，类似的技术，如面板自刷新和可变刷新率已经存在多年（苹果公司于 2015 年推出了可变刷新率），但实现 1Hz 是一个全新的效率水平。 人们对低刷新率可能造成的迟缓表示担忧，以及高效软件利用这项技术的重要性。 讨论还涉及了显示器电源管理的复杂性，包括 PWM，以及对智能眼镜等设备的潜在益处。
## 斯洛文尼亚实行燃料配给
斯洛文尼亚成为首个因全球油价上涨和海湾地区紧张局势相关中断而实行燃料配给的欧盟国家。此举旨在打击“燃料旅游”，即来自邻国的司机——特别是奥地利，那里的价格明显较高——涌入斯洛文尼亚，以利用受监管的较低价格。
新规将私家车主每日的燃料限制为50升，企业和农民则允许200升。加油站负责执行这些限制。政府向公民保证，尽管有加油站报告耗尽的报告，尤其是在奥地利边境附近，但燃料储备充足。
斯洛文尼亚每升约1.47-1.53欧元，而奥地利汽油近1.80欧元，柴油2.00欧元的价格差异，正在推动跨境需求，引发斯洛文尼亚人和奥地利人的争论。一些斯洛文尼亚人对排队和短缺感到不满，而另一些人则欢迎来自外国司机的经济推动。
## 斯洛文尼亚因全球能源危机实行燃料配给
斯洛文尼亚成为首个实施燃料配给的欧盟国家，以应对日益增长的能源中断担忧。这一决定源于多种因素：受监管的油价吸引了来自邻国（特别是奥地利和意大利）的“油料游客”，以及由地缘政治紧张局势（尤其是在中东）加剧的更广泛的全球能源危机。
Hacker News上的评论员指出，单纯投资可再生能源并非快速解决方案，强调了石油和天然气在众多行业（塑料、化肥、制药）中的关键作用。人们对潜在的经济崩溃表示担忧，尤其是在与过去危机相比，财政能力有限的情况下。
配给限额为每天50升，但执行情况受到质疑。斯洛文尼亚最近的选举和提高油价的政治敏感性使情况更加复杂，尽管从经济逻辑上讲，提高油价是合理的。讨论还涉及更广泛的能源独立需求，提到了法国在1973年石油危机后对核电的投资，以及向电动汽车和可再生能源过渡的挑战。
你需要启用 JavaScript 才能运行此应用。
## 黑客新闻上的ISBN可视化
一个基于安娜档案馆（Anna's Archive）构建的ISBN数据可视化项目，在黑客新闻上引发了讨论。该项目最初由赏金资助，旨在根据ISBN映射书籍，揭示与国家、出版社和出版日期相关的模式。虽然有些人觉得视觉效果混乱，但另一些人则赞赏它展示书籍历史和分布的能力。
用户讨论了该可视化的实用性，指出很难*找到*特定的书籍，但有助于理解更广泛的趋势。人们对数据准确性表示担忧，特别是潜在的机器人驱动的评分可能会影响书籍发现，以及安娜档案馆中近期出版物和非英语书籍的代表性不足。
还注意到了一些可访问性问题，该网站在德国被屏蔽，并且在移动设备上出现错误。尽管存在这些挑战，许多人仍然称赞该项目是一种令人着迷的方式来呈现人类集体书面作品，强调了已存档书籍的巨大数量。一个可视化IP地址的关联项目也被分享。
## Velxio：本地开源多板仿真器
Velxio 是一款基于浏览器、完全本地化的微控制器和单板计算机仿真器。它允许用户编写 Arduino C++ 或 Python 代码，并使用真实的 CPU 仿真和超过 48 种交互式电子元件进行仿真——所有这些都不需要安装。
目前支持 5 种 CPU 架构（AVR8、ARM Cortex-M0+、RISC-V、Xtensa 和 ARM Cortex-A53）的 19 块板卡，Velxio 提供了一个通用的实验平台。主要功能包括 Monaco 编辑器，支持多文件工作区，Arduino 库管理，以及具有拖放功能的组件系统。仿真由 avr8js、rp2040js、QEMU 和 RiscVCore 等技术提供支持。
Velxio 是免费且开源的（AGPLv3），并提供商业许可选项。它可以直接在浏览器中运行，也可以通过 Docker 自行托管。开发通过赞助支持，以帮助覆盖成本并启用新功能和板卡支持。 访问地址：[https://velxio.dev](https://velxio.dev)。
## Velxio 2.0：基于浏览器的嵌入式开发
Velxio 2.0 是一款免费开源的模拟器，允许开发者在网页浏览器中直接模拟 19 款嵌入式板卡，包括 Arduino、ESP32 和 Raspberry Pi。该项目由 dmcrespo 创建，旨在提供一个完全本地、可访问的开发环境，无需云依赖、账户或专门的工具链安装。
主要功能包括通过 QEMU 进行 ESP32 模拟、定制 RISC-V 核心、支持运行真实 Python 的 Raspberry Pi 3，以及逼真的传感器模拟。它支持使用 `arduino-cli` 编译代码，并提供基于 AI 辅助的视觉编辑器。
该项目与 Wokwi 等工具的不同之处在于，它能够在单个电路中模拟多种不同的板卡，并专注于完整系统模拟。最近的更新解决了初始访问问题和负载下的性能问题，持续开发优先考虑 MicroPython/CircuitPython 支持以及与 ESPHome 和 PlatformIO 等工具的集成。源代码在 GitHub 上以 AGPLv3 许可协议提供。
这篇帖子详细介绍了两种Semantle（一种词语相似度游戏）解题器。第一个，与Ethan Jantz合作开发，需要精确了解游戏的嵌入模型和余弦相似度。同事Daniel Vitek提出了一种更稳健的替代方案，只需要相对猜测排名——知道哪些猜测比其他猜测“更好”。
第二个解题器通过几何方式解释排名。两个猜测之间的每次比较都会分割嵌入空间，消除一半可能的目标词。通过累积这些“半空间”约束，解题器缩小了可能性。最初，这在使用相同的嵌入模型时效果很好，但在使用不同的模型时由于排名冲突而失败。
为了克服这个问题，实施了一种概率方法。与其消除词语，不如每次约束调整词语成为目标词的概率。这使得解题器即使在嵌入模型不匹配的情况下也能有效运行，尽管速度较慢（100-200次猜测）。有趣的是，解题器的过程反映了人类的游戏方式，从语义上距离较远的猜测开始，逐渐收敛到相关的术语，展示了一种令人惊讶的人类化方法，用有限的信息来导航语义空间。
对不起。
## Redox OS：通过基于能力的管理增强安全性
Ibuki Omatsu 详细介绍了 Redox OS 的最新工作，即将命名空间和当前工作目录 (CWD) 管理从内核转移到用户空间，使用基于能力的安全性模型。 传统上，Redox OS 使用由整数 ID 和基于字符串的路径标识的内核管理的命名空间。 这要求内核解析路径并管理方案名称，增加了复杂性和潜在漏洞。
新的方法利用 `openat` 系统调用，将目录文件描述符视为沙箱。 用户空间命名空间管理器 (nsmgr) 现在处理命名空间操作，接收带有命名空间文件描述符的 `openat` 请求。 这使得内核可以简单地基于描述符分派请求，从而消除了路径解析和方案名称管理。
类似地，CWD 现在表示为文件描述符而不是字符串，从而能够高效地解析相对路径并支持诸如 `O_RESOLVE_BENEATH` 之类的功能，以增强沙箱保护。 这种转变简化了内核，减少了攻击面，并为 Redox OS 内更强大的安全特性铺平了道路，使其更接近于完全基于能力的系统。
对不起。
启用 JavaScript 和 Cookie 以继续。
对不起。