启用 JavaScript 和 Cookie 以继续。

玛丽娜·勒庞的政治前途岌岌可危，她正在上诉一项挪用400万欧元欧盟资金的罪名，这些资金本应用于欧洲议会，却被用于资助她的政党国民联盟（RN）。 判决结果是禁止她五年内担任公职，使其无资格参加2027年总统选举，并处以10万欧元罚款。 国民联盟目前是法国最大的反对党，其支持率不断增长，得益于保守派的转变和反移民情绪，这对马克龙总统构成了重大挑战。 勒庞声称这些指控是出于政治动机，呼应了针对右翼政治家的“武器化”司法系统的指控。 为期一个月的上诉将决定她是否能够参加下一届选举。 如果她输掉上诉，她打算让党主席乔丹·巴德拉代替她参选。 此案引起了国际关注，据报道（并被否认），特朗普政府内部曾讨论过对法国检察官实施制裁的可能性。 最终裁决预计将于今年夏天出台。

## 欧盟策划推翻奥尔班：摘要 泄露的文件显示，一位高级欧盟官员马尔顿·班内德克自2019年起领导了一项秘密行动，旨在移除匈牙利总统维克多·奥尔班。班内德克是欧盟负责移民和内政的国际协调员，他撰写了一份提案，旨在针对奥尔班政府建立协调抵抗，最初是由对被称为“奴隶法”的有争议劳动法抗议引发的。 该计划涉及联合反对派团体——其中许多由乔治·索罗斯的开放社会基金会（OSF）资助——组成一股强大的政治力量，能够挑战菲德兹党。班内德克设想一个影子政府最终取代奥尔班，这需要大量资金和多管齐下的战略，包括竞选活动和协调行动。 尽管试图推出一个名为Együtt的政党失败了，班内德克仍继续努力。最近的政治发展表明，彼得·马加尔和他的蒂萨党突然崛起，可能实现了这一雄心壮志。马加尔是一位亲欧盟人士，迅速获得了人气，承诺解冻欧盟资金并与布鲁塞尔的政策保持一致——这与奥尔班以主权为中心的立场形成了鲜明对比。这引发了人们对马加尔竞选活动潜在外部资金和支持的质疑，以及欧盟长期压制匈牙利的目标是否终于触手可及的问题。

Please provide the content you want me to translate. I need the text to be able to translate it to Chinese.

## 为了更清晰的Git历史而Rebase 许多开发者在合并之前犹豫是否要Rebase他们的分支，担心数据丢失。然而，最坏的情况仅仅是丢失你的*本地*副本——你的远程fork和主仓库仍然安全且可以恢复。 为什么要Rebase？当你的分支与主分支分离时，合并会产生混乱的历史记录。Rebase会将你的提交*重放*到最新的主分支之上，从而产生一个干净、线性的历史记录，更容易审查和调试。 **流程如下：** 首先，确保你将上游仓库设置为远程仓库。然后，将你的分支推送到你的远程fork作为备份。使用 `git rebase upstream/main` 进行Rebase。可能会出现冲突，文件中的标记会指示冲突的位置——仔细选择要保留的代码，可以使用像VS Code的合并冲突UI这样的工具。解决冲突后，使用 `git add` 和 `git rebase --continue`。如果感到不知所措，`git rebase --abort` 将恢复到你的先前状态。 最后，验证你的更改并使用 `git push --force-with-lease` *强制推送*到你的远程分支。**切勿强制推送至共享分支。** Rebase是一个强大的工具，用于维护干净的项目历史记录，并且在处理单个功能分支时通常是安全的。

欧盟和中国正朝着解决电动汽车贸易争端的方向发展。布鲁塞尔宣布了一项框架，允许中国电动汽车出口商有可能用协商定价承诺（包括最低进口价格和潜在的投资条款）来取代高额关税（7.8% - 35.3%）。 此前，欧盟于2023年发起了反补贴调查，中国对欧洲商品（如干邑和乳制品）进行了反制调查。虽然关税并未立即取消，但根据世贸组织准则评估的新规则，提供了一条避免关税的途径。 双方都对这一进展表示欢迎，认为这是朝着对话和维持稳定供应链迈出的积极一步。中国商务部强调了通过磋商解决分歧的意愿。然而，分析人士警告说，这种转变可能会削弱欧盟的贸易执行力度，可能增加消费者的成本和对中国投资的依赖，而潜在的不信任感依然存在。在审查大众中国合资公司的提议后，谈判取得了进展。

