🛡️ 安全验证 验证您是否为机器人 ⏳ 正在验证您的浏览器… 验证并继续 ✓ 验证完成 此页面将在稍后自动跳转…

德国正经历着大规模的产业抛售，越来越多的公司将生产和所有权转移到国外。阿布扎比国家石油公司（ADNOC）最近以150亿欧元收购化工巨头科思创（Covestro）几乎所有股份，这一事件凸显了资本和战略控制权正在从德国流失。 这并非孤立事件，此前还有中国公司在2016年收购库卡（KUKA）等案例。导致这一趋势的因素包括繁琐的法规、与气候政策相关的合规成本上升以及普遍不利的商业环境。德国的工业产能正在下降——化工行业目前的运营率仅为71%——像科思创这样的公司正面临财务压力。 与此同时，美国正成为一个更受欢迎的替代选择，这得益于放松管制、支持投资的产业政策以及来自阿布扎比和沙特阿拉伯等国家的大量承诺。多家德国公司，包括奥瑞碧斯（Aurubis）和博世（Bosch），已经开始在美国扩张业务。 核心问题在于德国致力于雄心勃勃的“绿色”政策，这些政策被认为对经济有害。尽管有警告和呼吁更广泛的讨论，但焦点仍然是这些政策，导致资本外流和关键的*Mittelstand*（德国经济的支柱）的衰弱。

关于机器是否能“思考”的争论自计算机诞生之初就一直存在，图灵和冯·诺依曼等先驱也在努力探寻这个问题。近期大型语言模型（LLM），如ChatGPT等，的进步重新引发了这场讨论，它们类似人类的回复促使人们猜测其是否具有真正的智能。然而，验证意识仍然是不可能的，并且目前理解这些模型的复杂内部运作方式是无法解决的。 作者认为，尽管LLM具有令人印象深刻的能力，但本质上是“强化版的自动补全”——优化来预测下一个词，而缺乏真正的理解、逻辑或一致性。对修改后的谜语的错误回答证明了它们倾向于表面模式匹配。 然而，仅仅将LLM视为“自动补全”似乎是不够的。作者提出一个关键的区别：人类的思维是“自上而下”（从想法到符号），而LLM的运作是“自下而上”（从符号到想法）。这并没有降低它们的能力，而是表明了一种根本不同的*类型*的智能。最终，作者认为未来不是关于人工智能*取代*人类，而是关于协作——利用这些独特的“自下而上”思考者来增强我们自身的“自上而下”推理能力。

令人惊讶的是，16%的荷兰在线受访者承认主要使用邻居或房东的WiFi上网，这一比例是德国和法国的两倍。这是Statista Consumer Insights的数据。 这种做法似乎与荷兰较低的宽带普及率有关；预计到2025年，只有41%的人拥有宽带，19%的人依赖移动连接。相比之下，美国和英国“借用”WiFi的比例明显较低（分别为4%和3%），英国的宽带普及率高达63%。 有趣的是，荷兰没有将访问加密WiFi网络的行为定为犯罪，而未经授权的计算机访问是非法的，这可能导致了更高的邻里WiFi使用率。数据显示，荷兰存在互联网可访问性差距，并且对WiFi安全采取了不同的法律方法。

## 三体问题与引力模拟 “三体问题”——预测三个引力相互作用物体的运动——是物理学中一个著名的未解难题，不像更简单的二体问题那样缺乏通用的解析解。该模拟器通过数值建模来解决这种复杂性，使用牛顿万有引力定律来计算物体之间的力。 该模拟器提供两种积分方法：速度Verlet，它擅长长期能量守恒和轨道稳定性；以及RK4，提供更高的短期精度。用户可以探索预设的稳定轨道，如“8”字编舞和拉格朗日构型，或创建自定义场景，并调整质量和初始条件。 主要功能包括实时3D可视化、用于分析的时间线以及“共享配置”选项。该模拟器显示总能量和能量漂移，以评估模拟精度；低漂移（低于1%）表示可靠的结果。负的总能量表示引力束缚的稳定系统。该工具允许交互式地探索混沌和稳定的引力动力学，从而深入了解这个复杂领域。

