arXivLabs是一个框架，允许合作者直接在我们的网站上开发和分享新的arXiv功能。个人和与arXivLabs合作的组织都接受并拥护我们的开放、社群、卓越和用户数据隐私等价值观。arXiv致力于这些价值观，并且只与秉持这些价值观的合作伙伴合作。您是否有为arXiv社群增加价值的项目想法？了解更多关于arXivLabs的信息。

## 斯瓦威尔丑闻及政治影响 针对加州国会议员埃里克·斯瓦威尔的近期性侵指控，导致包括南希·佩洛西和亚当·希夫等知名民主党人迅速撤回对其的支持，此前他们曾大力支持他的职业生涯。 多名女性详细描述了这些指控，包括强奸和性侵犯的指控，斯瓦威尔否认了这些指控。 此丑闻凸显了一种长期以来被忽视的涉嫌不当行为模式，原因是斯瓦威尔作为民主党建制派的积极政治攻击犬很有用。 批评人士指出他之前的争议，包括他与一名涉嫌中国间谍的联系，佩洛西淡化了此事，并积极阻止对其进行审查——甚至阻止了将其从情报委员会除名的努力。 这种情况充满了虚伪，因为斯瓦威尔之前对指控布雷特·卡瓦诺等人的指控采取了强硬立场。 现在，他试图阻止发布他自己与间谍丑闻相关的联邦调查局文件。 此次事件正在重塑加州州长竞选，可能使凯蒂·波特受益，同时也暴露了那些先前纵容斯瓦威尔职业生涯的人的同谋行为。 这起事件引发了人们对问责制以及在面对严重指控时保护政治盟友的意愿的质疑。

## 数学思想的 масштабирование：摘要 本次演讲探讨了在阐释数学概念时* масштаба* 的重要性——决定一个想法是最好以手持物体的形式呈现，还是以可供探索的环境形式呈现。演讲者认为，有效的数学图像不仅仅在于准确性，还在于为观众建立一个相关的 масштаба。 通过拓扑学的例子，演讲强调了数学家经常使用“地理”和“植物学”等类比来组织问题。这些类比自然地暗示了一个 масштаба：地理代表着广阔的可能性景观，而植物学则侧重于该景观内的详细分类。 像瑟斯顿的“轨道列车”这样的图示，展示了如何通过引人注目的命名和图像（轨道上的列车！）立即建立 масштаба。演讲者将“大数学”渲染——一辆环绕行星的列车——与“小数学”版本——木制轨道上的玩具火车——进行对比，展示了 масштаба 如何影响情感反应并强调不同的数学方面（全局几何 vs. 组合结构）。 演讲进一步通过来自辛拓扑和曼德勃罗集中的例子来说明这一点，强调选择 масштаба 如何影响理解和可视化。最终，演讲者提倡在数学插图中 сознательно 考虑 масштаба，认识到数学既可以广阔无垠，又可以精细入微，而正确的 масштаба 可以开启更深层次的直觉。

肯塔基州众议员托马斯·马西将于5月19日面临关键的初选。获胜可能为他2026年竞选州长铺平道路，灵感来自罗恩·德桑蒂斯在佛罗里达州的成功。然而，马西表示，如果他在初选中失败，他将完全退出公共服务——返回务农。 这次选举尤其重要，因为马西经常与特朗普总统发生冲突，特别是反对他的外交政策决定，包括最近限制对伊朗军事行动的尝试。他是少数愿意在干预主义政策上跨越党派界限的共和党人。 特朗普一直在积极竞选反对马西的连任，这为他创造了一个充满挑战的前景。尽管马西在肯塔基州仍然很受欢迎，但他正在与特朗普巨大的政治影响力作斗争。因此，他的未来取决于这次初选的结果——要么是潜在的州长职位，要么是彻底退出政坛。

