一个用于规避人工智能垃圾内容的浏览器扩展。为Chrome或Firefox下载。这是一个搜索工具,仅返回ChatGPT于2022年11月30日首次公开发布之前的内容。自ChatGPT和其他大型语言模型公开发布以来,互联网正日益被人工智能生成文本、图像和视频污染。此浏览器扩展使用Google搜索API,仅返回2022年11月30日之前发布的内容,确保其由人类撰写或制作。
一个用于规避人工智能垃圾内容的浏览器扩展。为Chrome或Firefox下载。这是一个搜索工具,仅返回ChatGPT于2022年11月30日首次公开发布之前的内容。自ChatGPT和其他大型语言模型公开发布以来,互联网正日益被人工智能生成文本、图像和视频污染。此浏览器扩展使用Google搜索API,仅返回2022年11月30日之前发布的内容,确保其由人类撰写或制作。
## 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支持和优化浏览器/窗口管理器同步。
布莱恩·考克斯教授与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$。
## 乌克兰电力韧性:DIY解决方案
乌克兰因俄罗斯无人机袭击关键基础设施而面临持续停电,寒冷天气增加能源需求,情况更加恶化。一些建筑物为水泵和电梯等基本设施安装备用发电机,互联网服务提供商则采用电池备份或光纤,但这些解决方案通常成本高昂。
意识到市售电力站(如Ecoflow)价格昂贵,一个技术团队决定自行构建电池系统,为他们的Google Pixel 6服务器场供电(需要约500W持续5小时,或2.5kWh的容量)。他们选择更安全且经济高效的LiFePO4电池,直接采购组件——包括关键且难以找到的电池管理系统(BMS),总成本约为600美元,远低于预制选项。
这种DIY方式在乌克兰越来越普遍,源于必要性和对价值的追求。该过程涉及小心地组装电池,连接BMS以确保安全和平衡,并利用“太阳能逆变器”将直流电转换为交流电。尽管存在组装不当的风险,乌克兰人越来越多地将电力韧性掌握在自己手中,以确保在持续冲突中的业务连续性。
启用 JavaScript 和 Cookie 以继续。
## 迈克·戈登在硬件验证方面的突破
20世纪60年代,随着复杂度的增加,对完全验证软件的最初乐观情绪逐渐消退。然而,迈克·戈登率先采用了一种非常成功的硬件验证方法,使用了高阶逻辑(HOL)。大约在20世纪80年代,戈登发现了一种方法,可以使用设备端口上的关系来建模硬件电路——从单个晶体管到复杂的系统,统一处理所有端口值(位、字、函数)。
这种方法包括指定期望的行为(Spec)并使用电路来实现它(Imp)。然后,验证就变成了证明 Imp → Spec——即实现的行为符合规范。细化允许从更简单的、经过验证的组件构建复杂的系统。
虽然模型简洁优雅,但最初面临着短路等问题。提出了证明“终止性”等解决方案。重要的是,戈登的模型侧重于*逻辑*功能,承认设计者仍然需要使用其他工具来解决门延迟和功耗等物理约束。他的方法已被证明具有持久性,而更复杂的模型并未获得类似的进展,这突显了建模中简单性的力量。
已与23andMe(现“Chrome”)就2023年网络攻击达成和解,该攻击影响了约640万美国客户。如果您在2023年5月1日至2023年10月1日期间是23andMe客户,并收到了数据泄露通知,您可能有资格获得赔偿。
这些赔偿包括潜在的现金支付——“特别索赔”最高可达10,000美元,“健康信息索赔”最高可达165美元,“法定现金索赔”约为100美元——以及五年免费的隐私与医疗防护+基因监测服务。
要获得现金支付(不包括健康信息索赔),您**必须在**2026年2月17日之前**提交索赔**。您也可以选择在2025年12月29日之前**退出**和解,或在同一日期**反对**和解。不采取任何行动仍会使您受到和解的约束,但仅能获得监测服务。
此案为*23andMe, Inc. 客户数据安全泄露诉讼*,目前在美国密苏里州东区破产法院审理中。
一篇关于不寻常死亡事件——一名洞穴潜水员自杀——的Reddit帖子,引发了人们对维基百科“不寻常死亡列表”的深入研究,揭示了志愿编辑们对“不寻常”的定义出人意料的严格辩论。这突显了浩瀚在线百科背后的常人元素:无数的讨论和编辑塑造着其内容。
这一探索与埃隆·马斯克的人工智能生成百科全书Grokipedia的推出同时发生。然而,Grokipedia并非维基百科的真正竞争对手。它只是对信息的机械化、有偏见且组织混乱的重复,缺乏定义维基百科的透明度、协作精神和人类洞察力。
虽然维基百科面临着人工智能和政治攻击的威胁,但它的优势在于其社区驱动的流程。编辑们一丝不苟地讨论和完善内容,以既定的规则和对共享知识的承诺为指导。相反,Grokipedia是一个黑匣子,证明了*没有*人类协作构建的百科全书会失去其价值和准确性。最终,维基百科的韧性源于它对人类怪癖和集体智慧的拥抱——这是人工智能无法复制的。
Sysadmin降临节是一个为期12天的Linux和DevOps挑战日历,难度各异,从12月1日到12月12日运行。 每天都会有一个你可以解决的情景以获得积分(简单= 1分,中等= 2分,困难= 5分)。 注册一个免费帐户(需要跟踪您的进度)并开始解决情景! 日期 名称 等级 时间限制 2025-12-01