🕹️ 有趣的游戏：玩激动人心的游戏，挑战你的思维，让你捧腹大笑。 🎨 色彩缤纷的故事：在游戏中学习：发现惊人的有趣知识，结识了不起的角色，探索充满惊喜的故事。 🎶 与朋友一起：邀请你的朋友一起派对。每一轮都是新的冒险，只有最勇敢的人才能获胜！

## 瑞典福利系统被犯罪团伙利用 瑞典政府的一项审查显示，一个严重问题是：犯罪团伙正在利用该国的福利系统获取巨额经济利益。大约4000名已知与团伙有关联的个人获得了超过3.275亿欧元的福利——包括病假工资和求职支持金，这为他们的非法活动创造了一条“合法”收入来源。 这意味着瑞典纳税人不知不觉地资助了犯罪活动，为团伙的持续运作提供了一张安全网。该报告强调，在此群体中，具有移民背景的个人比例过高。案例包括被认证为不适合工作的个人，实际上却在积极经营团伙和协调犯罪活动。 此外，该系统还通过赡养费支持和欺诈性公司索赔被利用，尤其是在个人助理领域。政府承认这种情况“令人震惊”，并计划进行立法修改，以改善数据共享和验证，旨在切断犯罪网络的资金来源，并重新评估现有的福利案件。

## NVMe2K：Windows 2000 NVMe 驱动程序摘要 NVMe2K 是一个实验性的 SCSI 迷你端口驱动程序，旨在为 Windows 2000 带来 NVMe 固态驱动器支持，目标平台包括 x86 和 Alpha AXP。它基于 ScsiPort 框架构建，允许 Windows 2000 识别和利用通过 PCI 总线（类代码 01-08-02）连接的 NVMe 设备。 该驱动程序是一个概念验证，提供基本功能，但存在限制：单个 I/O 队列、传统中断处理（INTx）、有限的并发传输以及不支持命名空间或电源管理。配置通过 INF 文件实现，调整队列深度和散布/收集列表大小等参数。调试支持通过 WinDbg 和 ScsiDebugPrint 进行。 NVMe2K 使用 Visual C++ 6.0 和 Windows 2000 DDK 开发，并采用 3-Clause BSD 许可。**它不提供任何担保，仅供实验使用，存在数据丢失或系统不稳定的风险。** 未来的开发方向包括多队列支持、MSI-X 中断和性能优化。

## SmartTube 安全漏洞摘要 本月早些时候，流行的Android TV和Fire TV上的SmartTube YouTube应用程序遭遇了安全漏洞。用于构建应用程序的开发人员的计算机感染了恶意软件，导致恶意版本（特别是来自APKMirror的30.43和30.47版本）被意外发布。这可能是Google和Amazon强制卸载的原因，而非最初怀疑的数字签名泄露。 受感染的计算机已被擦除，现在提供了一个新版本（30.56 – 通过Downloader应用程序安装码28544用于稳定版，79015用于测试版），并带有新的数字签名。 虽然恶意软件的具体功能尚不清楚，但建议用户假设最坏的情况。**建议恢复出厂设置最近安装/更新了SmartTube版本的设备（尤其是在11月），并检查Google/YouTube帐户权限是否存在可疑活动。** 仅使用提供的代码安装最新版本，以确保干净的安装。

您的请求已被阻止，原因是网络策略。请登录或在此处创建帐户以恢复浏览。如果您正在运行脚本或应用程序，请在此处注册或使用您的开发者凭据登录。此外，请确保您的User-Agent不为空，并且是独特且具有描述性的，然后重试。如果您正在提供替代的User-Agent字符串，请尝试改回默认设置，因为这有时会导致阻止。您可以在此处阅读Reddit的服务条款。如果您认为我们错误地阻止了您，或者想讨论更轻松地获取所需数据的方式，请在此处提交工单。联系我们时，请提供您的Reddit帐户以及以下代码：205aa5ea-f6ba-48b8-816f-cf7b83e7e1c8