美国国税局和财政部已提出一项新规定，对通过现金、汇票或类似实物工具汇往国外的汇款征收1%的消费税，自2026年1月1日起生效。 汇款人负责缴纳税款，但汇款服务提供商（如银行和货币服务业务公司）负责收款、存款和通过720表格申报。 该税适用于所有符合条件的转账，无论最终如何分配，但已取消的汇款可退款。 使用美国信用卡/借记卡或银行取款资助的转账将免税。 这将影响庞大的服务提供商网络（超过600家公司，拥有50万代理人），他们处理的规模从2019年至2024年间从1.3万亿美元增长到4万亿美元，每年约有5200亿美元汇往国外。 专家预测，这项税收将不成比例地损害发展中国家，墨西哥可能每年损失超过15亿美元。 人们担心汇款流量减少以及对受款国经济的负面影响，而另一些人则认为汇款对美国经济造成了重大损失。 在初始实施阶段，对服务提供商的处罚救济有限。

OpenAI 首席执行官萨姆·奥特曼的旧金山住宅在周日凌晨再次遭遇疑似袭击，距离两日前发生的事件仅两天。警方报告显示，一辆车停在奥特曼的房产附近，一名乘客似乎朝伦巴德街一侧开枪，这一幕被监控录像捕捉到。该车辆随后被找回，但尚未逮捕任何人。 周五，丹尼尔·亚历山德罗·莫雷诺-加马，20岁，涉嫌向切斯特纳特街的房产大门投掷燃烧瓶。保安扑灭了火势，莫雷诺-加马随后在OpenAI总部附近被发现，并发表了威胁言论，已被逮捕。他面临包括谋杀未遂和纵火在内的指控。 两起事件中无人受伤，调查仍在进行中。目前，旧金山警察局正在调查这两起袭击事件。

在一个派对上，在悉尼·冯·阿克斯的提问下，作者列出了40种编程语言，最终宣布Lean是“最好”的——不是因为它*是*完美的，而是因为它*可以*被完善。这源于Lean能够在语言自身内部正式验证属性，将代码分析转化为可证明的过程。 作者将Lean与那些事后添加类型系统（如PHP和Python）或采用复杂变通方法（如C++模板）的语言进行对比，认为Lean的依赖类型提供了一种从根本上“正确”的方法。这不仅限于类型，还包括强大的定理证明基础设施和无缝的元编程能力，并通过一个用于井字游戏的自定义语法进行了演示。 Lean的主要优势包括速度（通过可证明的代码等价性进行优化潜力）和不断壮大的社区，这使其与Coq、Idris和Agda等竞争对手区分开来。作者认为定理证明是编程的自然演进，而Lean编程能力和形式化验证的独特结合使其成为一种强大的重构工具，尤其是在人工智能时代。文章本身就是用Lean代码编写的，突显了它的多功能性。

本次演示内容保密，仅供收件人查阅，未经阿波罗全球管理公司明确许可，不得擅自传播。 阿波罗不对所提供信息的准确性或完整性做出任何保证，包括来自外部来源的数据。观点和预测反映当前评估，但可能随时更改，不应被视为最终结论。 本材料*不*构成财务、法律或税务建议，亦非投资建议。投资者必须进行自己的尽职调查并咨询专业顾问。阿波罗不代表收件人，且不对其客户享有的保护承担责任。 此外，对未来的陈述存在不确定性，可能无法实现；对这些“前瞻性”陈述（由“可能”、“将”或“预期”等术语指示）的依赖应受到限制。本次演示不构成买卖任何证券或服务的要约。

