## 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支持和优化浏览器/窗口管理器同步。
## 乌克兰电力韧性:DIY解决方案
乌克兰因俄罗斯无人机袭击关键基础设施而面临持续停电,寒冷天气增加能源需求,情况更加恶化。一些建筑物为水泵和电梯等基本设施安装备用发电机,互联网服务提供商则采用电池备份或光纤,但这些解决方案通常成本高昂。
意识到市售电力站(如Ecoflow)价格昂贵,一个技术团队决定自行构建电池系统,为他们的Google Pixel 6服务器场供电(需要约500W持续5小时,或2.5kWh的容量)。他们选择更安全且经济高效的LiFePO4电池,直接采购组件——包括关键且难以找到的电池管理系统(BMS),总成本约为600美元,远低于预制选项。
这种DIY方式在乌克兰越来越普遍,源于必要性和对价值的追求。该过程涉及小心地组装电池,连接BMS以确保安全和平衡,并利用“太阳能逆变器”将直流电转换为交流电。尽管存在组装不当的风险,乌克兰人越来越多地将电力韧性掌握在自己手中,以确保在持续冲突中的业务连续性。
## 迈克·戈登在硬件验证方面的突破
20世纪60年代,随着复杂度的增加,对完全验证软件的最初乐观情绪逐渐消退。然而,迈克·戈登率先采用了一种非常成功的硬件验证方法,使用了高阶逻辑(HOL)。大约在20世纪80年代,戈登发现了一种方法,可以使用设备端口上的关系来建模硬件电路——从单个晶体管到复杂的系统,统一处理所有端口值(位、字、函数)。
这种方法包括指定期望的行为(Spec)并使用电路来实现它(Imp)。然后,验证就变成了证明 Imp → Spec——即实现的行为符合规范。细化允许从更简单的、经过验证的组件构建复杂的系统。
虽然模型简洁优雅,但最初面临着短路等问题。提出了证明“终止性”等解决方案。重要的是,戈登的模型侧重于*逻辑*功能,承认设计者仍然需要使用其他工具来解决门延迟和功耗等物理约束。他的方法已被证明具有持久性,而更复杂的模型并未获得类似的进展,这突显了建模中简单性的力量。
一篇关于不寻常死亡事件——一名洞穴潜水员自杀——的Reddit帖子,引发了人们对维基百科“不寻常死亡列表”的深入研究,揭示了志愿编辑们对“不寻常”的定义出人意料的严格辩论。这突显了浩瀚在线百科背后的常人元素:无数的讨论和编辑塑造着其内容。
这一探索与埃隆·马斯克的人工智能生成百科全书Grokipedia的推出同时发生。然而,Grokipedia并非维基百科的真正竞争对手。它只是对信息的机械化、有偏见且组织混乱的重复,缺乏定义维基百科的透明度、协作精神和人类洞察力。
虽然维基百科面临着人工智能和政治攻击的威胁,但它的优势在于其社区驱动的流程。编辑们一丝不苟地讨论和完善内容,以既定的规则和对共享知识的承诺为指导。相反,Grokipedia是一个黑匣子,证明了*没有*人类协作构建的百科全书会失去其价值和准确性。最终,维基百科的韧性源于它对人类怪癖和集体智慧的拥抱——这是人工智能无法复制的。