启用 JavaScript 和 Cookie 以继续。

前往内容 vuseum 苹果雇佣前以色列8200部队间谍 分享： 分享到X (在新窗口中打开) X 分享到Facebook (在新窗口中打开) Facebook 喜欢 加载中... 相关 vuseum, 网站由WordPress.com创建。 隐私和Cookie：本网站使用Cookie。继续使用本网站即表示您同意使用Cookie。 要了解更多关于Cookie控制的信息，请阅读此处： Cookie政策 评论 重新发布 订阅 已订阅 vuseum 注册 您已经拥有WordPress.com帐户？立即登录。 vuseum 订阅 已订阅 注册 登录 复制短链接 举报此内容 在阅读器中查看文章 管理订阅 缩小工具栏 加载评论... 发表评论... 电子邮件 (必填) 姓名 (必填) 网站 %d 使用WordPress.com设计类似网站 从现在开始

俄罗斯宣布将于5月1日起停止通过友谊管道向德国输送哈萨克原油，理由是“技术问题”。此前，该管道曾短暂恢复俄罗斯石油的流动——可能与乌克兰资金批准有关。此举将影响PCK施韦特炼油厂，该炼油厂是柏林及周边地区的重要燃料供应商，并加剧了中东紧张局势下的能源担忧。 哈萨克斯坦证实了这一通知，表示5月份的输送量将为零。德国能源监管机构表示，停运不会危及整体供应，但预计会出现区域价格波动。正在探索通过波兰和俄罗斯港口的替代路线。 情况复杂，因为友谊管道曾多次中断供应——包括因俄罗斯袭击造成的损坏——并且欧洲各国的依赖程度各不相同。匈牙利和斯洛伐克仍然依赖俄罗斯石油，而德国已经开始通过友谊管道用哈萨克原油替代俄罗斯石油。该炼油厂由俄罗斯石油公司部分拥有，目前由德国政府托管。

第一次世界大战期间，巧克力大亨米尔顿·赫尔西在古巴修建了一条铁路，并建立了一个庞大的糖业帝国。由于糖短缺以及希望绕过美国糖业精炼公司的垄断，赫尔西大力投资这个岛国，被其肥沃的土地和受美国保护的地位所吸引。 他的业务发展到包括种植园、制糖厂、炼糖厂、公司城镇和发电厂，所有这些都通过赫尔西电力铁路连接起来。这条铁路最初是蒸汽动力，1920年实现了电气化，以高效地将甘蔗从田地运送到制糖厂，确保24/7运营。除了糖的生产，这条铁路还为当地城镇供电。 赫尔西复制了他从宾夕法尼亚州赫尔西成功实施的工业乌托邦模式，为工人提供住房、医疗保健、教育（在一次悲惨的火车事故后成立赫尔西农业学校）和娱乐设施。然而，他的家长式作风也包括反对工会和使用更廉价的移民劳工。 赫尔西于1946年去世后，公司出售了其在古巴的资产。尽管这条铁路在之后的几十年里继续零星运营，但古巴持续的电力问题和基础设施损坏阻碍了它的复兴，尽管最近的分析探讨了它作为可持续交通选择的潜力。

英国高等法院最近裁定，伦敦都市警察局在伦敦交通网络中使用实时面部识别（LFR）技术是合法的，驳回了“老大哥观察”组织和一名此前被该系统错误识别的青年工作者提出的法律挑战。该挑战认为LFR侵犯了欧洲人权公约中规定的隐私权和言论自由权。 这项裁决为该技术在全国范围内推广铺平了道路。虽然计划提出上诉，但作者批评了法律策略，认为关注隐私原则可能更为有效。 这一决定被视为英国日益增长的威权主义趋势的一部分，并引用了最近禁止下一代吸烟的立法以及即将实施的学校禁用智能手机的政策。作者对政府过度干预表示担忧，并倡导个人自由，即使是在可能有害的选择方面。

