一个用于规避人工智能垃圾内容的浏览器扩展。为Chrome或Firefox下载。这是一个搜索工具，仅返回ChatGPT于2022年11月30日首次公开发布之前的内容。自ChatGPT和其他大型语言模型公开发布以来，互联网正日益被人工智能生成文本、图像和视频污染。此浏览器扩展使用Google搜索API，仅返回2022年11月30日之前发布的内容，确保其由人类撰写或制作。
每日HackerNews RSS
## 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支持和优化浏览器/窗口管理器同步。
## Hacker News 讨论：用 Chrome 替换窗口管理器
一位 Hacker News 用户 (foxmoss) 分享了一个项目，用 Google Chrome 替换传统的窗口管理器，利用 Chromium Embedded Framework (CEF)。 讨论引发了关于这种方法的可行性和历史背景的争论。
一些评论者指出，使用较早的 Mozilla 技术（如 XUL）可以实现类似的功能，但安全性和性能方面的限制导致其被弃用。 其他人则探讨了使用 Godot 等框架来构建灵活的桌面环境。
对话还涉及了统一代码库以实现跨平台桌面环境的想法，以及关于创建此类系统的一个有趣的岔路。 一份错误报告浮出水面，指出 Chrome 109 在项目样式中存在字体渲染问题。
历史上的平行案例指向早期的 ChromeOS 和 Windows 实验，强调了之前尝试过的基于浏览器的桌面体验。 最终，讨论展示了对更灵活和可定制的桌面环境的兴趣，同时也承认了其中涉及的挑战。
布莱恩·考克斯教授与Ward-Thompson和Metsaivanio合作，最近推出了他们的新书，展示了我们银河系之外的星系。此前，他们的《宇宙云》专注于我们银河系的尘埃和气体。本书收录了Metsaivanio令人惊叹的三维图像，并借鉴了Ward-Thompson在星系演化领域40年的专业知识。 该项目探索了星系的多样形态，例如像NGC 1365这样的棒旋星系，并强调了我们对它们的理解随着时间的变化。Ward-Thompson幽默地指出，书中展示的其中一个星系甚至是他博士论文的研究对象。他强调，本书详细介绍了从认为我们的星系是“正常”的到认识到宇宙中存在各种各样星系结构的观念转变。在伦敦的发布会上，包括了一场讲座和Metsaivanio引人入胜的视觉效果的放映。
亚里士多德的解法如下。它出奇地简单。设 $(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 以继续。
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录
看到分子的量子阴影 (aps.org)
21 分，来自 lc0_stein 23小时前 | 隐藏 | 过去 | 收藏 | 3 条评论
digitaltrees 20小时前 [–]
看来最终粒子会被视为波中的共振点，而不是真正的离散物体。回复
Razengan 17小时前 | 父评论 [–]
这不是很明显吗？我们和我们的仪器只是捕捉到某种连续体的快照？回复
lumost 10小时前 | 根评论 | 父评论 [–]
这是量子测量的有效表述之一！然而，你也可以使用路径积分形式，它产生相同的预测，并且仍然使用真实粒子。我不太了解人们如何将弱测量与路径积分形式结合起来。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## 迈克·戈登在硬件验证方面的突破
20世纪60年代，随着复杂度的增加，对完全验证软件的最初乐观情绪逐渐消退。然而，迈克·戈登率先采用了一种非常成功的硬件验证方法，使用了高阶逻辑（HOL）。大约在20世纪80年代，戈登发现了一种方法，可以使用设备端口上的关系来建模硬件电路——从单个晶体管到复杂的系统，统一处理所有端口值（位、字、函数）。
这种方法包括指定期望的行为（Spec）并使用电路来实现它（Imp）。然后，验证就变成了证明 Imp → Spec——即实现的行为符合规范。细化允许从更简单的、经过验证的组件构建复杂的系统。
虽然模型简洁优雅，但最初面临着短路等问题。提出了证明“终止性”等解决方案。重要的是，戈登的模型侧重于*逻辑*功能，承认设计者仍然需要使用其他工具来解决门延迟和功耗等物理约束。他的方法已被证明具有持久性，而更复杂的模型并未获得类似的进展，这突显了建模中简单性的力量。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Mike Gordon 和硬件验证 (2023) (lawrencecpaulson.github.io)
12 分，by sebg 1 天前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
一篇关于不寻常死亡事件——一名洞穴潜水员自杀——的Reddit帖子，引发了人们对维基百科“不寻常死亡列表”的深入研究，揭示了志愿编辑们对“不寻常”的定义出人意料的严格辩论。这突显了浩瀚在线百科背后的常人元素：无数的讨论和编辑塑造着其内容。
这一探索与埃隆·马斯克的人工智能生成百科全书Grokipedia的推出同时发生。然而，Grokipedia并非维基百科的真正竞争对手。它只是对信息的机械化、有偏见且组织混乱的重复，缺乏定义维基百科的透明度、协作精神和人类洞察力。
虽然维基百科面临着人工智能和政治攻击的威胁，但它的优势在于其社区驱动的流程。编辑们一丝不苟地讨论和完善内容，以既定的规则和对共享知识的承诺为指导。相反，Grokipedia是一个黑匣子，证明了*没有*人类协作构建的百科全书会失去其价值和准确性。最终，维基百科的韧性源于它对人类怪癖和集体智慧的拥抱——这是人工智能无法复制的。
Sysadmin降临节是一个为期12天的Linux和DevOps挑战日历，难度各异，从12月1日到12月12日运行。 每天都会有一个你可以解决的情景以获得积分（简单= 1分，中等= 2分，困难= 5分）。 注册一个免费帐户（需要跟踪您的进度）并开始解决情景！ 日期 名称 等级 时间限制 2025-12-01