## LLVM 优化:深度剖析摘要
本文深入探讨了 LLVM 编译器的优化过程,展示了看似微小的代码改动如何对性能产生巨大影响。文章强调,虽然现代编译器功能强大,但理解其内部机制对于编写真正高效的代码至关重要。
作者使用了两个案例研究:模数递增优化和字节序转换。第一个案例展示了如何通过 `[[assume]]` 属性或断言向编译器提供信息,从而用更廉价的条件移动指令替换昂贵的除法运算,利用 `InstCombine` 优化通道。第二个案例展示了如何将处理不同字节序数据的通用函数优化到与专用函数相同的水平,但需要理解优化通道的顺序,例如 `AggressiveInstCombine` 和 `CodeGenPrepare`。
关键要点包括:早期优化的重要性、利用语言特性(如模板)来引导编译器、坚持常见的代码模式,以及认识到优化通常是一种权衡。文章强调使用 Compiler Explorer 等工具来检查优化流水线,并理解特定转换发生(或不发生)的原因。最终,实现最佳性能需要结合编码技巧和编译器意识,将优化视为一门科学和艺术。
文章还为希望亲身体验 LLVM 优化的读者提供了大量的练习。
尽管股市总体表现积极,但存储芯片股(如美光和闪迪)表现明显落后,引发了投资者的“理性评估”。下跌源于谷歌研究院发布了“TurboQuant”,一种用于人工智能模型的新压缩算法。
TurboQuant 显著降低了人工智能推理所需的内存——最多可降低 6 倍,且不牺牲准确性。这项突破性技术威胁到降低对存储芯片的大量需求,而这种需求最近推高了价格。该算法侧重于压缩“KV 缓存”,这是人工智能处理中的一个关键瓶颈,并且独特地避免了与压缩相关的典型精度损失。
尽管仍处于研究阶段(预计 2026 年展示),但市场反应迅速,担心需求可能崩溃。分析师认为,这可能会影响目前受益于高内存价格的公司,甚至挑战持续的 DRAM/NAND 需求叙事。这种情况与过去“由中向外”的创新类似,即软件改进降低了对硬件的需求,并促使人们呼吁做空存储芯片股,甚至做空严重依赖存储芯片制造商的韩国市场。
埃隆·马斯克和特斯拉正在试图取消特拉华州法官凯瑟琳·麦科米克对其案件的审理资格,声称其存在偏见。这源于她在领英账户上点赞了一条庆祝马斯克在加州一起关于推特投资者诉讼中败诉的帖子。马斯克的法律团队认为,这造成了偏见的印象,尤其考虑到麦科米克过去曾多次对其不利的裁决——包括最初撤销了他的特斯拉薪酬方案(后来在推翻上恢复)。
麦科米克法官声称她不知道这个“赞”,或者她没有点赞,或者是不小心点赞的,但承认存在不确定性。这一事件加剧了马斯克对特拉华州法院的不信任,他之前曾批评过麦科米克,甚至将特斯拉的注册地迁至得克萨斯州。
她目前正在审理另一宗特斯拉案件,并正在考虑回避,此前她也在争议发生后失去了对她领英账户的访问权限。这一情况凸显了人们对司法人员在社交媒体平台上的行为日益增长的担忧。
雷恩勒夏托,一个位于法国比利牛斯山脉的小村庄,因其19世纪的神父贝朗热·索尼埃的故事而成为阴谋论的磁石。他在翻新教堂时神秘地积累了财富,引发了关于隐藏宝藏的传言——从卡塔尔教派的遗物和圣杯到失落的王室财富。
虽然历史记录表明索尼埃的资金很可能来自不正当手段,例如出售赎罪券,但对宏大秘密的迷恋仍然存在。当地企业家诺埃尔·科布利用这种神秘感,推广宝藏的故事并吸引好奇的游客。记者阿尔贝·萨拉蒙在1956年发表的耸人听闻的文章进一步激起了公众的兴趣,将该村庄与古代秘密联系起来,并引发了数十年的寻宝活动。
如今,雷恩勒夏托作为一个旅游目的地而繁荣发展,吸引着那些着迷于伪历史和对隐藏的、可知的真相的安慰性想法的人们。这个村庄体现了人类对神秘的渴望,证明即使在不确定的时代,一个好的阴谋论也可能出人意料地令人感到舒适。尽管有揭穿的努力,但传奇依然存在,确保雷恩勒夏托仍然是那些在历史混乱的格局中寻求答案——或仅仅是一个引人入胜的故事的人们关注的焦点。
洛约拉大学新生谢丽丹·戈尔曼被非法滞留的移民何塞·梅迪纳-梅迪纳枪杀,引发了愤怒,并暴露了民主党内部的深刻分歧。梅迪纳-梅迪纳有犯罪记录,据称在戈尔曼在码头附近行走时开枪射杀了她。
一些民主党人的回应受到了广泛批评。芝加哥议员玛丽亚·哈登似乎将责任归咎于戈尔曼“身处错误的时间错误的地方”,而州长普里茨克则将责任推卸给特朗普政府。几位伊利诺伊州的民主党人现在正在与反对莱肯·赖利法案的投票保持距离,该法案将强制拘留和遣返犯下罪行的非法移民。
参议员约翰·费特曼(宾夕法尼亚州民主党)公开谴责他的政党,对缺乏对这场悲剧的承认表示沮丧,并主张更严格地执行移民法律。他认为,除非民主党优先考虑对违法者的遣返,否则像戈尔曼这样的悲剧将会继续发生,并暗示对党内基础的恐惧正在阻碍进展。费特曼因其立场而面临党内的反弹,但他仍然坚定地优先考虑他认为正确的原则。
## 住房市场僵局:梦想的延缓
美国住房市场目前陷入停滞,与2008年的崩盘截然不同。飙升的抵押贷款利率(现已达7%)让大多数潜在买家望而却步,而数百万现有房主则被历史性的3%低利率“锁定”,不愿出售并放弃优势。买卖双方的缺失导致虚幻的定价——房屋挂牌价格很高,但很少成交。
新建房屋销售额大幅下降,与2008年危机后的下滑情况相似。核心问题是负担能力;即使是五十万美元的房屋,加上税费和保险,也变得难以负担。年轻一代受到的影响尤其严重,首次购房者的平均年龄现在已超过40岁,打破了二战后可负担住房的理想。
通过政策改变(如特朗普最初提出的增加住房供应)来重振“美国梦”的尝试已经失败。市场力量——包括动荡的债券市场和持续的通货膨胀——证明过于强大。补贴只会进一步推高价格。除非住房供应显著增加或抵押贷款利率下降,否则不太可能找到解决方案,这加剧了沮丧情绪,并加剧了更广泛的经济焦虑,尤其是在年轻选民中。
人工智能公司Anthropic正在起诉美国国防部,原因是其被指定为供应链风险——实际上是被列入黑名单,无法获得联邦合同——理由是国家安全问题。这场争议源于Anthropic拒绝在其人工智能产品Claude上移除安全限制,从而阻止其被用于大规模监控和自主武器,尽管五角大楼声明并非如此使用。
前总统特朗普公开批评Anthropic,指责他们试图干预军事政策。Anthropic认为这一指定是非法的报复,可能给他们造成数十亿美元的损失,而政府担心该公司可能会通过未来的更新来破坏军事系统,如果他们不同意其使用方式。
一位联邦法官最近听取了辩论,并表示担忧,认为该指定似乎过于宽泛,并且可能是在惩罚该公司发表的公开批评,暗示存在违反第一修正案的情况。她质疑为什么不只是停止使用Claude,而是需要完全禁止。关于是否临时阻止该指定,预计很快会有判决。
文斯·沃恩最近在西奥·冯的播客节目中批评了目前深夜脱口秀的现状。沃恩认为,吉米·基梅尔和斯蒂芬·科尔伯特等人的节目变得同质化,并且过度关注政治议程。他认为这些节目从搞笑转变为令人不快的说教,疏远了观众。
沃恩特别指出,节目似乎过于依赖针对特定人群的幽默,这导致收视率下降。他觉得持续的政治评论和对“谁好谁坏”的评判使节目变得单调乏味,并将这种体验比作在飞机上被迫听取陌生人的说教。沃恩和冯都同意,这些节目通过优先考虑意识形态而非幽默,失去了娱乐价值。
罗伯特·马龙博士,最近被卫生部长罗伯特·F·肯尼迪任命为免疫实践咨询委员会(ACIP)副主席,已辞去其职务。此前,一位联邦法官裁定阻止了肯尼迪对ACIP的任命以及对CDC疫苗接种计划的更改,马龙批评这一决定无视了他数十年的疫苗专业知识。
马龙表示,由于持续的不尊重和批评,特别是关于ACIP新冠疫苗指导建议,他已经开始寻找辞去这个无薪职务的方法。他现在正专注于与国务院合作,处理生物战协议相关工作。
他表达了对ACIP成员贡献的大量志愿时间缺乏认可的沮丧,甚至提到在特朗普政府期间遭受的 perceived 不公正待遇。虽然卫生及公共服务部与ACIP保持着专业关系,但马龙认为他的贡献一直被低估。另一位ACIP成员瓦菲克·埃尔-德伊里博士赞扬了马龙的知识和专业精神。
## 新型FPGA板开发总结
该项目详细介绍了以Efinix Ti60F256 FPGA和1GB DDR3L内存芯片为核心的新型、更高级FPGA板的设计和制作。 设计者首次尝试焊接BGA元件(0.8mm间距),通过练习后采用钢网和底部加热的方法。 使用了六层PCB,成本明显高于之前的双层设计。
除了核心组件外,该板还包括TMDS串行器、USB限流、可切换的SD卡电压、实时时钟、通过ESP32模块实现的WiFi,以及第二个USB-C端口以提供更多电源选项。
FPGA上运行着使用Verilog和越来越多的SpinalHDL(一种基于Scala的HDL)构建的定制系统级芯片(SoC)。 关键IP核心来自Dolu1990(VexiiRiscv和SpinalHDL),用于处理器核心。 最终的SoC具有207MHz的RISC-V核心,达到511 DMIPS,并利用了FPGA逻辑资源的89%。 初步测试显示出令人鼓舞的性能,包括45MB/s的SD卡读取速度和高达1.13GB/s的DMA传输速率,以及成功执行的裸机程序甚至Doom游戏。 发现了一个小的WiFi问题,计划在下一版本中进行修正。
周二,位于圣何塞的一家海底捞火锅店的服务机器人发生故障,给顾客造成混乱。该机器人原本是“疯狂动物城2”宣传活动的一部分,但意外失控,撞倒了餐具和筷子,之后才被工作人员制止。
视频显示,员工们争相阻止这台失控的机器,最终将其扑倒,一名工作人员试图通过手机界面重新控制它。没有人员受伤报告。
这起事件凸显了人们对餐厅自动化安全协议日益增长的担忧,因为没有明显的紧急停止按钮。网民质疑在利用机器人的公共场所,是否需要更清晰的手动Override系统。海底捞一直在其餐厅中越来越多地整合技术,而这一事件引发了人们对机器人系统故障时快速响应能力的质疑。
巴尔的摩市正在起诉埃隆·马斯克的 xAI,指控其 Grok 聊天机器人助长了非自愿、露骨的深度伪造图像的制作,包括未成年人的图像,违反了该市的消费者保护法。起诉书称,Grok 缺乏足够的保障措施,并且允许轻松操纵图像,尽管它被宣传具有安全功能。
此举引发关注,原因在于巴尔的摩市自身面临严重问题:人口下降、税收高、犯罪猖獗和经济低迷——所有这些都源于数十年的进步政策。批评人士认为,这场诉讼是一种出于政治动机的转移视线,类似于欧洲实体采取的类似行动,并且可能与民主党捐助者(如乔治·索罗斯)有关,他们与市长和马里兰州州长都有联系。
许多人质疑为什么巴尔的摩市只关注马斯克,却忽视了其他人工智能公司,以及疏忽了基础设施维修(在 Key Bridge 倒塌后)和居民持续外流等紧迫的本地问题。一些人认为,这场诉讼可能是一种“敲诈”马斯克的手段,以解决该市的财政困境。
国土安全部(DHS)的部分停摆正在对全美航空旅行造成重大干扰。截至3月23日,已有超过450名TSA安检员辞职,数千人因停摆期间无法获得工资而请病假——全国范围内近11%。机场安检排队时间长达数小时,亚特兰大(37.4%)、纽约肯尼迪机场(33.7%)和休斯顿霍比机场(40.3%)等主要枢纽的安检员缺勤率尤其高。
为了减轻影响,特朗普总统已派遣数百名已获得资金的ICE官员前往14个机场协助TSA。参议院共和党人正在试图为DHS提供全面资金,并提出了一种最初不包括ICE执法资金的分裂方案。民主党人,如科恩斯参议员,正在寻求对ICE运营的书面保证和改革,然后再支持任何协议。
尽管谈判仍在进行中,共和党和民主党领导人均表示对达成解决方案持谨慎乐观态度。
为了参与特斯拉的漏洞赏金计划,作者试图在台式机上运行特斯拉Model 3的计算机系统——MCU和自动驾驶计算机。为此,他从eBay上采购了零件,主要来自报废车辆,花费约200-300美元。除了计算机本身,还需要一个12V电源和一个触摸屏,后者出人意料地昂贵。
最大的挑战是获得连接MCU和屏幕的特定Rosenberger连接线,因为它没有单独出售。特斯拉公开的电路图有助于识别该电缆,但无法单独购买,最终需要购买整个仪表盘线束。
在成功启动系统并完成初始网络设置后,作者发现了MCU上可访问的SSH和REST API服务,为安全研究提供了潜在途径。一次挫折是,一个临时的电缆连接损坏了一个电源控制器芯片,需要维修和第二个MCU。最终,在拥有一个可用的设置后,作者获得了对汽车操作系统访问权限,为进一步探索用户界面、网络接口、CAN总线和固件打开了大门。
莫妮卡·坎农-格兰特,一位“黑人的命也是命”运动的活动家,同时也是波士顿非营利组织“波士顿暴力事件”的创始人,于3月23日被勒令偿还超过22.4万美元的欺诈所得资金。她去年秋天承认犯有欺诈罪和虚报税款罪,被判处六个月居家监禁、社区服务和四年缓刑。
挪用的资金包括181,037美元的捐款、33,426美元的疫情失业救济金和12,600美元的租金援助金。检察官详细说明了坎农-格兰特将资金用于个人开支的例子,例如汽车付款和直接取款。
她的丈夫克拉克·格兰特也被起诉,但在不久后的一起摩托车事故中去世。尽管她的律师在寻求较轻判刑时提到了坎农-格兰特悲惨的成长经历和她对社会正义的奉献精神,但法官裁定必须全额赔偿,强调了对公众信任和捐助者的背叛,他们相信他们的捐款将支持反暴力倡议。
一家中国公司正在批量生产YKJ-1000高超音速导弹,价格约为9.9万美元,与豪华汽车相当。这大大降低了现有高超音速防御系统的成本,将战争优势转向进攻方。
这项发展尤其令人担忧的是导弹的发射系统:伪装成标准集装箱,使其能够从全球几乎任何地方部署。这种“隐藏在明处”的策略使得先发制人的打击变得极其困难。
导弹的精确度和有效载荷的具体细节相对不重要,但其极高的可负担性和可获得性构成了“前所未有的威胁”。即使是不太精确的打击也会迫使进行昂贵的拦截尝试。专家警告说,这项技术可能会出口到与中国结盟的国家,从而可能危及美国及其盟友的目标——包括船只和关键基础设施——在任何主要港口或交通枢纽800英里范围内。这项发展从根本上挑战了传统的防御战略,并使现有系统容易受到攻击。
## 钠离子电池助力电动汽车发展
电动汽车下一代电池正在快速发展,钠离子技术作为锂离子电池的有希望的替代品,正接近量产。在宁德时代最初发布之后,中国汽车制造商北汽集团最近宣布其自主研发的钠离子电池原型机“极光”系列取得突破。
北汽的电池拥有令人印象深刻的能量密度(超过170Wh/kg)和CLTC续航里程450公里(280英里),与领先的磷酸铁锂(LFP)电池相当。重要的是,它们提供超快充电(约11分钟充满)并在-20°C(-4°F)的温度下仍能保持超过92%的能量保有率。
由于材料成本较低且对价格不敏感,与锂相比,钠离子电池正在获得发展势头。全球出货量去年激增150%,达到9 GWh,预计四年内将超过1,000 GWh。宁德时代和比亚迪等公司正在大力投资这项技术,预计续航里程将增加(可能达到500-600公里),并在电动汽车市场实现更大的可持续性。
## 耕作对土壤的影响通过地震技术揭示
华盛顿大学的一项新研究,发表在《科学》杂志上,揭示了耕作和土壤压实如何破坏重要的毛细管网络,降低土壤吸收水分的能力。研究团队利用光纤电缆和一种称为分布式声学传感(DAS)的技术——最初是为地震监测而开发的——跟踪了英国哈珀亚当斯大学实验田地的地面运动和地震波速变化。
研究表明,耕作虽然旨在改善水循环,但实际上会*破坏*土壤内的微小通道,导致地表积水、侵蚀加剧和洪水风险增加。研究测试了不同的耕作深度(10厘米和25厘米)以及拖拉机引起的压实程度,证明了扰动与水分保持能力降低之间的明确联系。
这种创新且经济高效的方法可以提供高分辨率的土壤湿度数据,可能有助于农民进行土地管理、提供洪水预警以及改进气候和地震灾害模型。研究结果为长期观察到的与耕作实践相关的土壤退化提供了具体的解释。
教皇利奥十四最近重申了天主教会长期以来对现代战争的反对立场,特别呼吁永久禁止空中轰炸。他在与航空公司高管的讲话中,哀叹尽管经历了20世纪冲突的恐怖——回忆起一战、二战及之后造成的破坏——轰炸行动仍在继续,这代表着“倒退”而非进步。
这一立场建立在梵蒂冈数十年的批评之上,可以追溯到教皇本笃十五世对一战残酷性的谴责,以及教皇庇护十二世对二战期间轰炸袭击中平民死亡的愤怒。1965年的梵蒂冈第二大公会议进一步谴责了对城市的无差别破坏。
自美国-以色列与伊朗冲突爆发以来,教皇利奥一直非常直言不讳,敦促停止战斗,甚至建议那些发动战争的基督教领袖应该去忏悔——这似乎是对美国的直接信息。他强调飞机应该成为“和平的载体”,而不是毁灭的工具。
据NBC报道,特朗普总统通过高度选择性的每日军情简报,获得对伊朗冲突的片面乐观的看法。这些简报据称包含展示成功打击的短视频,而淡化或省略负面进展。
匿名官员担心这种做法会阻止特朗普了解战争的全部情况,加剧他对媒体报道的不满,并让他质疑为何公众认知与简报中描绘的“成功”不符。例如,特朗普是从媒体报道中得知伊朗袭击美国空中加油机的消息,并被告知损失很小。
白宫否认了这些说法,声称总统已得到充分知情。然而,该报道强调了对战争战略日益增长的批评,分析人士指出,尽管官方声明宣称“压倒性成功”,但伊朗仍然有能力给美国造成经济和政治代价。