安杰伊·奥德日沃沃克最近发表的论文提出,所有初等函数都可以仅使用函数 *E(x,y) = exp x - log y*、变量和常数1来表达,他称之为“EML项”。虽然这一说法在网上引起了兴奋,但其有效性取决于“初等函数”的定义。 奥德日沃沃克使用一组包含36个特定符号的定义来定义“初等”,在他的定义下,他的定理成立,并接受对标准对数的修改。然而,传统的数学定义,源于19世纪李ouville等数学家的工作,包括代数函数和任意多项式根。 该论文的核心论点在于证明EML项具有“可解的单调群”,这是科瓦斯基拓扑伽罗瓦理论中的一个概念。然而,作者认为这不足以支撑他的结论。具体来说,EML项*无法*表示像一般五次方程的根这样的函数,而这需要一个不可解的单调群。因此,可以用EML项表达的函数类别是标准初等函数的严格子集,这意味着该论文的广泛主张在传统的数学理解下并不成立。
## 最佳锻炼时间以优化健康
最新研究表明,最佳锻炼时间并非一成不变,而是应与您的自然生物钟相协调。一项针对40多岁和50多岁成年人的研究发现,“早起者”从早晨锻炼中获益最多,而“夜猫子”则在晚上锻炼时效果更佳。
将锻炼与您的生理类型(您自然的清醒偏好)相匹配,可以改善血压、健身水平、睡眠质量和代谢指标。研究人员认为,这是由于内部时钟对全天激素水平和能量的影响。
专家强调一致性是关键,提倡设定小而可实现的目标。虽然健身房正在适应以提供灵活的时间,但优先进行规律的运动比严格的时间安排更重要。建议结合有氧运动和力量训练,例如靠墙深蹲或平板支撑,以促进整体健康。 进一步的研究仍在进行中,但研究结果支持根据个体的生物节律来调整锻炼计划。
## 依赖冷却时间的问题及上传队列的必要性
最近提出的“依赖冷却时间”——延迟采用新包版本——作为防御供应链攻击的手段正在获得关注,但其根本上存在缺陷。虽然看似有效(大多数攻击在几天内就能被检测到),但冷却时间依赖于首先被他人入侵才能识别恶意发布,本质上是建立在别人的不幸之上。
这种方法成本高昂,需要在多个包管理器和项目中进行广泛配置,而且并非万无一失——很容易通过单独安装来规避。更好的解决方案是集中式的“上传队列”,在新包发布后(但在分发之前)将其保留一段时间,用于自动安全扫描、公开差异审查,甚至可选的beta测试。
这借鉴了Debian成功的系统,将发布与分发分离,消除了搭便车问题。上传队列还能降低泄露发布凭证的影响,并提前通知更新。资金可以来自现有的包索引赞助者,或通过为商业发布提供付费加速审查。最终,像上传队列这样的集体、集中式方法比依赖于个体、被动的冷却时间更安全、更高效、更合乎道德。尤其是在LLM兴起的情况下,markdown文件实际上是可执行代码,这增加了供应链攻击的脆弱性,这一点至关重要。
弗吉尼亚州州长阿比盖尔·斯潘伯格正在寻求修改最近通过的枪支管制法案,以便在4月22日总议会重新召开时进行。这些修改旨在澄清对“攻击性武器”的禁令(HB217),并向一项将手枪/攻击性武器购买年龄提高到21岁(HB1525)的法案中增加普遍背景调查。其他要求的更改涉及安全存放的澄清,以及确保枪支回收计划的安全流程(HB702)。
拟议的“攻击性武器”禁令,即使是联邦官员也在密切关注,它根据枪托类型和弹匣容量等特征来定义禁止的枪支。现有枪主将被保留,但转让将受到限制。
司法部已警告斯潘伯格,如果这些法案生效,可能会面临诉讼,理由是第二修正案的权利。尽管如此,斯潘伯格仍然支持第二修正案,同时强调解决枪支暴力问题的必要性,她称枪支暴力是年轻人死亡的主要原因。民主党现在控制了州长职位和立法机构,这些措施得以实施,此前曾被否决。弗吉尼亚州加入了少数几个实施类似限制的州。
## 西澳大利亚加强燃料储备以应对全球危机
澳大利亚正面临能源危机,起因是海湾供应受阻以及随之而来的恐慌性购买。虽然全国存在储备,但大部分位于远离高需求地区的地方。西澳大利亚(WA)正在采取直接行动,建立自己的战略柴油储备以应对“急性短缺”。
与剑桥湾达成的协议最初将确保400万升,可能扩大到1200万升——足以支持当地基础设施几天。此举旨在解决WA因其庞大的采矿和农业部门而产生的巨大柴油消耗量,这些部门占全国总量的25%。
尽管最近短缺情况有所缓解,但WA政府旨在主动确保供应,特别是对于区域地区,因为全球形势仍然不稳定。该储备将利用现有的分销网络,并由政府自行决定部署。包括矿业和农业联合会在内的行业团体对这一举措表示欢迎,认为这是朝着提高燃料安全性的重要一步。
目前美国主持的以色列和黎巴嫩和平谈判具有历史意义,但面临重大障碍,不太可能取得实质性成果。核心问题是真主党缺席谈判;黎巴嫩政府对这个强大的、伊朗支持的准军事组织缺乏管辖权。
真主党强烈反对与以色列直接谈判,并呼吁黎巴嫩取消会议,认为这些会议是“徒劳的”。最近的局势升级,包括真主党发射火箭弹和以色列在黎巴嫩的空袭,凸显了持续的冲突。
虽然黎巴嫩寻求停火,但美国和以色列的目标是瓦解真主党并实现持久和平——这是真主党积极抵制的目标。谈判由国务卿马可·卢比奥监督,他将冲突定义为真主党和伊朗对黎巴嫩人民的侵略。最终,从美国和以色列的角度来看,持久和平排除了真主党继续存在,反映了长期瓦解该组织及其区域盟友的战略。
## Clojure 的持久化向量:总结
Clojure 的持久化向量在诸如追加、更新和查找等操作上提供实际上为 O(1) 的性能,同时保持不可变性——每次修改都会创建一个*新的*向量,而不是改变原始向量。这是通过平衡的有序树实现的,不同于传统的可变数组,后者需要代价高昂的复制。
持久化向量不复制整个数组,而是利用**路径复制**:只有到修改元素的路径上的节点会被复制,从而最大限度地共享不同版本之间的结构。更新涉及复制节点到目标位置并替换值。追加处理三种情况:右侧叶子节点有空间,需要时生成新节点,或根节点溢出(需要新的根节点)。
弹出(删除最后一个元素)以相反的方式反映这些概念,可能删除空节点,甚至在根节点变得冗余时删除根节点。虽然理论上由于树结构为 O(log n),但 Clojure 的向量使用高分支因子(每个节点 32 个子节点),从而形成非常浅的树——使操作“实际上”为常数时间。
这系列博客文章详细介绍了实现细节,未来的文章将涵盖诸如瞬态和尾部优化,以及对分支和查找机制的更深入研究。
## 昆塔斯航空因燃料成本上涨调整航班
澳大利亚昆塔斯航空公司正在应对大幅上涨的喷气燃料价格——自二月以来已翻倍以上——通过在2026年最后季度减少约5%的国内航班运力来应对。 尽管该公司对冲了约90%的石油需求,但预计燃料成本将达到31亿至33亿美元。
为了抓住强劲的需求,昆塔斯航空将重新部署运力,增加飞往欧洲的航班,特别是巴黎和罗马。 这一转变与其他主要航空公司(如新西兰航空和达美航空)的行动相似,这些航空公司也受到与全球不稳定(包括伊朗战争)相关的燃料成本飙升的影响。
尽管进行了这些调整,昆塔斯航空仍保持“强劲的财务状况”,资本支出仍保持在先前指引的范围内。 将向股东支付股息,但由于持续的市场波动,计划中的股票回购将被推迟。 竞争对手维珍澳大利亚航空也面临 disruption,因中东危机而暂停了代码共享航班。
国会议员埃里克·斯瓦威尔(民主党-加州)周二突然辞职,此前他面临新的、详细的性侵指控,以及对其过去不当行为的日益关注。洛娜·德鲁斯公开指控斯瓦威尔在2018年于西好莱坞一家酒店房间内对其下药并进行性侵犯,这一说法得到了财务记录的支持,记录显示他的竞选团队在该酒店在指控事件发生当天花费了资金,并且洛杉矶县警局已收到正式投诉。
斯瓦威尔否认所有指控,但他的辞职正值众议院道德委员会的调查以及另一起刑事调查正在进行中。他的离职与众议员托尼·冈萨雷斯(共和党-德克萨斯州)的辞职同时发生,冈萨雷斯承认与一名工作人员有婚外情。
此外,前众议员乔治·桑托斯发布了一份他声称涉及不当行为传言的议员名单,引发了人们对国会山进行更广泛清算的可能性猜测。桑托斯名单上的几个人已经不再是国会议员,这加剧了围绕立法部门涉嫌违反道德规范的日益不安。
## 人工智能监控的兴起:对隐私日益增长的威胁
Flock Safety 正在美国迅速部署人工智能驱动的监控系统——远不止简单的车牌识别器。这些摄像头分析车辆细节,如颜色、凹痕,甚至保险杠贴纸,以创建独特的“车辆指纹”,追踪车辆动向并识别模式,无需搜查令。这些数据在全国执法网络中共享,记录了公民生活的详细信息。
虽然这些系统被宣传为打击犯罪的工具,但支持这一说法的证据有限。人们对潜在滥用的担忧日益增加,例如,一位警察局长利用该系统跟踪某人。这些系统的扩张,通常缺乏公众辩论,引发了对第四修正案的严重担忧,类似于历史上对“普遍搜查令”的滥用。
Flock 的增长得益于与房屋所有者协会和企业的合作,模糊了公共安全与利润之间的界限。这种趋势是通向普遍监控的更大运动的一部分,甚至日常技术也变成了监控工具。专家警告说,优先考虑安全而非隐私,可能会侵蚀公民自由,并创造一个先发制人的猜疑社会。
个人可以通过了解情况、联系地方官员以及支持倡导隐私权力的组织来反击。
以色列总理内塔尼亚胡透露,他与美国副总统J.D. Vance保持着密切的日常沟通,讨论正在进行的美国与伊朗谈判。据报道,这些沟通是在巴基斯坦的会谈后开始的。内塔尼亚胡声称,Vance详细介绍了谈判内容,强调了这种协调程度让人联想到特朗普政府时期。
这位以色列领导人认为,谈判破裂的原因是伊朗未能完全开放霍尔木兹海峡,如双方所同意的那样——这一说法与以色列在黎巴嫩持续的轰炸行动有关,尽管已经提出了停火建议。内塔尼亚胡表示,美国的首要任务是阻止伊朗浓缩铀,前反恐官员乔·肯特将这一要求称为“毒药丸”,旨在延长冲突并服务于以色列的利益。
肯特认为,如果美国优先考虑自身利益并限制以色列对谈判的影响,达成协议是可能的,重点可以放在浓缩铀丰 Enrichment levels and monitoring。 这种情况凸显了美国和以色列在伊朗政策上的强烈一致,尽管达成持久协议的前景日益脆弱。
新公开的电子邮件显示,美国国立卫生研究院(NIH)高级官员马修·梅莫利博士私下反对新冠疫苗强制令,并担心因其立场而受到 repercussions。作为疫情期间美国过敏和传染病研究所(NIAID)临床研究部门的负责人,梅莫利担心如果他不遵守规定,会失去工作*和*行医执照,甚至获得了弗吉尼亚州的执照,以防华盛顿特区当局采取行动。
在给安东尼·福奇博士的邮件中,梅莫利警告说强制令是一个错误,认为疫苗无法阻止传播,甚至可能*推动*病毒进化。 他曾在之前的采访中表达过这些担忧,但美国《大纪元时报》的采访请求被卫生及公共服务部(HHS)阻止。
梅莫利在NIH内部伦理活动中表达了他的不同意见,认为强制令很少是合理的。虽然同事们大多反应积极,但一些人私下批评了他的理由。尽管NIH领导层保证没有人威胁他的工作,但梅莫利认为他的职业生涯面临风险,并后悔没有更强烈地表达他的担忧,他认为该机构在强制令方面犯了重大错误,并且不道德地处理了豁免申请。他现在希望官方承认强制令是一个错误。
特斯拉正在考虑将其上海超级工厂作为量产人形机器人Optimus的关键地点。特斯拉中国总裁王昊表示,该工厂可能是机器人生产的“金钥匙”,将依托其作为特斯拉最大工厂的现有产能——预计2025年将生产该公司全球超过一半的电动汽车。
这一潜在转变正值特斯拉计划在第二季度停止其位于加利福尼亚州弗里蒙特的Model S和X的生产,并将这些生产线改造为Optimus的制造线。埃隆·马斯克强调,此举是迈向自主未来的更广泛转型的一部分。
尽管行业对人形机器人技术的关注度不断提高,但市场对Optimus近期发布仍持怀疑态度,Polymarket目前估计到2026年底消费者可用的概率仅为16%。
## 回顾的价值:AI 炒作与逆向工程
尽管对实际成果持怀疑态度,凯PMG 报告显示,70% 的英国企业领导者将继续在 AI 上投入资金,并将“投资”重新定义为“战略赋能”。与此同时,OpenAI 的 Stargate UK 等项目面临挑战,甚至 Claude Code 等 AI 模型据称性能正在下降。这种昂贵且未经证实的技术环境促使人们反思另一种方法:逆向工程。
作者将当今的“先构建,后理解”的 AI 战略与历史上解构现有技术以从中学习的做法进行对比。回顾保加利亚在冷战期间通过细致的逆向工程制造的 Правец 计算机——苹果 II 的克隆,强调了理解设计如何促进创新。
同样,围绕 ISCAS-85 基准电路的数十年谜团也是通过逆向工程解决的,揭示了它们的功能并显著推动了 EDA 研究。这强调了一个关键点:诊断、综合和逆向工程本质上是相互关联的。
作者认为,关注理解事物*如何*运作,而不是简单地构建更大的模型至关重要。这需要耐心、数学和仔细观察——这条道路已被一个建立计算机产业的国家和重建其领域基础的研究人员证明是有效的。
尽管伊朗、美国和以色列之间目前有为期两周的停火,但由于以伊斯兰堡为中心的、关于伊朗核计划的谈判失败,紧张局势依然高涨。更复杂的是,摩萨德局长戴维·巴尔尼公开宣称,以色列情报行动仍在“德黑兰的心脏地带”持续,最终目标是伊朗政权更迭。
巴尔尼声称摩萨德为最近对伊朗的袭击提供了关键情报,并强调他们的任务将不会结束,直到现政权被推翻。这一声明与以色列媒体试图淡化他们在促使美国最近轰炸行动中的作用,以及反驳有关误导华盛顿关于可实现结果的说法相悖。
虽然像前总统特朗普这样的人暗示快速政权更迭,但以色列内部的评估承认推翻拥有九千多万人口的伊朗政府极其困难——这需要一场长期且可能不成功的地面入侵,这呼应了过去美国军事干预的经验。随着停火期限的临近,谈判的未来仍然不确定。
## 目标日期基金:一种带有注意事项的退休策略
目标日期基金(TDF)是一种流行的退休储蓄选择,可以自动调整资产配置——随着您接近退休,从风险较高的股票转向更安全的债券。虽然方便,特别是对于投资新手或将其作为401(k)计划的默认选项的人来说,但TDF并非总是理想的长期选择。
一个主要问题是灵活性。TDF可能会根据个人情况变得*过于*激进或保守,可能导致退休人员在市场下跌期间遭受重大损失,或限制增长潜力。理解基金的“滑行路径”(它随时间调整的方式——“到”目标日期与“穿越”目标日期)至关重要。
此外,TDF对资产配置和提款策略的控制有限,阻碍了像“水桶”方法这样的个性化方法。随着退休临近,财务状况变得更加复杂——拥有不同的收入来源和风险承受能力——TDF的“一刀切”方法可能无法满足需求。
最终,虽然TDF非常简单易用,但投资者应定期重新评估他们的TDF,并考虑过渡到与他们不断变化的需求和目标相符的定制投资组合,可能需要财务顾问的指导。
## 住房可负担性的州创新
联邦住房政策因其高成本、缺乏灵活性和更新频率低而受阻。各州正在成为创新解决方案的“实验室”,试验国会难以实施的方法。这些州层面的努力集中在简化法规,以允许更多可负担的住房选择。
主要策略包括允许更小的地块尺寸、多样化的居住类型(如联排别墅)以及在商业区内进行住宅开发——所有这些都旨在降低土地成本并增加供应。加利福尼亚州、佛罗里达州和德克萨斯州等州已经开始制定相关立法,表明它们愿意重新审视和完善政策以达到最佳效果。
作者认为,国会应从昂贵、自上而下的指令转向基于绩效的激励机制。通过对通过这些灵活方法建造更多可负担住房的州提供财政奖励,相对较小的投资——每年约90亿美元——可以产生24万套额外的住房单元。这代表了当前1000亿美元联邦住房预算的更有效利用。
## 加州州长竞选因斯瓦威尔丑闻动荡
本周末,加州州长竞选因民主党候选人埃里克·斯瓦威尔的性 misconduct 指控而陷入混乱,导致其竞选活动迅速瓦解。时机对共和党人来说十分有利,他们当时已在圣地亚哥聚集参加春季大会。
共和党领跑者史蒂夫·希尔顿,获得唐纳德·特朗普的背书,利用这一局势,将斯瓦威尔的垮台描绘成民主党“道德沦丧”的证据。里弗赛德县治安官查德·比安科也积极呼吁斯瓦威尔辞职。然而,加州共和党未能支持希尔顿或比安科,代表投票几乎平分秋色——一些人认为分裂的阵线更有可能让民主党完全失利。
在丑闻爆发前,民调显示斯瓦威尔略微领先于希尔顿和比安科。现在,民主党面临团结在一位可行候选人背后的挑战,哈维尔·贝塞拉、汤姆·斯泰尔和凯蒂·波特等人均存在挑战。在斯瓦威尔竞选活动崩溃之前,人们已经担心共和党人可能在希尔顿和比安科的带领下进入普选,而现在这种担忧更加强烈。甚至有人猜测卡玛拉·哈里斯可能会发起竞选,以稳定民主党的努力。