## Zirgen：为 RISC Zero 构建算术电路 Zirgen 是一种编译器，用于一种专门的语言——也称为“zirgen”，旨在为 RISC Zero 证明系统创建算术电路。虽然大多数 RISC Zero 开发使用 Rust 和 RISC-V zkVM，但 Zirgen 允许直接与证明系统集成，以优化性能和构建自定义加速器。 目前仍在开发中，Zirgen 使开发者能够构建高度高效的组件，甚至整个虚拟机，这些组件可以通过证明组合集成到 RISC Zero 生态系统中。 未来的开发包括与 Circom 集成，允许验证 Circom 电路见证，并在 zkApp 中实现递归。Zirgen 编译为 Rust、C++ 和递归 VM 谓词，为应用程序开发提供灵活性。

德国正面临一场迫在眉睫的企业交接危机，因为一代企业主正达到退休年龄。超过57%的*Mittelstand*（中小型企业）企业主年龄在55岁以上，预计到2029年将有110万家企业进行交接或关闭，超过成功转型的数量。这不仅仅是一个人口问题；年轻一代对创业兴趣的下降，更倾向于稳定的就业，加剧了这个问题。 除了人口结构之外，严峻的经济和政治环境也抑制了企业所有权。生产力下降、税收增加以及官员批评言论助长了人们对“反商业”情绪的感知，导致人们不愿承担创业风险。复杂的继承法和官僚障碍进一步使交接复杂化，常常使其在经济上不可行。 这种情况因更广泛的社会价值观转变和对经济机会的信念下降而加剧，从而助长了一种依赖国家支持的文化。最终，扭转这一趋势需要回归支持市场的政策，并重新强调个人自由、家庭和经济主动性。

## 基于文本的浏览器与现代HTML：日益扩大的差距 本文探讨了基于文本的浏览器（如Lynx和w3m）如何处理最新的HTML特性，发现支持严重不足。虽然这些浏览器在处理基本HTML方面表现出色，但较新的交互功能常常无法正确渲染，甚至根本无法渲染。 例如，`<details>` 披露小部件总是以展开状态显示，而`<datalist>` 建议和`<dialog>` 元素则仅仅显示为普通内容，忽略了它们原本的功能。Popover API和`inert` 属性也未得到支持，导致可访问性和交互方面的问题。 作者的主要 frustration 是对`hidden` 属性的持续忽略。与基于CSS的隐藏不同，在HTML中使用`hidden` *应该*可靠地隐藏内容，但基于文本的浏览器会忽略它，破坏了渐进增强技术。 最终，现代Web标准与基于文本的浏览器能力之间的差距正在扩大。虽然这些浏览器仍然可以用于测试基础HTML，但它们无法适应的事实表明，随着Web的发展，它们可能会逐渐失去 relevance。

布拉格充满了“卡夫卡”，这种现象这位作者本人很可能深恶痛绝。作者住在卡夫卡墓地附近，身处这座城市利用他名字获利的氛围之中——从卡夫卡博物馆和无数咖啡馆，到售价2500美元的“卡夫卡手表”，他观察到了一种普遍的“卡夫卡产业”。这个产业已经爆炸式增长，对他作品的解读现在远远超过了他的原创作品。 这座城市自卡夫卡时代以来已经发生了巨大变化，他所熟知的犹太区大部分已被拆除。他的生活高度局限于当地，受到父亲的影响，并伴随着在不断变化的布拉格中产生的疏离感。尽管有无数的传记、电影（包括最近关于他生活的作品）和分析，但捕捉卡夫卡的本质仍然难以捉摸。 作者指出一个悖论：试图理解卡夫卡生活，例如阿格涅什卡·霍兰的新传记片，不可避免地助长了他很可能鄙视的产业。最终，大量的评论让人感觉像是对一个“由文学构成”的作家的一种象征性惩罚，让人不禁想知道还能说什么，以及任何尝试是否能真正逃脱“卡夫卡学”的阴影。