Set Studio/Piccalilli 由于艰难的经济环境面临挑战，情况类似于2020年，并且由于伦理方面的担忧而不愿抓住人工智能的机遇。尽管在以人为本的网页设计和开发方面享有盛誉，并通过Piccalilli提供有价值的免费教育内容，但项目咨询量有所下降。 通过Open Collective进行的社区募资尝试未能成功，凸显了许多人面临的财务压力。该公司严重依赖课程销售，尤其是在黑色星期五期间，但目前表现不佳。他们提供三门备受好评的课程——完整CSS、人人JavaScript和正念设计，由行业专家创建。 作者公开呼吁通过购买课程、分享他们的工作以及考虑在未来的网页项目中使用Set Studio来提供支持。他们强调对道德实践、高效工作和合理定价的承诺，将自己定位为合作伙伴而非传统机构。咨询服务也将在新年推出。最终，这是一个透明的求助，旨在继续提供高质量的工作和教育。

您的IP地址已被Codeberg屏蔽。如果您认为这是一个错误，请通过contact us联系我们，并提供您的IP地址：47.245.80.60

## craw：Windows 测试运行器摘要 `craw.py` 是一个 Windows 测试运行器，旨在执行在 `.t` 文件中定义的测试，使用 PowerShell 或 Cmd。它解释这些文件，生成 `.err` 输出以进行比较，并提供标准的测试框架行为——不为零的返回码以及差异显示。 主要功能包括：通过 `--shell` 选项支持 PowerShell 和 Cmd，沙盒测试目录，以及使用 `-i -y`（组合使用）自动将 `.err` 文件提升为 `.t` 文件的能力。`craw` 还处理环境变量，为 PowerShell 和标准变量访问复制它们。 目前，诸如预期输出的正则表达式匹配、通过 `.cramrc` 或环境变量进行配置以及原始 `cram` 的完整标志支持等功能*尚未*实现。测试依赖于由 `craw` 本身运行的端到端 `.t` 文件，未来的开发可能包括更强大的单元测试框架。

X210Ai 是一款用于升级 Thinkpad X201/200 的新主板，详情如下： 1、CPU：Ultra 7 165H，Ultra 9 185H； 2、存储支持：两个 M.2 SSD PCIE 4.0 (一个 2280，一个 2242)，原有的 2.5 英寸 SATA； 3、内存：DDR5 5600MHz，最高 128G (64G + 64G)； 4、两个 Type-C：一个支持雷电 4.0，另一个是全功能 Type-C； 5、支持输出 HDMI 2.1； 6、显示：支持与 X2100 相同的屏幕，例如原 X201/200 的屏幕，13 英寸 3000×2000，13.3 英寸 1920×1200 和 13.3 英寸 2560×1600； 7、WWAN 4/5G； 8、SATA 的位置可以安装第二个风扇； 9、新的子板； 10、X210Ai 项目目前无法保证 coreboot 支持，但我们仍致力于探索可能的解决方案。 X210Ai 时间线请点击此处 X210Ai 相关文件 & 软件下载 请点击此处查看最新价格 请点击此处订购 X210Ai

客户端挑战：您的浏览器已禁用 JavaScript。请启用 JavaScript 以继续。网站的必要部分无法加载。这可能是由于浏览器扩展、网络问题或浏览器设置造成的。请检查您的连接，禁用任何广告拦截器，或尝试使用不同的浏览器。

## reMarkable 2：初步印象与自制潜力 我最近以黑色星期五的折扣价购买了reMarkable 2平板电脑，包括Marker Plus笔和书套。它确实是一款非常出色的无干扰写作设备——笔触手感极佳，延迟低且笔刷可自定义。我正在重拾手写文字的乐趣！Marker Plus上的橡皮擦是一个值得升级的功能。 虽然阅读PDF文件是可行的，但触摸手势不够流畅，用笔触导航感觉更好。一项订阅服务（“Connect”）提供云存储和模板等实用功能，价格约为每年30美元，但并非必需品。 我的主要目标是用于唱诗班的乐谱阅读，但reMarkable当前的软件缺乏像MobileSheets等应用程序中那样的裁剪、半页翻页和强大的图书馆管理等关键功能。这促使我探索了这个设备令人惊讶的活跃的自制社区。 尽管reMarkable对软件修改持开放态度，但由于操作系统版本兼容性问题，运行软件包管理器（Toltec）仍然具有挑战性。该社区严重依赖逆向工程专有软件（xochitl）来访问显示屏，虽然独立驱动程序正在取得进展，但这仍然是一项持续的工作。我已开始用Rust构建自己的音乐阅读器，希望为该生态系统做出贡献。