艾丽丝·佩勒林认为，十六进制编辑器应该利用颜色编码来提高数据可读性，就像代码编辑器中的语法高亮一样。当前的十六进制编辑器通常将数据呈现为单调的字节列表，难以辨别模式。颜色编码，特别是使用更广泛的颜色组（例如她的例子中的18个，基于前导半字节），可以让人的眼睛快速识别数据中的结构和异常。 她通过游戏数据、压缩文件和位图等各种文件类型的例子来证明这一点，展示了颜色如何揭示单色显示中不可见的隐藏细节。虽然许多十六进制编辑器*提供*一些颜色化功能，但它们通常使用有限的类别（例如ASCII与非ASCII）。佩勒林提倡更精细的颜色编码，以最大限度地提高模式识别能力。 文章列出了几个具有颜色功能的十六进制查看器和编辑器（Hexyl、xcd-rgb、Hevi、REHex、Hex Fiend和她自己的项目Hexapoda），并鼓励开发者优先考虑此功能，因为它具有显著的实用性，且缺点很小。最终，她认为更好地可视化十六进制数据可以极大地帮助分析和理解。

欧洲委员会主席乌尔苏拉·冯德莱恩最近将土耳其与俄罗斯和中国并列为对欧洲的负面影响，引发了土耳其政府和欧洲议会议员的批评。批评人士认为，这些言论具有分裂性且不准确，尤其考虑到土耳其作为北约盟友的关键作用，以及其在乌克兰战争和难民支持方面的外交努力。 冯德莱恩将该声明定义为呼吁欧洲摆脱外部影响，实现更大的独立，但议员们指出土耳其作为欧盟成员国的候选国地位，并警告国际关系中不要抱有“我们与他们”的心态。 欧盟迅速试图澄清这些言论，承认土耳其在移民、安全和能源等领域的重要性。然而，这一事件凸显了欧盟对土耳其日益独立的对外政策及其与西方国家和俄罗斯等国家之间复杂关系的担忧。

## Arch Linux 实现完全一致的可复现 Docker 镜像 Arch Linux 发布了一个完全一致的可复现 Docker 镜像，带有“repro”标签，这与他们最近在 WSL 镜像上取得的成功类似。这意味着相同的构建将产生相同的镜像，从而提高安全性和可信度。 然而，为了实现这一点，需要从镜像中移除 pacman 密钥以保证可复现性。因此，用户需要在容器内使用 `pacman-key --init && pacman-key --populate archlinux` 重新初始化并填充 pacman 密钥环，然后再安装或更新软件包。Distrobox 用户可以使用预初始化钩子来自动化此过程。 该项目涉及确定性 rootFS 构建、时间戳标准化以及删除非确定性文件，例如 `ldconfig` 缓存。验证是通过摘要相等性和 `diffoci` 比较完成的。镜像复现的文档可用，并且正在考虑进一步改进，包括自动重建和公开验证。这一里程碑为 Arch Linux 社区更广泛的“可复现构建”努力做出贡献。

英国与法国正主导国际努力，以重新开放霍尔木兹海峡，并主办为期两天的会议，与来自30多个国家的军事规划人员共同参与。 尽管美国与伊朗之间的紧张局势依然存在，但美国停火协议虽有暂时延长。 尽管特朗普总统维持海军封锁——伊朗称之为“围攻”，但美伊重新谈判的希望已经搁浅，副总统万斯计划访巴基斯坦的行程也已推迟。 英国认为，确保霍尔木兹海峡的航行自由对于全球贸易、能源安全和经济稳定至关重要。 会议旨在制定一项联合军事计划，在达成持久停火协议后“条件允许时”保护该航道，将外交努力转化为具体行动。

该网站正在使用安全服务来保护自身免受在线攻击。您刚才的操作触发了安全解决方案。 提交特定词语或短语、SQL命令或格式错误的数据等行为可能会触发此阻止。

乌克兰已完成对“友谊”石油管道的修复，该管道在1月份疑似受到俄罗斯袭击而受损，并已准备好恢复向匈牙利和斯洛伐克输送石油。此举被广泛视为旨在解除欧盟对乌克兰的900亿欧元援助计划的僵局，此前该计划曾因匈牙利总理奥尔班·维克多而受阻。 这一时间点与匈牙利政治的重大转变相吻合，彼得·马加尔在对阵奥尔班的选举中获得压倒性胜利。虽然马加尔表示他不会阻碍欧盟援助，但他同时也表示匈牙利不会提供财政贡献，并且反对乌克兰加入欧盟。他还计划加强匈牙利的边境，并拒绝欧盟的移民协议。 尽管被视为亲欧盟力量的胜利，但马加尔的立场表明匈牙利将在其政策上保持独立，即使奥尔班下台，也可能使欧盟的目标复杂化。乌克兰总统泽连斯基强调需要继续对俄罗斯实施制裁，以及欧洲能源独立的重要性。