面向未来的工艺和模块化设计，采用高达75%的再生塑料制成。再生塑料占塑料总重量的百分比。消费后回收基于EPEAT计算机标准、IEEE 1680.1-2018标准中的定义。* 以及易于维护的组件，所有产品均采用100%可持续来源的包装。回收能力可能因您所在地区而异。请参阅您当地的回收计划以获取详细信息。*

## 美联储面临前所未有的司法部调查 司法部已向美联储主席鲍威尔发出传票，并据报道威胁对其提起刑事指控，起因是其关于美联储大楼25亿美元翻新的证词。这标志着特朗普总统与独立中央银行之间持续冲突的重大升级，特朗普曾多次批评美联储的利率政策。 鲍威尔公开回应称，这种威胁是破坏美联储独立性并试图基于政治压力影响货币政策的借口。这一情况引发了人们对美联储能否摆脱政治干预而运作的担忧，可能动摇金融市场并影响借贷成本。 特朗普声称自己事先不知情。然而，此举加上试图罢免美联储理事的尝试，引发了人们对司法部诚信和美联储未来独立性的担忧。分析师预测，由于这一消息，股市周一可能出现下跌。该事件甚至受到了部分共和党人的批评，他们正在质疑调查背后的动机。

## 基于意图的版本控制转变 随着人工智能驱动的代码生成技术的进步，软件变更的基本单位正在从代码行转变为代码背后的*原因*。如果代码可以从规范可靠地重现，那么代码本身就成为一种副产品，而不是系统开发的核心记录。这需要版本控制“向上游”移动——专注于保存意图，而不仅仅是代码差异。 传统版本控制跟踪*发生了什么变化*；基于意图的系统必须跟踪*为什么*。这意味着规范成为可执行的输入，而系统的“计划”——包括所选策略和被拒绝的替代方案——成为关键的实现数据。 与文件不同，这种意图最好表示为连接需求、约束、决策和生成代码的内容寻址图。 这并非全新事物——哈希输入等概念存在于构建系统中——但它需要意图和实现之间直接的、机器强制的链接。 虽然形式化规范和捕获所有代理假设仍然存在挑战，但这种方法提供了更强大和可追溯的历史记录，尤其是在代码重新生成的成本下降而重新发现丢失的意图的成本上升的情况下。最终目标是版本化真正重要的事情：系统设计背后的推理。

版权所有 © 1999-2020 BitBoost Systems。 所有权利保留。 PawSense、CatsOff、BitBoost 和 BitBoost Systems 是 BitBoost 的商标和/或服务标记。 我如何训练我的猫不要踩在电脑键盘上？ 我如何让猫远离电脑键盘？ 我如何防止猫踩在电脑键盘上？ 猫咪打字。 电脑猫灾难。 保护你的电脑免受猫咪破坏，以及保护你的猫咪免受电脑影响。 阻止你的猫咪使电脑崩溃。由猫咪引起的电脑崩溃是可以预防的。 Paw sense 是 PawSense 的拼写错误。但 PawSense 确实能够让你的电脑感知猫爪。 。

启用 JavaScript 和 Cookie 以继续。

## 委内瑞拉政权更迭：摘要 本文批判了近期美国对委内瑞拉的干预，将其定性为公然且无法辩护的政权更迭行动。作者驳斥了诸如“贩毒恐怖主义”之类的理由，认为这只是虚弱的借口，呼应了过去美国可疑干预的例子。 据报道，该行动涉及中央情报局的秘密行动，贿赂委内瑞拉安全部队以允许马杜罗总统及其妻子撤离，而古巴安全人员被杀害。尽管声称行动成功，但作者指出委内瑞拉政府仍然存在，并质疑最终结果——很可能是一场政治审判。 分析将此定性为美国长期干预模式的一部分，引用杰弗里·萨克斯等人的观点，称自1947年以来已进行100多次此类行动，通常出于资源控制的动机（特别是委内瑞拉的石油储备）。作者强调了对国际法和国家主权的侵犯，引用了《联合国宪章》，并批评美国对国际机构的漠视。 最终，本文表达了对“大国政治”回归的担忧，并警告了核时代冲动且不受约束的美国外交政策所构成的危险。

