## DoteWM：一个基于Web的窗口管理器
DoteWM是一个新颖的窗口管理器，其理念是通过*网页浏览器*控制桌面环境。传统上，窗口管理器会处理窗口装饰、移动和交互，并配合像X11这样的显示服务器。DoteWM将这种控制权转移到浏览器，使用Chromium Embedded Framework (CEF)，从而可以使用Web技术（HTML、CSS、JavaScript）进行自定义，而不是复杂的C++代码。
该系统采用客户端-服务器模型：X11处理窗口显示，浏览器渲染UI并管理交互，一个独立的C++窗口管理器使用OpenGL合成最终输出。浏览器和窗口管理器之间的通信通过基于nanomsg的Protobuf构建的自定义协议进行，即使在高负载下也能确保稳定性。
这种架构提供了更轻松的自定义——调整CSS比修改核心窗口管理器代码更简单——并允许实现自定义窗口装饰和用JavaScript定义的动态窗口行为等功能。有几个演示主题可用，包括Windows 98和XP风格，展示了该项目的潜力。
该代码完全开源（github.com/FoxMoss/DoteWM/）并且可在AUR上找到，邀请用户进行实验和贡献开发，未来的潜在改进可能侧重于Wayland支持和优化浏览器/窗口管理器同步。
每日HackerNews RSS
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
用 Google Chrome 替换我的窗口管理器 (foxmoss.com)
9 分，foxmoss 发表于 2 小时前 | 隐藏 | 过去 | 收藏 | 2 条评论
chasing0entropy 发表于 2 小时前 [–]
我对一个实现完全相反结果的教程感兴趣。回复
jonhohle 发表于 3 分钟前 | 父评论 [–]
1) 卸载 Chrome
2) 一年安装一次，当一些向后兼容的网站无法使用其他任何东西时。
3) 返回 1)
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
布莱恩·考克斯教授与Ward-Thompson和Metsaivanio合作，最近推出了他们的新书，展示了我们银河系之外的星系。此前，他们的《宇宙云》专注于我们银河系的尘埃和气体。本书收录了Metsaivanio令人惊叹的三维图像，并借鉴了Ward-Thompson在星系演化领域40年的专业知识。 该项目探索了星系的多样形态，例如像NGC 1365这样的棒旋星系，并强调了我们对它们的理解随着时间的变化。Ward-Thompson幽默地指出，书中展示的其中一个星系甚至是他博士论文的研究对象。他强调，本书详细介绍了从认为我们的星系是“正常”的到认识到宇宙中存在各种各样星系结构的观念转变。在伦敦的发布会上，包括了一场讲座和Metsaivanio引人入胜的视觉效果的放映。
一篇BBC关于巨型星系立体图像的文章最近在Hacker News上分享，引发了关于观看方法的讨论。用户报告说，在iPad上观看效果最佳，需要放大并靠近脸部，让大脑将两张图像融合为3D视图——有些人发现摘掉眼镜更有帮助。
虽然受到赞赏，但一些评论者认为某些图像不如其他图像令人印象深刻。一个常见的请求是提供“交叉眼”模式的图像，这被认为更容易观看。一位用户开玩笑地将这种偏好与星际旅行的可能性联系起来，强调了有效3D观看需要图像视角之间有相当大的距离。另一位用户建议将图像转换为“摆动图”作为替代方案。
亚里士多德的解法如下。它出奇地简单。设 $(a_n)$ 为 $d_i$ 的幂的序列（已排序，包含重复项）。例如，如果 $d_1=2$ 且 $d_2=3$，则序列为：$1,1,2,3,4,8,9,16,27,\ldots$。我们想要证明每个正整数都是一个子序列和。这等价于 $a_{n+1} -1 \leq (a_1+\dots +a_n)$。右侧是 $\sum_{i=1}^k (d_i^{e_{i,n}}-1)/(d_i-1)$，其中 $e_{i,n}$ 是在第一个 $n$ 项中尚未出现的 $d_i$ 的第一个幂。它被 $\min_i (d_i^{e_{i,n}}-1)$ 下界。然而，$a_{n+1}=\min_i d_i^{e_{i,n}}$。完成。请注意，$e_{i,n}$ 的定义存在一些歧义。在例子 $d_1=2, d_2=3$ 中，我们可以任意决定 $a_1$ 是 $2$ 的幂，$a_2$ 是 $3$ 的幂，所以 $e_{2,1}=0$ 但 $e_{2,2}=1$。
## 人工智能解决埃尔德斯问题#124及更多
近期人工智能的进展在数学问题解决方面引起了波澜。据报道，一个人工智能模型已经证明了埃尔德斯问题#124，此前它也成功解决了埃尔德斯问题#340（使用ChatGPT来形式化证明）。GPT-5也协助解决了埃尔德斯问题#848。然而，讨论显示出细微之处：人工智能通常是*辅助*解决问题，而不是独立解决，经常形式化现有的证明或快速测试想法。
关于这些成就的意义存在争论。一些人认为这是朝着“数学超智能”迈出的巨大一步，而另一些人则强调人工智能擅长自动化研究中繁琐的方面，例如探索无数失败的尝试。一个关键点是，当前的人工智能依赖于现有的数学框架；解决需要完全新的数学概念的问题仍然是一个挑战。
通过Lean等形式化系统进行验证至关重要，但仍然存在问题，即所解决的问题版本是否与埃尔德斯最初提出的问题完全一致。这场讨论凸显了关于智能本质以及人工智能在数学中作为工具与发现者角色的更广泛争论。
## 乌克兰电力韧性：DIY解决方案
乌克兰因俄罗斯无人机袭击关键基础设施而面临持续停电，寒冷天气增加能源需求，情况更加恶化。一些建筑物为水泵和电梯等基本设施安装备用发电机，互联网服务提供商则采用电池备份或光纤，但这些解决方案通常成本高昂。
意识到市售电力站（如Ecoflow）价格昂贵，一个技术团队决定自行构建电池系统，为他们的Google Pixel 6服务器场供电（需要约500W持续5小时，或2.5kWh的容量）。他们选择更安全且经济高效的LiFePO4电池，直接采购组件——包括关键且难以找到的电池管理系统（BMS），总成本约为600美元，远低于预制选项。
这种DIY方式在乌克兰越来越普遍，源于必要性和对价值的追求。该过程涉及小心地组装电池，连接BMS以确保安全和平衡，并利用“太阳能逆变器”将直流电转换为交流电。尽管存在组装不当的风险，乌克兰人越来越多地将电力韧性掌握在自己手中，以确保在持续冲突中的业务连续性。
一个黑客新闻的讨论围绕一个项目，该项目允许用户使用物理手机网络来运行社交媒体营销活动——本质上是一个“点击农场”。该项目由一个与乌克兰有联系的团队开发，旨在帮助初创公司获得曝光。
最初的反应褒贬不一，从对创造力的钦佩（“黑客精神！”）到对其目的的怀疑，一些人将其直接定义为点击农场。 一条关键评论强调该团队仍在寻求风险投资。
对话进一步探讨了自动化社交媒体操纵的伦理以及大型语言模型可能颠覆数字营销的潜力，从而让开发者能够从事更有意义的工作。 还有一些轻松的评论和对乌克兰的支持。
启用 JavaScript 和 Cookie 以继续。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
看到分子的量子阴影 (aps.org)
7 分，来自 lc0_stein 2 小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## 迈克·戈登在硬件验证方面的突破
20世纪60年代，随着复杂度的增加，对完全验证软件的最初乐观情绪逐渐消退。然而，迈克·戈登率先采用了一种非常成功的硬件验证方法，使用了高阶逻辑（HOL）。大约在20世纪80年代，戈登发现了一种方法，可以使用设备端口上的关系来建模硬件电路——从单个晶体管到复杂的系统，统一处理所有端口值（位、字、函数）。
这种方法包括指定期望的行为（Spec）并使用电路来实现它（Imp）。然后，验证就变成了证明 Imp → Spec——即实现的行为符合规范。细化允许从更简单的、经过验证的组件构建复杂的系统。
虽然模型简洁优雅，但最初面临着短路等问题。提出了证明“终止性”等解决方案。重要的是，戈登的模型侧重于*逻辑*功能，承认设计者仍然需要使用其他工具来解决门延迟和功耗等物理约束。他的方法已被证明具有持久性，而更复杂的模型并未获得类似的进展，这突显了建模中简单性的力量。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Mike Gordon 和硬件验证 (2023) (lawrencecpaulson.github.io)
5 分，by sebg 2 小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
关于Hacker News的讨论集中在23andMe数据泄露和随后的和解方案（23andmedatasettlement.com）上。用户质疑和解方案的充分性——根据索赔金额从100美元到10,000美元不等，外加潜在的隐私监控——认为这并不能真正补偿受害者因敏感基因和健康信息被盗而遭受的损失。
许多人表达了沮丧，认为隐私的价值远远超过了拟议的赔偿金额。一些人想知道与23andMe用户有关联的人以及希望提交索赔的加拿大人是否有资格。分享了相关文章的链接，包括一篇详细介绍了英国监管机构对23andMe处以230万英镑罚款的文章，以及另一篇强调该公司有争议的说法，即受害者部分自负。
一个关键点是，鉴于23andMe目前的财务状况，实现完全赔偿的难度很大，一些人建议改而寻求个人索赔。这场对话凸显了接受有限和解与争取更大问责制之间的争论。
一篇关于不寻常死亡事件——一名洞穴潜水员自杀——的Reddit帖子，引发了人们对维基百科“不寻常死亡列表”的深入研究，揭示了志愿编辑们对“不寻常”的定义出人意料的严格辩论。这突显了浩瀚在线百科背后的常人元素：无数的讨论和编辑塑造着其内容。
这一探索与埃隆·马斯克的人工智能生成百科全书Grokipedia的推出同时发生。然而，Grokipedia并非维基百科的真正竞争对手。它只是对信息的机械化、有偏见且组织混乱的重复，缺乏定义维基百科的透明度、协作精神和人类洞察力。
虽然维基百科面临着人工智能和政治攻击的威胁，但它的优势在于其社区驱动的流程。编辑们一丝不苟地讨论和完善内容，以既定的规则和对共享知识的承诺为指导。相反，Grokipedia是一个黑匣子，证明了*没有*人类协作构建的百科全书会失去其价值和准确性。最终，维基百科的韧性源于它对人类怪癖和集体智慧的拥抱——这是人工智能无法复制的。
## Grokipedia 受到审查
最近的 Hacker News 讨论强调了对 Elon Musk 的 AI 驱动的维基百科替代品 Grokipedia 的担忧。用户迅速发现了事实错误——具体来说，错误地将 Don DeLillo 小说中的主角归于他人——表明该 AI 在从来源准确提取信息方面存在困难。
进一步的讨论指出了 Grok 内部潜在的偏见，并注意到“Twitter Grok”和“Web Grok”版本之间的差异，前者似乎被编程为避免批评 Elon Musk 及其政府。人们对用于训练 AI 的人类反馈强化学习 (RLHF) 缺乏透明度表示担忧，以及可能故意操纵其输出以推动特定政治观点。
一些评论员认为，鉴于其所有者明显的议程，一个真正“良好”的 Grokipedia 版本是不可能的，并且该项目并非以开放知识为首要目标而创建的。
Sysadmin降临节是一个为期12天的Linux和DevOps挑战日历，难度各异，从12月1日到12月12日运行。 每天都会有一个你可以解决的情景以获得积分（简单= 1分，中等= 2分，困难= 5分）。 注册一个免费帐户（需要跟踪您的进度）并开始解决情景！ 日期 名称 等级 时间限制 2025-12-01
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Sysadmin 降临 2025 (sadservers.com)
16 分，由 lazyant 发表于 43 分钟前 | 隐藏 | 过去 | 收藏 | 4 条评论
teddyh 发表于 23 分钟前 [–]
哦，听起来很有趣。> 注册免费账户
哈哈，不用了。关闭标签页
thomond 发表于 4 分钟前 | 父评论 | 下一个 [–]
似乎不需要账户就能完成问题。我没有账户就完成了第一个任务。
thatxliner 发表于 12 分钟前 | 父评论 | 上一个 | 下一个 [–]
嗯，代码降临也需要账户。
fragmede 发表于 7 分钟前 | 父评论 | 上一个 [–]
你希望它怎么运作？你懂系统管理吗？
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
启用 JavaScript 和 Cookie 以继续。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
美国就业市场是否逼近悬崖？ (economist.com)
15 分，harambae 发表于 31 分钟前 | 隐藏 | 过去 | 收藏 | 3 条评论
chasd00 发表于 4 分钟前 | 下一个 [–]
根据文章（我读到的部分）“增长得益于乐观的股市和人工智能投资，而普通美国人却苦苦挣扎”。黑色星期五的销售额创下纪录，甚至还没到网络星期一。如果美国人正在苦苦挣扎，那么假日消费不应该下降吗？
回复 seanmcdirmid 发表于 2 分钟前 | 父评论 | 下一个 [–]
考虑到人口增长和通货膨胀，不是每年都应该创下纪录吗？
回复 OgsyedIE 发表于 5 分钟前 | 上一个 [–]
https://archive.is/NvSXc。另外，令人震惊的是没有提到投资论点，更不用说对其进行批判了。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：