一个用于规避人工智能垃圾内容的浏览器扩展。为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支持和优化浏览器/窗口管理器同步。

## 美国酒精消费情况 - 2024 年快照 最近，药物滥用和精神健康服务管理局的数据显示，酒精在美国仍然普遍存在，12 岁及以上年龄段的个人中，有 46.5% 的人在过去一个月内饮酒——略低于 2022 年。这相当于大约 1.34 亿人。 然而，数据揭示了酒精使用之外令人担忧的趋势。超过 20% 的人口（5790 万人）参与了狂饮——一次性大量饮酒——这代表了所有饮酒者的一大比例（43.1%）。 有 1450 万美国人被归类为重度饮酒者，每月有五天或更多天进行狂饮。这个群体虽然占总人口的 5%，但占所有狂饮者的四分之一，占所有定期饮酒者的十分之一，表明饮酒人群中存在集中风险。

布莱恩·考克斯教授与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 以继续。

在弗拉基米尔·普京自乌克兰冲突开始以来首次访印之前，即将举行的与莫迪的峰会一个重要但鲜为人知的方面是潜在的大规模劳务迁移协议。俄罗斯面临日益严重的劳动力短缺——预计到2030年将达到310万——并积极寻求工人，目标是招募多达100万外国劳工。 这一举措与俄罗斯移民政策的变化相吻合，由于近期恐怖事件导致的安全问题加剧以及吸引与“传统俄罗斯价值观”相符的移民的愿望，俄罗斯正在减少对中亚劳工的依赖。印度被视为更理想的来源，其人口被认为不易受到激进化影响，且缺乏可能被利用的历史积怨。 该协议不会提供入籍途径，仅侧重于填补劳动力缺口，并为印度工人提供汇款机会。鉴于印度历史上对俄罗斯的积极看法及其世俗社会，峰会期间达成实质性协议的可能性很大。

## 迈克·戈登在硬件验证方面的突破 20世纪60年代，随着复杂度的增加，对完全验证软件的最初乐观情绪逐渐消退。然而，迈克·戈登率先采用了一种非常成功的硬件验证方法，使用了高阶逻辑（HOL）。大约在20世纪80年代，戈登发现了一种方法，可以使用设备端口上的关系来建模硬件电路——从单个晶体管到复杂的系统，统一处理所有端口值（位、字、函数）。 这种方法包括指定期望的行为（Spec）并使用电路来实现它（Imp）。然后，验证就变成了证明 Imp → Spec——即实现的行为符合规范。细化允许从更简单的、经过验证的组件构建复杂的系统。 虽然模型简洁优雅，但最初面临着短路等问题。提出了证明“终止性”等解决方案。重要的是，戈登的模型侧重于*逻辑*功能，承认设计者仍然需要使用其他工具来解决门延迟和功耗等物理约束。他的方法已被证明具有持久性，而更复杂的模型并未获得类似的进展，这突显了建模中简单性的力量。