## 代码代理与安全执行：Codex权限摘要 现代代码代理功能强大，这得益于它们动态生成工具的能力，特别是通过访问完整的bash shell——一种表达力强但潜在危险的功能。在没有安全措施的情况下运行代理会带来重大的安全漏洞，例如未经授权的访问凭证或数据删除。 Codex CLI提供了一种强大的解决方案，通过操作系统级别的沙箱来优先考虑安全执行。它默认采用沙箱环境，具有三种权限模式：只读、自动（有限访问，需要批准外部操作）和完全访问。这利用了macOS Seatbelt和Linux Landlock/seccomp来限制文件系统访问和网络活动。 Codex采用“选择退出沙箱”的方法，将所有命令路由到集中的执行系统。它具有命令白名单功能，在允许潜在的危险命令运行之前要求用户批准，并构建基于会话的信任列表。 该系统设计了调试工具，用于测试沙箱行为。通过利用操作系统原生功能，Codex避免了容器化的开销，同时提供了强大的隔离性，为平衡代理能力与安全性提供了一种实用的方法。随着代码代理变得越来越普遍，这种级别的控制至关重要。

## 隐藏的宪法：金钱与权力 贾斯汀·帕克认为，金钱并非中立工具，而是任何社会的基础“宪法”，它决定了权力动态和结果，远不止简单的经济层面。历史上，金钱是根据市场需求自然产生的——例如黄金的内在价值，而非国家法令。然而，现代法币却颠倒了这一过程，它作为国家信用存在，并通过法定货币法强制执行，而非建立在实际价值之上。 这个由中央银行管理的体系，并非中立的稳定器，而是一个卡特尔，它保护着受青睐的机构，并推迟而非阻止失败。它颠覆了资本主义原则，奖励风险，惩罚谨慎，导致国家保护的金融与经济可行性脱节。 至关重要的是，金钱的分配并非中立的；扩张受益于离其源头最近的人——政府、大银行、公司——从而扩大了贫富差距。通货膨胀和债务随后被用来控制人口，侵蚀储蓄并集中所有权。这种不透明的体系，被美元霸权放大，将不稳定因素输出到全球，充当一种“铸币税帝国主义”。 帕克得出结论，法币的内在缺陷——缺乏竞争和约束——使得改革不可能。他认为，真正的自由需要一个建立在共识、竞争和真正经济后果之上的货币体系。

俄乌战争已超过苏联对抗纳粹德国的时间，达到第1419天——这是一个严峻的里程碑，标志着一场残酷的消耗战。目前俄罗斯在战场上占据动能，但在顿涅茨克地区进展缓慢，尽管战斗激烈，仅获得约30英里的进展。 双方伤亡巨大，估计有超过16万俄罗斯士兵阵亡，而乌克兰的损失可能更高，摧毁了一代年轻人的生命。乌克兰严重依赖西方援助——数十亿美元的武器和资金——来维持其庞大的军队，该军队有望在冲突结束后成为欧洲最大、经验最丰富的军队。 尽管过去曾多次尝试失败，华盛顿和莫斯科之间的沟通渠道仍然畅通。人们对俄罗斯可能发动的新的攻势，尤其是在苏梅附近，感到担忧。这场冲突在俄罗斯仍然被正式称为“特别军事行动”，对乌克兰提出了长期的挑战，需要大量的财政支持——最近欧盟已承诺提供支持——以维持其军事实力并对抗俄罗斯的野心。