## 超级后门罗斯：高收入者的储蓄策略 “超级后门罗斯”是一种允许高收入者在标准401(k)缴款限额之外进行储蓄的策略。它包括向传统401(k)进行**税后**缴款，然后将这些资金转换为罗斯IRA或罗斯401(k)。这对于因收入限制而无法直接进行罗斯IRA缴款，或已用尽其他退休储蓄选项的人来说尤其有用。 2026年，潜在储蓄将大幅增加：50岁以下的人可以贡献高达72,000美元，50-59岁或64岁以上的人可以达到80,000美元，而60-63岁（拥有“超级追赶”计划）的人可以储蓄高达83,250美元——*包括*雇主供款。 然而，这种策略并非没有缺点。转换收益将按普通收入征税，并且IRS“非歧视”规则可能会限制高薪员工的缴款。至关重要的是，**并非所有401(k)计划都允许税后缴款或在职分配。** 由于其复杂性和潜在的税务影响，在追求超级后门罗斯之前，*强烈建议*咨询合格的税务专业人士。

最近，极星号（Polarstern）在韦德尔海的考察正在揭示这一快速变化海域的关键信息。研究人员正在追踪水团和海底殖民情况，发现南极深层水的减少与德国极地研究所（AWI）的长期观测结果一致。他们还确定了拉森冰架的流出路径，这对于理解全球洋流和海冰融化至关重要。 令人惊讶的是，尽管此前认为南极海冰稳定，但自2017年以来该地区经历了急剧下降，这与水温升高有关。冰层厚度差异很大——西部海架由于潮汐作用，厚度可达4米，而更东部地区则约为1.5米。 值得注意的是，冰层表面融化明显，类似于北极地区的状况，积雪稀少，冰下融水增加。这种淡水会影响冰层内部和下方的生物，可能改变南大洋的碳循环——这将在2026年4月考察结束后进行进一步分析。

市场对中东和平谈判失败和紧张局势升级反应负面，特别是美国可能封锁伊朗船只。避险情绪导致澳元/美元和欧元/美元等货币下跌，比特币也出现下跌。油价飙升超过8%，WTI原油价格突破100美元，欧洲天然气期货上涨超过10%，预示着供应冲击将持续。 油价上涨正在强烈影响市场走向，油价与股市表现的背离幅度超过2022年水平。因此，标普期货和美国国债价格下跌，黄金也出现下跌。 未来一周，投资者将密切关注中东局势发展、OPEC/IEA报告以及美国银行盈利，以评估冲突相关影响。来自美国和中国的重要经济数据也将受到密切关注，并警告称如果利率或债券波动率上升，市场可能进一步下跌。

## AAUP活动引发对校园意识形态的争议 由美国大学教授协会（AAUP）赞助，并由自由派捐助者资助的一项新活动，正在指导学生通过针对与移民局（ICE）合作的公司来“制造危机”，从而扰乱校园。乔纳森·图利的文章强调了高等教育中极左意识形态日益占据主导地位的趋势，AAUP在其激进主义主席托德·沃尔夫森的领导下，最近发生了转变是这方面的例证。 该活动旨在扰乱移民局的运作，将移民执法定性为“恐怖主义”，并试图瓦解“特朗普政权”。这项举措正值校园意识形态多样性普遍缺乏之际，研究表明，保守派教职员工严重不足——在耶鲁大学等大学的某些院系，甚至完全没有。 图利认为，这扼杀了公开辩论，并导致学生为了迎合教职员工的期望而自我审查观点。他认为，AAUP等原本意在保持中立的组织，已经沦为极端意识形态的俘虏，而真正的改变只有通过捐助者施加压力，要求更大的知识多样性才能实现。

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

## 太阳能的意外益处 太阳能正迅速成为可再生能源的主导力量，这得益于全球承诺（如《巴黎协定》）和清洁能源技术的进步。除了减少碳足迹和能源账单外，大型太阳能发电场正在展现出令人惊讶的环境效益：“绿化”沙漠地区。 最近发表在《科学》杂志上的研究表明，撒哈拉沙漠等地区的太阳能电池板阵列正在产生积极的反馈循环。这些面板降低了地面温度并促使暖空气上升，从而引发降雨和植被生长。这种效应本质上正在创造绿洲，并在以前干旱的景观中促进生命繁荣。 虽然可再生能源技术曾经落后，但像木制风力涡轮机这样的创新表明了快速的进步。这与太阳能发电场的意外气候效益相结合，突出了绿色能源转型带来的深远积极影响。太阳能不仅为家庭供电——它还可能重塑生态系统。

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

