## backlit-kbd: Python 键盘背光控制
`backlit-kbd` 是一个易于上手的 Python 包，用于在 Linux 上控制键盘背光亮度。它通过 `sysfs` 自动检测兼容硬件，并提供安全的 `--mock` 后端，用于在不影响系统的情况下进行测试。
**主要特性：**
* **硬件控制：** 通过百分比或原始级别调整亮度。
* **闪烁：** 支持同步闪烁模式和异步通知式闪烁。
* **易于安装：** 通过 PyPI 安装 (`pip install backlit-kbd`)。
* **Python API：** 提供简单的 API，使用 `create_controller` 实现安全、模拟回退控制。
* **CLI 界面：** 提供命令行界面，用于快速调整和测试。
* **示例：** 包含用于通知闪烁、亮度波形和迪斯科灯的示例脚本。
**用法：** 使用 `--mock` 进行安全实验。对于真实的硬件控制，请确保具有向 `sysfs` 设备写入的适当权限。该软件包还包括全面的测试，并利用 GitHub Actions 和 PyPI Trusted Publishing 进行现代发布实践。
每日HackerNews RSS
对不起。
GitHub Copilot 正在调整其个人计划（Pro、Pro+ 和学生版），以维持现有用户的服务质量。**新用户注册已暂停**，原因是“代理工作流”（复杂、长时间运行的编码任务）的需求增加，这些任务消耗的资源远超预期。
为此，**所有计划的使用限制将被收紧**，Pro+ 提供的限制是 Pro 的 5 倍以上。用户现在可以在 VS Code 和 Copilot CLI 中**直接查看其使用限制**。更强大的 Opus 模型现在仅供 Pro+ 订阅者使用，旧版本将被逐步淘汰。
这些更改是暂时的，GitHub 正在开发更可持续的解决方案。如果用户对这些调整不满意，可以在 5 月 20 日之前**取消订阅并获得退款**。Copilot 利用会话和每周基于 token 的限制，并考虑模型复杂度来管理资源消耗。目标是在 Copilot 的功能扩展时，平衡所有用户的可靠性和访问性。
## GitHub Copilot 价格变动引发用户反弹
GitHub Copilot 正在对其定价结构进行重大调整，从统一费用模式转变为对个人和企业计划都采用基于令牌的系统。这一转变引发了用户的一波挫败感，特别是那些担心成本增加和使用限制的专业版用户。
核心问题在于访问像 Opus 这样强大的模型。微软将 Opus 4.7 限制在更昂贵的专业版+ 级别，大大增加了之前通过专业版获得可负担访问权限的用户的成本。一些用户报告说，尽管他们是专业版+ 订阅者，但完全无法访问 Opus。
许多人批评缺乏透明度和在账单周期中期突然实施这些更改。人们也越来越担心严格的速率限制以及在时间窗口内管理令牌使用的焦虑。一些用户已经开始探索 Claude 和 OpenCode 等替代方案，质疑长期依赖第三方人工智能服务的可行性。
这些变化凸显了运行大型语言模型的潜在成本，并暗示了人工智能编码工具领域中更广泛的“劣质化”趋势。
启用 JavaScript 和 Cookie 以继续。
这段 JavaScript 代码创建了网页上由特定元素触发的交互式工具提示（或“气泡”）。它解析页面内容，查找文本节点中的 `[[term|heading|body]]` 标记，并将其替换为按钮。 当鼠标悬停或焦点位于按钮（工具提示触发器）上时，会显示一个气泡，其中显示与 `term` 关联的 `heading` 和 `body`。气泡的位置会动态计算，以适应视口，避免边缘。其他页面内容会被调暗，以突出显示气泡及其触发器。 该代码处理鼠标交互（悬停、点击）、键盘导航（焦点、Escape 键）和移动设备的触摸事件。它包含气泡打开和关闭的动画，并确保设置了正确的可访问性属性（ARIA）。当用户在气泡外部交互、移开鼠标或按下 Escape 键时，气泡会关闭。气泡也会在窗口大小调整或滚动事件时重新定位。
该系统提供了一种从语义描述生成图表的方法，而非手动放置元素。您使用节点（如服务和队列）和边（它们之间的连接），并赋予它们唯一的、稳定的ID来定义场景。 内置的布局引擎，灵感来自杉山算法，自动处理视觉排列——定位节点、连接边和放置标签——确保清晰的分层结构。这允许增量更新；图表的更改不需要完全重新生成。 该系统与渲染器无关，可以以多种格式（SVG、PNG）和不同主题生成一致的图表。重要的是，它是确定性的：相同的输入*始终*产生相同的输出，并且每个步骤（验证、标准化、布局、渲染）都可以进行检查，以便于调试和控制。
对不起。
在英国，由于中国竞争，电动汽车比汽油车更便宜。
In the UK, EVs are cheaper than petrol cars, thanks to Chinese competition
58 天前
## 英国电动汽车比燃油车更便宜
电动汽车（EV）在英国的平均购买价格现在比汽油车便宜785英镑——这一转变主要得益于价格实惠的中国电动汽车的普及。与美国和欧盟不同，英国不对这些进口品征收关税，从而使价格有可能降低数千英镑。
这种价格优势，加上较低的运行成本（由于更便宜的电力和维护费用），正在加速电动汽车的普及。英国甚至提前一年实现了2026年的电动汽车销量目标。政府提供的最高3750英镑的补贴进一步激励了购买，引导消费者选择更实惠的车型。
这种情况与美国形成了鲜明对比，在美国，汽车行业领导者对中国竞争表示担忧，并游说反对更严格的排放标准，导致电动汽车价格更高。英国的例子表明，一个具有竞争力的市场，包括价格实惠的选择，可以使电动汽车成为对消费者来说既具有经济吸引力又对环境有益的选择。
抱歉，此内容在您所在的地区不可用。
## 软件开发协作的转变 一个软件项目的维护者正在调整协作策略，原因是像LLM这样的人工智能编码助手兴起。虽然感谢提供的帮助，但他们发现直接的代码贡献效率越来越低。主要原因是需要审查来自未知贡献者的代码，以防潜在的安全风险和风格差异，而现在，在LLM的辅助下，个人处理这些问题通常更快。 核心问题不是缺乏感激之情，而是瓶颈发生了变化：设计、理解现有代码和审查现在比单纯的*编写*代码更重要。提交的代码对这些方面没有帮助。 维护者建议采用替代贡献方式，而不是以合并为目的的拉取请求：提供用户反馈、讨论想法、报告/调查错误，以及分享与LLM一起使用的提示，以说明潜在的更改。鼓励开发者为定制用例而fork项目，从而减轻维护者支持各种小众需求。本质上，重点正在转向利用人工智能辅助编码速度的更高层次的贡献。
10年：斯蒂芬的香肠卷仍然是最具影响力的解谜游戏之一
Stephen's Sausage Roll remains one of the most influential puzzle games
58 天前
该网站正在使用安全服务来保护自身免受在线攻击。您刚才的操作触发了安全解决方案。 提交特定词语或短语、SQL命令或格式错误的数据等行为可能会触发此阻止。
## 斯蒂芬的香肠卷：备受推崇的冷门益智游戏
《斯蒂芬的香肠卷》正逐渐被公认为最具影响力的益智游戏之一，尤其是在专注的益智游戏社群中。尽管对大众来说相对默默无闻，但它在益智游戏爱好者中几乎获得了普遍赞誉。
这款游戏以其极高的难度而闻名，完全专注于具有挑战性的游戏玩法，而很少有美学上的修饰。这与许多现代益智游戏形成鲜明对比，后者更注重通过吸引人的图形和叙事来提高可访问性。玩家形容这种体验要求很高，但回报也令人难以置信，需要对游戏机制有深刻的理解。
讨论的重点在于其严谨的设计以及它如何迎合“精通”级别的游戏体验，可能会让新手感到疏远。它与其他广受好评的益智游戏（如《Baba Is You》、《The Witness》和《Void Stranger》）进行了比较，一些人认为《斯蒂芬的香肠卷》在专注和简约方面表现更出色。虽然很难解释，但游戏的核心机制涉及策略性地滚动香肠，以便在两侧烹饪。它目前正在Steam上打折促销。
追求“正确”的软件出乎意料地复杂，不仅仅是使执行与规范匹配。真正的正确性要求所有相关人员对程序*预期*目的有共同的理解——人们脑海中存在的“程序”。“语义鸿沟”阻碍了这一点——将想法转化为代码时，细微差别的丧失。 虽然代码审查（“lgtm”）旨在弥合这一鸿沟，但它通常不足以进行清晰的沟通。作者认为可执行代码*应该*是真相的来源，但如果不能被普遍理解，其有效性将受到限制。 这导致了**程序分析**的重要性，特别是**静态分析**，它允许在*不*运行代码的情况下检查代码。这使得能够回答有关系统行为的关键问题——安全漏洞、访问控制——并验证代码中的决策，即使对于那些无法轻松理解代码的人也是如此。最终，实现真正正确的软件需要不同的视角和强大的分析，以确保共同的理解和可靠的运行。
对不起。