## Turbopuffer 的 BM25 搜索延迟分析 本文详细分析了 BM25 全文搜索的延迟，并将其扩展特性与向量搜索进行了对比。与向量搜索不同，BM25 延迟受查询组成影响很大——令人惊讶的是，*增加*词项有时反而能加快搜索速度。 这项研究在 2 亿文档数据集上，使用 turbopuffer 的 MAXSCORE 算法进行，结果表明延迟并不简单地与查询词项总数相关。相反，*关键*词项的数量（那些显著缩小搜索范围的词项）起着至关重要的作用。包含较少关键词项和更多常见、非关键词项的查询可能会更慢。 扩展测试表明，延迟会随着文档数量的增加而增加，但并非对所有查询都是线性增长。有些查询比其他查询扩展得更有效率。 同样，虽然延迟通常会随着 `top_k`（返回结果的数量）的增加而增加，但查询的*相对*性能可能会发生变化——在低 `top_k` 时快速的查询，在较高值时可能会变慢。 最终，理解这些细微之处是优化 BM25 性能的关键，而 turbopuffer 旨在高效处理大型数据集和高查询负载。

最近一次美国支持的旨在推翻委内瑞拉总统马杜罗的行动，显示出委内瑞拉俄罗斯提供的防空系统缺乏反应，包括S-300和Buk-M2系统。尽管一架美国直升机受损，但在最初的打击中，这些系统大多保持不活跃。 报告指出，这些防御系统甚至没有连接到雷达，并且多年来一直存在整合和维护不良的问题。这源于对俄罗斯技术人员和备件的获取有限，这些资源越来越多地被用于支持俄罗斯在乌克兰的战争。卫星图像显示，关键部件经常被储存在仓库中，而不是部署。 分析人士认为，这种准备不足是由于腐败、后勤不佳和制裁造成的，导致委内瑞拉军队无法有效应对。一些人推测，莫斯科可能故意让这些系统退化，以避免与美国升级紧张局势。结果是防御能力显著减弱，使美国军队能够相对容易地行动。

德克萨斯州的新法律（SB10）要求所有公立学校教室展示十诫，引发了全国性的辩论和法律挑战。支持者，如资深教育工作者梅丽莎·马丁，认为这是回归西方基础价值观和积极影响，而批评者，包括美国公民自由联盟和一些教师，认为这违反了政教分离原则。 该法律规定必须“显眼”展示，接受海报捐赠但不强制购买。已经提起了多起诉讼，联邦法官在多个学区阻止了该法律的执行，并且有一项集体诉讼寻求全州禁令。预计此案将上诉至最高法院。 这项举措是德克萨斯州更广泛运动的一部分，旨在将宗教元素重新引入学校，包括展示“我们相信上帝”和实施将圣经故事融入课程的教学计划。一些学区欣然遵守，而另一些学区因不遵守而面临总检察长的起诉，从而形成了一个复杂的法律环境，并引发了关于宗教在公共教育中作用的讨论。

## 逆转性别诉讼势头渐盛 越来越多的年轻人在完成性别确认治疗后，正在起诉涉事医疗专业人员，指控其疏忽大意。这些“逆转性别者”声称，他们没有被充分告知青春期阻滞剂、激素和手术（通常是不可逆的）相关的风险，现在正经历后悔和持久的伤害。 多起案件正在走向审判，包括纽约的 *Fox Varian v. Einhorn et al.*，加州的 *Cole v. Kaiser*，以及内布拉斯加大学医学中心的 *Hein v. University of Nebraska Medical Center*。这些诉讼指控医生和医疗机构未能深入探究潜在的心理健康问题，并基于“性别肯定”模式仓促进行医疗干预。 尽管面临诉讼时效和高昂的法律费用等障碍，但任何一宗案件的胜利都可能对美国儿科性别不安症的治疗标准产生重大影响。专家预测，胜诉将迫使医疗机构重新评估其做法和法律风险。 近期美国卫生及公共服务部和英国卡斯报告的报告均提倡优先考虑心理治疗，而非对性别不安症青少年进行即时医疗干预，这为这些法律挑战增添了更多分量。