这是一个基于网页的Plexus P/20模拟器，Plexus P/20是20世纪80年代的一款Unix服务器，运行SystemV Unix，采用双68010处理器。它以接近实时的方式运行，需要先下载硬盘镜像——黑屏表示正在下载中。 常见的启动序列包括自检（“PLEXUS SELFTEST REV 3.3”——用“!”中止），然后是引导提示符（“PLEXUS PRIMARY BOOT REV 1.2”）。在提示符下按Enter启动Unix；输入'init 2'后可以无密码以'root'用户登录。 视觉故障可以通过在浏览器中启用画布图像数据来修复。数据保存在本地，但如果您更换浏览器/电脑或浏览器清除存储，数据将会丢失。该模拟器使用C语言编写，编译为WebAssembly，并利用xterm.js实现终端。源代码可在Github上获取。

匈牙利即将上任的首相彼得·马加尔表示，他对以色列和国际刑事法院（ICC）的政策将发生重大转变。与他的前任维克多·奥尔班不同，马加尔打算停止匈牙利退出国际刑事法院的程序，这可能导致该国在以色列总理本雅明·内塔尼亚胡访问时必须逮捕他，因为国际刑事法院已经就加沙地区的行动发布了逮捕令。 尽管最近邀请内塔尼亚胡参加纪念活动，但马加尔声称匈牙利在法律上必须拘留他，因为他是国际刑事法院的嫌疑人。这与奥尔班之前对内塔尼亚胡的豁免保证以及启动退出国际刑事法院的程序形成了鲜明对比。 此举正值国际社会对加沙冲突问责制的压力日益增加之际，并紧随美国对正在进行调查的国际刑事法院官员实施制裁之后，这些行动被广泛谴责为破坏国际法律体系。马加尔的立场代表了匈牙利在此问题上与以色列先前立场的一个重大偏离。

## Anthropic 的 Claude Mythos：炒作与现实 Anthropic 推出的 Claude Mythos，被宣传为一项突破性的网络安全工具，但仔细研究他们的 244 页系统卡后，其炒作程度似乎被夸大了。尽管声称发现了“数千”个零日漏洞，但技术文档缺乏可量化的证据，缺少关键细节，如 CVE 编号、严重程度评级或与现有工具的比较。 核心演示——利用 Firefox 中的漏洞——依赖于一个经过大量修改的测试环境*没有*标准安全保护，使用的漏洞已经被修复，并且最初是*由另一个 Anthropic 模型发现的*。仅去除两个容易利用的漏洞，Mythos 的成功率从 72.4% 降至仅 4.4%，表现与旧模型相似。独立测试证实了这些发现，较小、更便宜的模型可以复制展示的漏洞。 除了技术上的不足，人们还对“1 亿美元防御倡议”表示担忧——该倡议主要由产品积分而非直接资金组成——以及专属的 Glasswing 联盟。该联盟汇集了多家大型科技公司，实际上创建了一个私有的漏洞披露系统，引发了对监管俘获和透明度有限的担忧。 最终，报告表明 Mythos 只是一个更快，但并非全新的漏洞扫描器。真正的风险不是该工具本身，而是由私营公司控制安全信息访问权，并可能塑造围绕人工智能驱动的威胁的叙述所设定的先例。

请启用 JavaScript 并禁用任何广告拦截器。