瑟哈特·古姆鲁克çu，43岁，曾是生物科技公司Enochian Biosciences（后更名为Renovaro）的科学创始人，因2018年在佛蒙特州雇凶杀害格雷戈里·戴维斯而被判处终身监禁。此案源于一项失败的石油商品交易，以及古姆鲁克çu担心戴维斯会揭露与潜在艾滋病毒“治愈”并购相关的欺诈行为。 古姆鲁克çu的欺诈背景最初是由做空机构Hindenburg Research于2022年揭露，他们称其公司是一个价值6亿美元的骗局。检察官证明，古姆鲁克çu资助了一项20万美元的阴谋，利用同伙伯克·埃拉泰、阿隆·埃斯里奇和杰里·班克斯——他们分别被判处9至16年的刑期——绑架并杀害戴维斯。 班克斯在犯罪过程中冒充美国联邦法警。 尽管声称自己无辜，并承认有说谎的历史，包括购买假医学学位，古姆鲁克çu最终于2025年4月被判犯有雇凶杀人、共谋和电线欺诈罪。受害者的遗孀赞扬了不懈的调查和对正义的追求。古姆鲁克çu的故事，讲述了他从自称“读心魔术师”到臭名昭著的生物医学企业家的经历，引起了广泛关注，甚至成为播客的主题。

已与23andMe（现“Chrome”）就2023年网络攻击达成和解，该攻击影响了约640万美国客户。如果您在2023年5月1日至2023年10月1日期间是23andMe客户，并收到了数据泄露通知，您可能有资格获得赔偿。 这些赔偿包括潜在的现金支付——“特别索赔”最高可达10,000美元，“健康信息索赔”最高可达165美元，“法定现金索赔”约为100美元——以及五年免费的隐私与医疗防护+基因监测服务。 要获得现金支付（不包括健康信息索赔），您**必须在**2026年2月17日之前**提交索赔**。您也可以选择在2025年12月29日之前**退出**和解，或在同一日期**反对**和解。不采取任何行动仍会使您受到和解的约束，但仅能获得监测服务。 此案为*23andMe, Inc. 客户数据安全泄露诉讼*，目前在美国密苏里州东区破产法院审理中。

最近一项分析指出，美国在定义和解决贫困问题上存在一个关键缺陷。官方贫困线源于1963年的数据，并且只根据通货膨胀进行调整，严重低估了现代家庭的真实生活成本。虽然收入在4万美元到10万美元之间可能看起来足够，但实际的“参与预算”——即满足基本需求（如儿童保育、医疗保健和住房）所需的收入——估计在13.6万美元到15万美元之间。 这种差异制造了一个“贫困陷阱”，其中收入增加常常被关键福利的丧失所抵消（即“福利悬崖”），使得向上流动极其困难。该系统实际上惩罚了工作，随着福利的消失，边际税率飙升。 核心问题不是缺乏努力，而是过时的指标以及由数十年货币政策和关键部门的过度监管造成的系统性扭曲。 提出的解决方案包括更新贫困计算公式、放松对基本服务的监管以降低成本，以及改革货币政策以稳定物价。 如果没有这些改变，实现经济稳定对于数百万美国家庭来说仍然是无法企及的“逃逸速度”。

一篇关于不寻常死亡事件——一名洞穴潜水员自杀——的Reddit帖子，引发了人们对维基百科“不寻常死亡列表”的深入研究，揭示了志愿编辑们对“不寻常”的定义出人意料的严格辩论。这突显了浩瀚在线百科背后的常人元素：无数的讨论和编辑塑造着其内容。 这一探索与埃隆·马斯克的人工智能生成百科全书Grokipedia的推出同时发生。然而，Grokipedia并非维基百科的真正竞争对手。它只是对信息的机械化、有偏见且组织混乱的重复，缺乏定义维基百科的透明度、协作精神和人类洞察力。 虽然维基百科面临着人工智能和政治攻击的威胁，但它的优势在于其社区驱动的流程。编辑们一丝不苟地讨论和完善内容，以既定的规则和对共享知识的承诺为指导。相反，Grokipedia是一个黑匣子，证明了*没有*人类协作构建的百科全书会失去其价值和准确性。最终，维基百科的韧性源于它对人类怪癖和集体智慧的拥抱——这是人工智能无法复制的。

Sysadmin降临节是一个为期12天的Linux和DevOps挑战日历，难度各异，从12月1日到12月12日运行。 每天都会有一个你可以解决的情景以获得积分（简单= 1分，中等= 2分，困难= 5分）。 注册一个免费帐户（需要跟踪您的进度）并开始解决情景！ 日期 名称 等级 时间限制 2025-12-01