Apple 地图 搜索 指南 路线 在地图上拥有商家？ 管理您的商家

这是一个高度交互的网络应用程序，需要JavaScript。简单的HTML界面是可能的，但这并非如此。Post Serenity Forge serenityforge.com did:plc:vnea37icaea6aufss6n4vpo4 关于从Google Play商店移除DDLC的声明：2026-04-09T21:33:44.961Z

Larry Wall，《编程Perl》的作者，将懒惰、急躁和傲慢定义为良好软件设计的核心美德。编程中的真正“懒惰”并非逃避工作，而是努力追求优雅、强大的抽象，以最大限度地减少未来的工作量——这是一项具有欺骗性的艰巨任务。它指的是构建足够简单以易于维护和扩展的系统。 然而，大型语言模型（LLM）提供的现成代码生成，威胁着这一原则。LLM不同于人类程序员，它们不会感受到复杂性的代价，也不会重视未来的时间节省。这导致了臃肿、低效的代码——例如，项目包含多个测试框架和冗余文件，并且生成速度惊人。 作者认为，LLM放大了以数量而非质量为中心的“程序员”文化。虽然LLM是宝贵的*工具*，但它们缺乏源于人类约束的简化内在动力。最终，维护真正优秀的软件需要我们自身的“美德懒惰”——一种致力于简洁、设计良好的系统的承诺，这不仅对当前的开发人员有益，而且对所有后续者都有益。

欧洲在人工智能竞赛中面临落后的风险，关键弱点在于缺乏专门的基础设施。虽然在人工智能研究和监管方面表现强劲，但该大陆严重依赖美国和亚洲供应商提供训练和运行先进人工智能模型所需的高性能计算。 传统数据中心无法满足“前沿人工智能”的电力和冷却需求，需要转向超密集的专用设施。这不仅仅是技术问题，更是关乎经济竞争力、战略独立性以及控制人工智能创新的收益。 目前，大多数欧洲人工智能工作负载都在*欧洲境外*处理，这造成了漏洞。投资于欧洲控制的基础设施——由该大陆的可再生能源和核能供电——至关重要。需要一种协调的政策方法来优先发展这一领域，以确保欧洲的人工智能未来，创造就业机会，并将人工智能增长与可持续发展目标保持一致。问题不再是*是否*应该建设这些基础设施，而是*如何*快速有效地建设。

马萨诸塞州立法者正在推进一项法案（S.2246），旨在大幅减少全州车辆行驶里程，以降低温室气体排放。该法案目前并未立即实施行驶里程上限，而是指示交通部门制定具有约束力的车辆行驶里程减少目标，并成立一个委员会以推广公共交通的使用。 批评者认为，这将不成比例地影响依赖私家车进行基本出行的农村居民。该提案符合“15分钟城市”等更广泛的趋势，引发了对出行限制和政府对交通运输过度控制的担忧。 该法案设想通过更密集的开发、停车限制以及潜在的技术跟踪车辆使用情况等措施来实现减排，从而引发了对监控、未来驾驶限制或费用的担忧。支持者认为这符合气候目标，但反对者认为这侵犯了个人自由，并惩罚了城市以外的居民。此举与欧洲正在发生的能源配给讨论相呼应。

匈牙利总理维克托·奥尔班，一位长期执政的极右翼领导人，与唐纳德·特朗普和弗拉基米尔·普京都有联系，已承认败选，结束了其16年的执政。反对派领袖彼得·马加尔的蒂萨党在周日的选举中取得了决定性胜利，初步结果显示其获得了超过52%的选票，而奥尔班的菲德兹党获得了38%。 这一结果标志着匈牙利发生重大转变，对奥尔班来说是一个打击，此前他曾阻挠欧盟支持乌克兰的努力，并与俄罗斯建立了密切关系。马加尔的竞选重点是腐败问题和改善公共服务，将选举定义为“东方还是西方”的选择。 创纪录的投票率——超过77%——表明了民众强烈的变革愿望。双方都报告了潜在的选举违规行为，暗示可能存在争议。预计这一结果将对欧洲产生影响，考虑到奥尔班在极右翼民粹主义政治中的突出作用以及与欧盟的紧张关系。