## exe.dev：为热爱计算机的开发者打造的云平台 今天exe.dev的融资公告源于一个简单、个人的动机：对计算机的真挚热爱以及对当前云计算现状的沮丧。尽管技术不断进步，现有的云解决方案始终施加限制，迫使开发者围绕基础设施工作，而不是利用其力量。 核心问题不在于用户体验或API设计，而是根本上存在缺陷的抽象。当前的云模型将虚拟机绑定到僵化的CPU/内存分配，提供缓慢且昂贵的磁盘访问（尤其是在使用SSD时），并施加高昂的网络成本。这些限制需要复杂的规避方案，例如嵌套虚拟化和Kubernetes——这些工具试图解决一个无法解决的问题：使根本上存在缺陷的抽象可移植。 exe.dev旨在通过提供更直接的方法来解决这个问题：提供原始CPU、内存和快速本地NVMe存储，允许开发者根据自己的意愿运行虚拟机。初始功能包括资源隔离、内置代理、全球区域和Anycast网络。 受到AI代理兴起（它们需要更多计算能力并受到现有云的限制）的推动，exe.dev寻求创建一个真正对开发者友好的云平台，使他们能够构建和运行软件而无需不必要的限制。这是一种回归基础的做法，构建一个创始人真正*想要*使用的云平台。

## Palantir 与英国国民医疗服务体系：重塑语言以理解监控 本次演讲发布了Medact关于Palantir参与英国国民医疗服务体系的简报，警告了不受控制的人工智能和数据监控的危险。演讲者是一位前人工智能行业专业人士，他强调了像Palantir这样与战争罪有历史联系的公司开发的工具，正日益影响着平民生活，从而引发了议会对国民医疗服务体系合同的审查。 核心论点在于*理解*这些复杂系统，而不是需要技术专业知识。演讲者呼吁从营销炒作中“重塑语言”，将Palantir定位为一个模型，而不是一个独特的实体，它代表了众多提供预测监控的公司。Palantir这个名字，借自托尔金的“全知之石”，具有讽刺意味地预示了这些技术中固有的过度自信和潜在的误判。 至关重要的是，演讲强调了这些系统嵌入的“本体论”——潜在的世界观。这种本体论并非中立的；它可以编码偏见，强化意识形态，并最终导致歧视，正如Palantir的工作对多元化倡议的影响所见。演讲者提倡对数据来源、算法设计和自动化决策进行批判性审查，认识到这些公司的利润驱动型动机以及由此产生的问责缺失。最终，挑战这些系统需要重塑我们对现实的理解，并抵制单一、潜在有害的世界观的强加。

## 细菌鞭毛电机：十亿年的工程学 数十亿年来，早期生命面临着一个根本挑战：向养分移动。 进化精益求精的解决方案是细菌鞭毛电机——一种极其高效的分子机器，为细菌的运动提供动力。这个“螺旋桨/大脑”以惊人的速度旋转，利用鞭毛状结构在水中推动细胞，在前进运动和随机翻滚之间切换以寻找营养物质。 最近的突破，利用低温电子显微镜成像，终于揭示了电机的复杂运作机制。 它由“质子动力”驱动——持续的质子流入细胞，被像旋转栅门一样的定子蛋白利用。 这种单向质子流被巧妙地转化为双向旋转，使电机能够根据化学信号改变方向，引导细菌寻找食物。 最初科学家认为鞭毛电机“荒谬”，其复杂性长期以来引发争论，一些创造论者将其作为“不可简化复杂性”的证据。 然而，详细的结构分析表明其逐渐进化。 理解这种电机不仅仅是关于细菌的运动；它阐明了一种驱动所有细胞过程的根本“生命力”，展示了物理学和进化协同作用的力量。

尽管油市因停火延期和美国-伊朗谈判停滞而看似平静，但潜在局势仍然岌岌可危。原油价格稳定，但全球石油库存正在以创纪录的速度下降——自冲突开始以来估计已下降4.74亿桶，而霍尔木兹海峡的流量仅为正常水平的10%。 虽然最初的恐慌性购买已经平息，并且亚洲地区正在发生一些减库存，但这不可持续，因为库存正在逼近极低水平。即期油价与期货价格之间的差距仍然很大，表明近期需求供应紧张。 美国石油出口激增，但管道运力限制阻碍了进一步增加。高盛警告说，如果霍尔木兹海峡中断持续或中东供应进一步受到影响，价格将面临显著上涨风险，尽管他们也承认其当前价格预测存在双向风险。总体而言，全球石油缓冲正在减少，如果供应没有恢复，人们担心可能需要减少需求。

This appears to be binary data from a PDF file, not natural language content. It is not translatable into readable Chinese. It consists of code and symbols.

