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.
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)的担忧,进展受阻。贝森特仍然乐观地认为,这些问题可以得到解决,以达成两党协议,并以此为基础,进一步完善最近的稳定币监管法。
## 威廉·詹姆斯、视觉思维与数据可视化的根源
最近对哈佛大学档案馆的研究揭示了心理学家威廉·詹姆斯一个令人惊讶的侧面:他对视觉艺术一生的热情。尽管他最初渴望成为一名画家,曾师从威廉·莫里斯·亨特,詹姆斯一生都在持续绘画,为他的独特思维过程提供了一个窗口。这种视觉创造力不仅仅是个人的;它与19世纪科学的一个关键转变息息相关。
詹姆斯与弗朗西斯·高尔顿和W.E.B.杜波依斯等人物一起,率先进行早期数据可视化。高尔顿专注于统计平均值(但不幸的是,也涉及优生学),而杜波依斯作为詹姆斯的学生,利用数据可视化有力地描绘了非裔美国人的进步。他们都认为*如何*可视化数据与*进行*思考是密不可分的。
这与当今的自动化设计工具(如Claude Design)形成对比,后者难以复制这些手工可视化作品特有的、以论证为驱动的质量。创造的物理行为——手与心之间的联系——培养了一种独特的深度思考,这种视角常常在数字抽象中丧失。詹姆斯的作品,包括可能的第一张神经网络的可视化表示,应该被视为数据可视化历史的基础要素,提醒我们设计不是苦差事,而是至关重要的思维形式。
伊朗最近对沙特阿拉伯王子苏丹空军基地的一次无人机袭击严重损坏了美国资产,包括E-3预警机和KC-135油轮,暴露了美国空防系统在应对低成本无人机时的脆弱性。作为回应,美国部署了乌克兰的反无人机技术,具体是“天空地图”指挥控制平台和拦截无人机,以加强该基地的防御。
乌克兰专家正在对美国人员进行该系统的培训,该系统利用被俄罗斯多年冲突磨练过的被动声学传感器来探测来袭无人机。此举凸显了美国空防能力的明显不足,并将乌克兰定位为现代、低成本无人机作战技术的关键提供者。专家预测,这种声学探测技术将在美国国内得到更广泛的应用,未来可能与自动化防御系统集成,以保护关键基础设施。
## Rip:一种现代 JavaScript 语言
Rip 是一种新的、简洁的语言,编译为 ES2022 JavaScript,灵感来自 CoffeeScript。它拥有较小的代码库(约 11,000 行代码),没有依赖项,并且使用 Bun 构建了一个自托管编译器。
主要特性包括一打新的运算符(例如 `!` 用于 `await`,` =~` 用于正则表达式匹配),使用 `:=` 和 `~=` 等运算符进行内置的响应式编程,以及可选的类型注释。Rip 通过 Ruby 风格的构造函数、列表推导式和简化的语法来简化开发——消除了导入、钩子和依赖数组。
除了核心语言之外,Rip 还提供用于服务器端开发、数据库交互(与 DuckDB)、UI 组件等的包。一种独特的“Rip Schema”为数据验证、ORM 和数据库迁移提供了一种统一的方法。
Rip 旨在易于使用,提供基于浏览器的 REPL、VS Code 扩展,并专注于简单性和增量开发。它旨在成为一种强大而易于接近的语言,适用于前端和后端项目。
梅特·奥兹博士,医疗保险和医疗补助服务中心(CMS)的负责人,宣布了一项全国性的反欺诈行动,针对所有50个州的医疗保险和医疗补助项目。CMS要求各州在30天内提交计划,详细说明他们将如何重新验证服务提供者,尤其是在高风险地区,以确保受益人真实存在且服务合法。
奥兹表示,如果各州不完全合作,CMS可能会采取“更积极”的审计行动。此举是在加利福尼亚州、佛罗里达州、缅因州和纽约州等州最近出现欺诈指控的基础上展开的。
该公告发布后,CMS发布了一项更正声明,修正了关于个人护理服务受益人数量的错误统计数据,奥兹最初声称该数字为510万(实际数字约为45万)。这项行动是特朗普政府更广泛打击欺诈和控制支出的努力的一部分,可能会对被认为不合规的州停止资金,并引发一些州(如加利福尼亚州)的法律挑战,这些州认为联邦政策的变化阻碍了反欺诈预防。
联邦上诉法院裁定,得克萨斯州可以执行一项法律,要求在所有公立学校教室展示十诫。第五巡回上诉法院以9比8的投票结果,推翻了之前阻止2025年法律(参议院法案10)生效的较低法院禁令。法院认为该法律不违反宪法第一修正案中关于建立或自由行使宗教的条款。
这一裁决与之前允许路易斯安那州类似法律继续执行的决定相呼应。该法律规定,每个教室必须展示尺寸显眼的十诫,资金由捐款提供。
代表15个德克萨斯州家庭的公民自由团体强烈谴责这一决定,认为它违反了政教分离原则,并侵犯了宗教自由。他们计划向最高法院上诉。得克萨斯州总检察长肯·帕克斯顿已经开始对不遵守该法律的学区采取法律行动,预计将执行该法律。预计最高法院将进行听证。
美国目前正在阻止对伊拉克定期美元运送,据报道是为了迫使巴格达解散强大的伊朗支持的民兵组织。华尔街日报证实了这一点,尽管伊拉克官员最初对此予以否认。这些运送包括伊拉克持有的纽约联邦储备银行的石油收入,对于伊拉克资助工资和进口等基本服务至关重要。
这并非新做法;自2003年以来,美国一直控制着这些资金的访问权限,将其作为影响伊拉克政策的杠杆,特别是关于伊朗的政策。最近的延误——包括被阻止的5亿美元运送——与伊拉克境内对美国设施的袭击以及伊朗和以色列之间持续的紧张关系同时发生。
华盛顿方面据报道对伊拉克下一任总理的潜在人选也感到不满,这进一步复杂了局势。这种情况凸显了2003年伊拉克战争的意外后果,最终赋予了国内亲德黑兰派系权力。
本文详细介绍了如何使用Teams TypeScript SDK将使用LangChain、Slack Bolt或Azure AI Foundry等工具构建的现有代理集成到Microsoft Teams中。核心原理是利用HTTP服务器适配器将您的现有服务器连接到Teams的消息端点(`/api/messages`),而无需进行重大代码更改。 该过程包括三个关键步骤:为您的本地服务器获取公共HTTPS URL(使用Dev Tunnels或ngrok等工具),使用Teams SDK CLI注册您的机器人(处理应用程序注册和清单创建),以及将应用程序旁加载到Teams中进行测试。 SDK通过验证传入请求和自动路由消息来简化集成。示例演示了如何将Slack机器人、LangChain链和Azure Foundry代理桥接到Teams,所有这些都共享一致的代码结构。还提供了使用FastAPI的Python等效版本。 最终,SDK充当无缝连接器,允许您以最少的对现有基础设施的破坏,将现有代理的功能扩展到Teams用户。完整文档请参见“Self-Managing Your Server”。
## Effekt 中的效应递归模式:摘要 本文探讨了在 Effekt 语言中实现递归模式——函数式编程(如 Haskell)中常见的折叠/展开模式的强大泛化工具。传统上,这些模式需要无限递归类型,而 Effekt 不支持。相反,作者利用了 Effekt 的效应和处理程序系统。 核心思想是将数据结构*重新函数化*为效应。`Term` 类型(代表 lambda 项)被转换为 `TermF` 接口,其中递归调用变成由上下文处理的效应操作。这使得 `cata`(猫态型——折叠)和 `ana`(鱼态型——展开)等操作可以在没有无限类型的情况下实现。 文章通过示例演示了这一点:美化打印项、计算项大小、查找自由变量和替换变量。然后,它介绍了 `para`(参态型——传递原始数据)和 `hylo`(混合态型——结合折叠和展开),展示了它们的强大功能和效率。`hylo` 中的一个关键优化是通过融合折叠和展开步骤来避免中间项的构造。 最终,文章强调了 Effekt 的效应系统提供了一种灵活且实用的方法来实现递归模式,与传统方法相比提供了一种独特的方法,并鼓励通过交互式游乐场进行实验。
## 快速 `tanh` 近似:总结
双曲正切函数 (`tanh`) 在神经网络和音频处理中至关重要,但其计算成本可能很高。 本综述探讨了各种近似 `tanh` 以提高速度的方法。
**传统方法** 包括 **泰勒级数**,它具有简单性但准确性有限,以及 **帕德逼近**,它通过多项式之比提高了准确性,但需要更多运算。 **样条曲线** 提供了另一种选择,将函数划分为分段多项式,优先考虑速度而非极致精度。
更高级的技术利用底层的 **IEEE-754 浮点表示法**。 **K-TanH** 利用整数运算和查找表进行高效近似,特别适合硬件实现。 **Schraudolph 方法** 巧妙地操纵浮点数的位表示,用最少的算术运算来近似 `tanh`——这是一种类似于快速反平方根黑客的技术。 后来的改进,**Schraudolph-NG**,通过特定公式利用误差抵消,进一步提高了准确性。
评估表明,速度和准确性之间存在不同的权衡。 虽然标准库实现提供精度,但这些近似值提供了显著的性能提升,使其对于资源受限的应用非常有价值。 方法的选择取决于任务的具体要求,在所需的准确性和计算效率之间取得平衡。
社区组织成功阻止了蒙特雷公园一项拟议的25万平方英尺数据中心项目,起因是居民发现该项目距离住宅仅500英尺。SGV进步行动,最初成立支持“黑人的命也是命”运动,后来倡导停火决议和社区防御,利用现有的志愿者网络和战略性公共记录请求迅速动员起来。这些请求显示,城市规划者偏向该项目,依赖开发商的评估和有限的社区通知。 居民,主要为亚裔和拉丁裔,发起“反对蒙特雷公园数据中心”运动,用多种语言向邻居宣传潜在影响——巨大的能源消耗、柴油发电机污染和噪音。一份请愿书收集了4500个签名,在市议会会议上压倒性的公众参与导致了临时禁令和一项永久禁止的投票措施。最终,开发商撤回了申请。 这次成功引发了更广泛的“反对圣加布里埃尔谷数据中心联盟”,与邻近城市如Industry和帝国县类似的项目作斗争,面临环境种族主义和有限的公众参与问题。组织者现在正在推动更严格的法规,包括环境评估和投票措施,以保护弱势社区免受数据中心扩张的负面影响。
伊朗经历了一个多月的冲突后,目前达成了一份脆弱的停火协议,德黑兰和全国都深受创伤。虽然停火协议已经生效,但美国和伊朗在核活动和地区影响力问题上的谈判仍然陷入僵局。冲突已造成至少3300人死亡和广泛破坏——全国超过7600座建筑物受损或被毁,其中约2800座位于德黑兰,影响了军事和民用基础设施。
除了直接的破坏之外,伊朗还面临着严重的经济危机。重建估计需要2700亿美元——几乎相当于整个经济体的规模——预计通货膨胀将飙升。受破坏的供应链、受损的工业中心和企业倒闭正在加剧现有压力,例如制裁和失业。
即使在停火协议下,重建也将是一个漫长而不确定的过程,取决于政治稳定和国际合作。德黑兰城市景观的相互关联性意味着恢复不仅需要物理修复,还需要恢复紧张的社会和经济系统。
海军部长约翰·菲兰被立即解除职务,副部长洪曹现在担任代理部长。五角大楼对此解职未作任何解释,此事发生在美国海军对伊朗实施封锁,以及“史诗狂怒”行动持续紧张之际。
菲兰是一位政治任命者和特朗普的主要捐助者,没有先前的军事经验,在任期十三个月期间专注于官僚效率,扭转了拜登时代的政策,并优先发展造船业。他过去与杰弗里·爱泼斯坦的关联也受到了关注。
洪曹是一位功勋卓著的海军退伍老兵,服役25年,海军学院毕业生,与他的前任形成鲜明对比,他因其作战经验和战斗记录而备受赞誉。普遍认为这次解职是由战争部长皮特·赫格塞思策划的,符合政府内部优先考虑忠诚和准备状态的人事变动模式。民主党人批评此举,称其为冲突关键时期内部不稳定的迹象。
特朗普总统最近的一项行政命令,旨在加速为退伍军人提供迷幻疗法,出乎意料地获得了赞扬,特别是来自乔恩·斯图尔特。该命令指示FDA加速审批治疗创伤后应激障碍、创伤性脑损伤和成瘾等疾病的疗法,例如伊博盖因——这些问题悲剧性地导致了自9/11以来退伍军人自杀率超过战场伤亡人数。
这项举措源于与乔·罗根的对话,旨在打破源于1970年《管制物质法》的数十年官僚主义障碍。它将加快FDA审查,建立安全协议,并扩大研究,为退伍军人提供潜在的、改变生活的治疗方法,而这些治疗方法以前在国内不可用。
斯图尔特承认这一举措是退伍军人的一项“积极”成果,甚至开玩笑地纠正了他通常对特朗普的批判立场。初步数据,包括对特种作战退伍军人的研究,表明使用伊博盖因等疗法可以显著减轻症状,促使许多人此前寻求国外治疗。该命令代表着一种转变,即优先考虑循证解决方案,并为那些正在与难治性心理健康挑战作斗争的人们提供新的希望。
本研究对柯达无损真彩色图像套件(PCD0992)中的24张图像进行了全面的统计特征描述,该套件是图像压缩领域广泛使用的基准。Baetzel (2026) 的工作详细分析了每张图像的通道间冗余,使用了协方差矩阵、特征分解和空间自相关等指标,直接从原始的8位RGB像素数据计算得出。 该研究的核心是对每张图像进行主成分分析(PCA),揭示了套件中维数谱和特征向量载荷模式。结果显示,冗余水平差异很大,由条件数量化,范围为7.55到1,739.16,并分为五个维数等级。详细的两页剖析报告(提供PDF和JSON文件)记录了每张图像的这些发现,包括蓝色通道独立性和空间相干性的指标。 该分析表明,柯达套件有效地代表了基于胶片摄影可实现的通道间冗余的完整范围,为图像处理和压缩算法开发提供了有价值的参考数据。完整的数据集和方法是公开可用的。
中国“国家队”——历来被用于稳定股市的国有投资机构——大幅减少了对主要股票ETF的持有量,这表明北京的策略正在转变。过去,国家队曾被依赖于*提振*市场,尤其是在2010年代的股市泡沫之后,现在似乎正在抑制自2024年初开始的过热行情。
文件显示,国家队的核心组成部分之一中央汇金投资有限公司,在多家ETF中的持股比例已降至20%的披露阈值以下,可能抛售了旗舰基金中至少一半的股份。据估计,约有800亿美元的仓位被出售,很可能锁定了年初上涨带来的巨额收益。
此举表明,国家队愿意管理投机过剩,这与单纯地托举价格有所不同。分析人士认为,国家队现在持有现金,可能用于长期投资,并且阻止市场下跌的能力减弱。然而,干预周期——支持、上涨、回落、重复——预计将继续。
投票权团体已起诉司法部(DOJ),以阻止其收集各州选民登记名单,指控其权力扩张和潜在的选民压制。司法部已起诉30个州未遵守规定,声称依据1960年《民权法案》有权分析这些名单以查找不当登记,并确保选举的完整性。
然而,像共同事业(Common Cause)这样的团体认为,司法部正在未经国会批准建立一个“选民监视和清洗机构”,超出了其对选举管理的权限。他们担心敏感选民数据(包括社会安全号码和政党 affiliation)的集中化以及缺乏透明度。
司法部辩称其行为是履行监督联邦选举的法律义务,并表示各州正在抵制透明度。共同事业指责司法部存在党派动机,指控其试图“压制数百万合格选民的声音”。该诉讼旨在迫使司法部删除收集到的数据并停止进一步的汇编。
大型语言模型(LLM)在编码中的日益普及带来了超越传统“技术债”的新挑战。玛格丽特-安妮·斯托里提出了一种由三个相互关联的“债务”构成的框架:**技术债**(存在于代码中,影响可修改性),**认知债**(存在于人员中,削弱共同理解),和**意图债**(存在于制品中,迷失原始目标)。 最近的研究,基于卡尼曼的“快与慢思考”,引入了“系统3”——人工智能,导致潜在的“认知投降”,即对人工智能生成解决方案的不加批判的依赖。这突出了*验证*的重要性,超越了仅仅*编写*代码。随着人工智能辅助下编码可能变得“免费”,在复杂现实场景中定义“正确性”成为关键的、独属于人类的任务。 这种转变需要组织结构调整,优先考虑验证和质量保证,而非功能输出。团队应专注于定义验收标准和监控结果,可能将工程角色转向验证和判断。虽然LLM可能无法“破解”遗留系统现代化,但*可以*帮助理解现有代码。最终,成功将取决于拥抱重视批判性评估和健全验证系统的文化。
## 机器人蚂蚁展示自组织建造
哈佛大学的研究人员开发了“RAnts”,这是一群受蚂蚁群体启发的简单机器人,能够在没有预编程或中央控制的情况下建造和拆除结构。这些机器人不使用复杂的AI,而是利用一种名为“具身智能”的原理,通过与环境的互动产生集体问题解决能力。
RAnts 使用“光信息素”——模拟蚂蚁信息素的光场——来协调诸如运输和放置积木等动作。通过遵循追踪光梯度和响应积木阈值等基本规则,蜂群会自发地组织起来,展示一种名为“刺激反应”的过程。
值得注意的是,蜂群可以通过调整两个参数即可瞬间在建造和拆除之间切换。这种去中心化的方法为自主机器人提供了一种鲁棒且适应性强的模型,潜在应用领域包括危险环境建造、行星探索,甚至动物行为研究。这项研究强调,智能并非仅仅关于强大的处理器,而是关于简单的主体与其周围环境有效互动。
最近软件股的上涨并未拯救所有公司,美黛佳(Medallia)即将进行的重组就是一个例证。Thoma Bravo 2021 年以 64 亿美元收购美黛佳,现在面临 51 亿美元的股权损失,原因是该公司增长停滞、债务服务成本增加(每年近 3 亿美元的 30 亿美元债务)以及来自新兴人工智能技术的竞争。
黑石、阿波罗和KKR等贷款方已多次下调其贷款头寸,表明存在严重的财务困境。据报道,Thoma Bravo 正在接近与贷款方达成协议,将美黛佳的控制权移交给他们。
这种情况为私募股权投资提供了警示,凸显了在估值高峰期高价收购软件公司以及过度依赖杠杆的风险,尤其是在面临不断变化的市场动态时。美黛佳的案例可能会引发私募股权投资者持有的其他 SaaS 公司的估值下调。
## 拯救新奥尔良的霓虹光芒
新奥尔良以其充满活力的霓虹灯招牌而闻名——从标志性的蒙特勒酒店屋顶到热带岛屿的俏皮光芒。但这种令人眼花缭乱的艺术形式正在消逝,内特·谢弗(Nate Sheaffer)和他的“大性感霓虹”(Big Sexy Neon)正在努力保护它。自2020年以来,谢弗一直在修复历史招牌并制作新的招牌,一丝不苟地弯曲玻璃并用氖、氩和氪等气体填充——这是一项他差点为此丧命的危险工艺。
在他成功倡导修复图雅居(Tujague’s)历史招牌后,他的作品声名鹊起,该招牌现藏于南方食品和饮料博物馆。谢弗是一位自学成才的艺术家,父亲是一位机械师,他倡导霓虹灯的可持续性,重复利用材料并强调其与现代LED替代品相比的寿命。
虽然霓虹灯曾经在新奥尔良蓬勃发展——到20世纪50年代,其招牌数量甚至超过拉斯维加斯——但这种艺术形式正受到学徒缺乏和更便宜、大规模生产的LED招牌的威胁。谢弗的工作室是他奉献精神的证明,里面摆满了将霓虹灯与回收材料融合的原创作品,确保新奥尔良明亮的精神继续闪耀。