匈牙利长期执政的总理奥尔班在周日的议会选举中承认失败，结束了他长达16年的统治。由前青民盟内部人士马加尔·彼得领导的蒂萨党预计将赢得显著多数席位——甚至可能获得三分之二的超级多数席位——在199席的国民议会中获得约128席，而青民盟预计获得62席。投票率创下历史新高，达到77.8%。 这是青民盟自共产主义后时代以来首次失去议会控制权。马加尔称这一结果为转折点，承诺匈牙利将迎来“新时代”。 这场意外结果预计将产生重大地缘政治影响，可能释放超过200亿欧元的被冻结欧盟资金，结束匈牙利对关键政策（如对乌克兰的援助）的否决，并改变该国对俄罗斯的立场。这场失败对欧洲民粹主义右翼来说也是一个打击，将影响像玛丽娜·勒庞和唐纳德·特朗普这样的人物，他们最近曾公开支持奥尔班。市场对此反应积极，预计欧盟将实现和解和政策正常化。

## 旧金山利用科技应对坑洼路面 旧金山通过Waymo和Waze之间的合作，正在改进其道路维修系统。Waymo的自动驾驶汽车将自动检测并报告坑洼和路况不佳的情况，直接发送到Waze应用程序。 这些数据将输入Waze的“Waze for Cities”项目，为地方机构提供超越传统311报告的实时信息。虽然不会取代现有系统，但它为优先维修和确保所有社区都能得到公平关注提供了宝贵的信息补充。 Waze已经利用驾驶员报告和车辆行为（如突然刹车）来识别道路危险。Waymo的贡献使这一过程自动化，有望实现更快、更全面的道路维护——这种模式对像新泽西州和纽约州面临类似基础设施挑战的城市可能大有裨益。

## 马克的魔法乘法：在嵌入式系统上优化浮点数 本文详细介绍了在资源受限的嵌入式处理器上加速单精度浮点数乘法的工作。作者探讨了通过自定义RISC-V扩展（Xh3sfx）来实现浮点运算，而不是依赖硬件FPU或软件模拟，旨在获得“固件浮点”解决方案。 最初的实现使用了标准的解包-乘法-归一化-打包方法，在Hazard3内核上使用专用乘法器实现了16个周期内的乘法。然而，作者受到Mark Owen的一个巧妙技巧的启发，显著提高了性能。 Owen的方法专为Armv6-M架构设计，仅使用*两个* 32x32位乘法就实现了正确舍入的乘法，巧妙地利用了误差界限并最大限度地减少了位操作。该方法被适配到RISC-V，从而获得了一个30周期的实现——一项显著的改进。 核心思想是计算一个近似的乘积，然后根据可预测的误差范围对其进行校正。该技术强调，在短流水线中，乘法本身并不是瓶颈，而是高效的位操作和数据路由是优化的关键。作者建议将该技术推广到双精度乘法。

arXivLabs是一个框架，允许合作者直接在我们的网站上开发和分享新的arXiv功能。个人和与arXivLabs合作的组织都接受并拥护我们的开放、社群、卓越和用户数据隐私等价值观。arXiv致力于这些价值观，并且只与坚持这些价值观的合作伙伴合作。您是否有为arXiv社群增加价值的项目想法？了解更多关于arXivLabs的信息。