这个演示探索了一种玩具语言，它结合了动态类型和内联值、栈分配、内部指针、单一所有权和有限借用等特性——旨在实现超越简单引用的表达能力，但比 Rust 的借用检查器更简单。核心挑战是在*没有*静态类型的情况下实现内存安全，并高效地实现。 这种方法模仿 Julia 和 Zig 的分层类型：从动态开始，然后添加静态检查以消除可能的开销。该实现允许通过显式注释在动态（解释型）和静态（编译型）代码之间切换。使用了一种新颖的动态借用检查系统，依赖于引用计数（仅限于栈分配以提高性能），并在违反规则时立即在运行时报错。 关键限制确保安全：所有者引用不能指向借用的数据，并且禁止某些借用模式。该系统跟踪引用来源（所有者和借用者），以提供信息丰富的错误消息。虽然有局限性，但它实现了诸如从函数返回引用和遍历链表等功能，而这些功能仅使用二级引用是无法实现的。作者承认该系统比较复杂，并探讨了潜在的改进，例如更隐式的解引用或转向二级引用和协程，灵感来自 Hylo。未来的工作可能包括完全静态类型或改进动态代码的易用性。

## 正在出现的后美元世界秩序 数十年以来，美国美元的霸权地位不仅通过贸易维持，还通过经济和军事力量维持——一个通过制裁和控制全球支付系统（如SWIFT）来将金融武器化的体系。然而，一个多极金融秩序正在形成，其驱动力是各国寻求摆脱这种胁迫，尤其是在全球南方和金砖经济体内部。 这并非关于美元的突然崩溃，而是朝着国家货币贸易、央行互换协议、主权支付系统（如俄罗斯的SPFS和中国的CIPS）以及发展融资倡议的逐步转变——所有这些都旨在减少对西方控制的资本的依赖。这种动力的来源是目睹像俄罗斯和伊朗这样的国家在经济上被孤立，从而引发了对金融主权的渴望。 金砖国家扩张至关重要，它为西方附加条件提供了一种替代方案，并促进了合作。尽管仍然存在挑战——例如当地货币贸易失衡和不完善的数字支付系统（金砖桥/支付）——但进展是切实存在的。新开发银行等倡议正在增加金砖国家货币的贷款。 最终，这种转变不仅仅是货币问题；它还在于建立替代贸易路线和基础设施，尤其是在亚洲、海湾和欧洲地区，从而降低对西方扼制点的脆弱性。中东的持续冲突凸显了这一点，各国正在寻求稳定、合法的路线，使其独立于潜在的不稳定地区行为者。虽然美元仍然占主导地位，但世界正在积极构建一个摆脱其控制的“逃生路线”。

## Shazam：它是如何工作的？ Shazam在几秒钟内识别歌曲，不是通过识别旋律或歌词，而是通过一种巧妙的“指纹”识别过程。首先，声音被捕获为波形，并使用快速傅里叶变换（FFT）转换为频谱图——一个随时间变化的频率的三维表示。 然而，系统不会存储整个频谱图。相反，它会丢弃大部分数据，只保留最显著的“峰值”——创建一种对噪声具有抵抗力的稀疏“星座图”。然后将这些峰值配对，每对峰值根据其频率和时间生成一个唯一的哈希码。 Shazam利用“倒排索引”——本质上是一个查找表。你手机的片段会生成哈希码，然后这些哈希码被用作地址，以便在庞大的数据库中快速找到匹配的歌曲。哈希码之间的时间一致性确认了匹配结果。 虽然最初的系统依赖于服务器端处理，但较新的版本（如苹果的设备端识别）使用更小、本地化的数据库和机器学习，以实现更快、离线的识别。核心原理仍然是：通过关注关键声学地标并有效地进行比较，Shazam可以以惊人的速度和准确性从数百万歌曲中精确定位一首歌曲。