联邦调查局局长卡什·帕特尔最近公布的文件揭示了关于特别检察官杰克·史密斯领导的“北极霜”调查的令人担忧的细节，该调查涉及对2020年选举结果的质疑。记录显示，史密斯办公室批准向一名保密的线人支付2万美元以获取信息，引发了对调查方法的质疑。 联邦调查局积极寻求将唐纳德·特朗普列为调查的“对象”，并严重依赖自由媒体的报道。调查人员广泛分析了电话记录——包括九名特朗普国会盟友、律师和顾问（如史蒂夫·班农）的记录，并从超过50部白宫手机中获取了数据。一项法庭命令允许访问八名参议员和一名众议员的记录，涵盖了数百名保守派人士。 包括格雷厄姆和布莱克本在内的几位立法者正在考虑采取法律行动，指控违反了国会特权和第四修正案权利，并将调查定性为一次范围广泛的“钓鱼探查”。帕特尔声称该调查是“公然滥用权力”，前特朗普律师谴责针对代表前总统的个人的行为违宪。

这似乎是PDF文件的内部数据，包含引用信息和二进制流。它本身没有可读的中文内容。

迪士尼动画的《疯狂动物城2》，是工作室的第64部动画长片，正在拓展原版《疯狂动物城》的世界——深入挖掘这座城市的历史，并展示新的地点。这部续集受益于迪士尼动画过去九年来的技术进步，在第一部电影制作期间取得的重大进展基础上进一步发展。 《疯狂动物城2》的一个关键重点是细节和规模，应对了渲染一个视觉丰富的世界，这个世界居住着各种各样的、覆盖着毛发的动物——通常是在大规模人群中。艺术家甚至付出了非凡的努力，例如用单独的冰晶模拟雪，利用以前被认为是理论研究的技术。 技术亮点包括对行业标准Chiang毛发着色模型的改进，以及下一代路径引导系统的实施，从而提高了渲染效率。该制作还标志着迪士尼动画从Maya过渡到Presto进行动画制作，同时管理着前所未有的角色绑定种类。团队强调艺术家、技术导演和开发人员之间的紧密合作，从而实现定制工具并拓展动画作为一种艺术形式的边界。《疯狂动物城2》计划于2025年上映。

俄罗斯最近向乌克兰利沃夫发射了一枚可携带核弹头的“奥列什尼克”高超音速导弹，这是一次罕见且令人担忧的升级。 乌克兰最初并未确认武器类型，但俄罗斯国防部表示，该导弹成功摧毁了一家生产和维修乌克兰及西方供应飞机（包括F-16）以及，关键地，远程无人机的航空工厂。 这次袭击标志着俄罗斯战略的转变。 他们不再进行大范围攻击，而是专门针对乌克兰的无人机生产设施，特别是那些对俄罗斯境内的石油和能源基础设施发动袭击的设施。 同时，伊斯坎德尔和口径导弹也袭击了基辅类似的设施。 此举表明俄罗斯正在有意识、系统地努力瓦解乌克兰反击俄罗斯领土的能力，并强调了西方支持在加强乌克兰防御能力方面的重要性。

根据记者亚历克斯·纽曼的说法，“深层政府”和政治左派正因资金中断和破坏美国稳定的计划失败而处于“恐慌状态”。纽曼认为，委内瑞拉是颠覆运动通过毒品和石油资金的关键资金来源，已被特朗普政府对尼古拉斯·马杜罗的行动有效切断。 进一步的打击包括削减福利欺诈支付，以及财政部长斯科特·贝森特对汇款规则的重大改变，再加上特朗普解除了联合国气候变化框架公约——全球主义议程的主要资金来源。 纽曼还强调了对广泛选民欺诈的担忧，声称在古巴协助下开发的委内瑞拉软件被用于操纵拉丁美洲*和*美国的选举。他认为特朗普政府知晓此事，并正在积极审查和削减对浪费、反美国的联合国机构的资金。纽曼警告说，这些团体正在增加暴力活动，并可能为内战做准备，他的书《觉醒与武器化》对此进行了详细描述。