## 自制汽水之旅：总结 2020年，作者开始了一个自制软饮料的项目，最初尝试制作不含糖、不含咖啡因的可乐，灵感来自Open Cola和Cube Cola等配方。过程包括使用阿拉伯胶作为乳化剂，从精油（橙、柠檬、青柠、肉豆蔻、桂皮、芫荽、薰衣草）中制作风味乳液，然后将其与柠檬酸和甜味剂（如环己基磺酸钠和糖精，后来尝试使用三氯蔗糖）混合。 早期的批次专注于完善可乐配方，调整油的比例和甜度。作者记录了他们的实验，注意到人工甜味剂略带苦味，并希望复制商业可乐的“干爽”口感。除了可乐，成功的实验还产生了充满活力的橙味和杏仁味汽水，使用了血橙和杏仁提取物。 配方可在GitHub上找到，并跟踪和更新版本。作者继续改进他们的作品，寻求反馈并探索新的口味，如Mountain Dew和*Fassbrause*。他们发现使用糖（400克）代替三氯蔗糖（0.6克）会导致明显的口味差异。最终，作者仍然对他们的自制汽水充满热情，特别是独特的“blinry橙”。

## Bouncer：掌控您的Twitter/X信息流 Bouncer是一款利用人工智能个性化您的Twitter/X体验的浏览器扩展，通过过滤掉您不想要的内容来实现。只需用简单的语言定义您*不想*看到的主题——例如“加密货币”或“政治争论”——Bouncer就会自动实时隐藏匹配的帖子。 主要功能包括：自然语言过滤、多种AI后端选项（包括通过WebLLM本地运行模型以保护隐私）、以及图像识别过滤。Bouncer还会提供透明度，显示帖子被过滤的*原因*。 安装方式可在Chrome网上应用店和iOS应用商店获取。用户可以使用OpenAI、Google Gemini和Anthropic等服务的API密钥来定制Bouncer，或使用本地运行的模型。该扩展程序会高效缓存结果，避免重复处理，确保流畅且定制化的浏览体验。

Claudraband 是一款实验性工具，旨在增强 Claude Code 的使用体验，提供会话管理和远程控制等功能。它不会取代 Claude SDK，而是*封装*了官方 Claude Code TUI，需要现有的 Claude Code 身份验证。 主要功能包括：**可恢复的工作流**（允许您使用 `cband continue` 稍后继续会话）、用于无头控制的 **HTTP daemon**，以及用于与 Toad 和 Zed 等编辑器集成的 **ACP 服务器**。还提供了一个 TypeScript 库用于自定义工具开发。 您可以通过 tmux 在本地运行 Claude Code 任务，或通过 daemon 远程运行。`cband` 是推荐的命令行界面。会话记录在 `~/.claudraband/` 中，可以列出、附加或关闭。 Claudraband 支持用于无头环境的实验性 Xterm 后端，但 tmux 更适合交互式工作。它非常适合个人、临时使用，并允许查询过去的 Claude 会话。安装方式为 npm 或 bun。

Anthropic“Mythos”模型的发布标志着一个令人担忧的转变——一个新的前沿正在关闭，这类似于美国历史上自由土地的终结。互联网曾经为任何人提供杠杆和创新的机会，但现在，公众可访问的AI模型与为富人和权贵保留的模型之间，正在出现越来越大的差距。 这种智能的集中化创造了一种潜在的危险的新封建主义动态。资本现在可以轻松转化为超人能力，使新来者几乎不可能竞争。与核武器不同，智能是一种创造力，对其的垄断可能会造成永久的下层阶级。 作者反对这种AI的私有化，主张更广泛的访问——不一定是为所有人提供开放的API，而是一种具有正当程序、透明度和申诉机制的系统。限制访问会阻碍安全研究和创新，同时会在少数安全记录可疑的组织手中滋生“零日漏洞生成器”。人们仍然希望，就像从大型机到个人电脑的转变一样，硬件会变得更易于访问，从而实现AI的民主化。然而，目前的趋势有扼杀潜力的风险，并重蹈历史上掠夺和权力集中的模式。