## 无线供电助力无人机：耐力突破 中国西安电子大学的研究团队成功演示了使用微波向飞行中的无人机进行无线能量传输。该系统被称为“陆基航空母舰”，将能量从移动地面单元传输到无人机上的天线，从而实现无需降落的持续飞行——在49英尺高度实现了超过3.1小时的连续运行。 关键创新在于，通过GPS跟踪和实时飞行控制调整，保持能量束的稳定，即使在运动状态下也能如此。这项技术有望显著延长无人机的作战耐力，用于侦察、打击和电子战。 这一发展是更广泛的美国-中国无人机能力竞赛的一部分，美国正在探索基于微波和激光的系统。虽然激光具有精度优势，但微波在恶劣天气下更可靠，并且有可能同时为多个无人机供电，使其成为复杂和竞争环境下的理想选择。最终，这项技术可以重塑无人机设计，实现更小、更通用的平台，并提高有效载荷能力。

最近与伊朗为期七周的冲突，目前因延长停火而暂停，暴露了美国导弹拦截器储备的令人担忧的减少。CSIS分析表明，美国军方在行动中消耗了近50%的爱国者导弹，超过一半的THAAD系统，以及45%的PrSM导弹。 尽管最近已努力提高产量，但补充这些关键弹药，以及像战斧和JASSM等其他弹药，预计需要一到四年时间。这种减少尤其令人担忧，因为它发生在考虑与中国等其他主要大国潜在冲突*之前*。 这场冲突凸显了美国对伊朗强烈反应的准备不足，导致至少13个美国基地和整个海湾的重要基础设施受损。五角大楼虽然对其能力保持信心，但CSIS报告强调了弹药日益增长的短缺，需要大量的精力和投资来解决。

启用 JavaScript 和 Cookie 以继续。

## Verus：Rust 的静态验证 Verus 是一种工具，旨在*静态*验证 Rust 代码的功能正确性，尤其适用于低级系统编程。与运行时检查不同，Verus 使用计算机辅助定理证明来保证代码在所有可能执行情况下的行为。它借鉴了 Dafny 和 F* 等验证框架的灵感，旨在将纯数学规范语言与 Rust 强大的类型系统相结合。 Verus 利用 Rust 的特性——包括代数数据类型和线性类型——来简化验证，尤其是在内存管理和别名方面。它生成可由 SMT 求解器（如 Z3）求解的验证条件，并通过规范语言与求解器能力之间的紧密对齐来关注效率。 目前，Verus 优先支持高价值的 Rust 特性，并不追求完全的语言覆盖或自验证。用户在 Rust 语法*内部*编写规范和证明，利用扩展（如 `forall` 和新类型，例如 `int`、`nat`）。虽然 Z3 可以自动处理简单的证明，但复杂的验证通常需要程序员协助，可能采用归纳法等技术，并将其表达为递归的 Rust 函数。

《风暴对风暴》是对戴夫·瑟勒的经典游戏《风暴》(1981)和杰夫·明特的重新构想《风暴2000》(1994)的代码和设计的详细探索。本书深入研究游戏的内部机制，在汇编代码层面进行分析——《风暴》使用6502，《风暴2000》使用68K摩托罗拉。 本书以简短易懂的章节呈现，旨在以易于理解的方式解释两款游戏的复杂性。本书提供两种版本（9MB和27MB）的免费下载，推荐使用并排代码/注释视图以获得最佳阅读体验。 作者还创建了对其他杰夫·明特游戏的类似深入分析，包括《Iridis Alpha》（“IRIDIS ALPHA THEORY”）和《Psychedelia》（“psychedelia syndrome”），供有兴趣进行进一步技术探索的人参考。关于本书创作的更多信息可在其GitHub仓库中找到。

财政部长斯科特·贝森特敦促迅速通过全面的加密货币立法，警告说进展停滞威胁到美国金融领导地位和美元的全球主导地位。他在参议院委员会作证时强调，明确的监管对于吸引加密货币开发重返美国至关重要，目前美国落后于阿布扎比和新加坡等国家。 贝森特将美国在数字资产领域的领导地位定位为国家安全和经济的必然要求，强调了区块链作为关键支付技术的潜力。他支持旨在将加密货币活动纳入现有反洗钱框架的法案。 目前，存在两版加密货币市场结构立法——一版已由众议院通过，另一版已由参议院农业委员会推进——需要协调一致。由于党派分歧以及对充分资助商品期货交易委员会（CFTC）的担忧，进展受阻。贝森特仍然乐观地认为，这些问题可以得到解决，以达成两党协议，并以此为基础，进一步完善最近的稳定币监管法。