Joel David Hamkins 是一位数学家和哲学家，专门研究集合论、数学基础和无穷大的本质，他是 MathOverflow 上评分最高的用户之一。他还是多本书的作者，包括《数学的证明与艺术》和《数学哲学讲座》。他有一个很棒的博客，名为 Infinitely More。感谢您的聆听❤ 查看我们的赞助商：https://lexfridman.com/sponsors/ep488-sc 请参阅下面的时间戳、成绩单，并提供反馈、提交问题、联系 Lex 等。成绩单：https://lexfridman.com/joel-david-hamkins-transcript 联系 LEX：反馈 – 向
That Night time We Virtually Did not Make It
安吉尔·科尔特斯 (Angel Cortes) 记得一次残酷的迫击炮和火箭袭击，那场战斗感觉不真实，生存时间一直缩短到几秒钟。喜欢的朋友请点击订阅，点赞并分享给好朋友。观看剧集：Ep. 62 --- #TheMikeDropPodcast #MikeRitland #Veteran #Navy #Geopolitics #MikeRitlandPodcast #MortarAttack #RocketFire #CombatZone #WarStory #MilitaryBase #ActiveCombat #FrontlineExperience #ServicememberStory #B
How decades of consolidation have devastated US cattle ranchers
即使美国牛肉价格持续飙升，美国养牛场主也面临着越来越大的财务压力——More Perfect Union的一份新报告称，这部分是由于肉类包装行业的行业整合所致。贸易协会R-CALF USA首席执行官比尔·布拉德(Bill Bullard)向More Perfect Union解释说，养牛场主在牛肉生产过程中本质上处于金字塔的底部，而顶部则被“四家肉类包装商占据了牛肉生产的80%”。布拉德说：“在那里，肉类包装商能够发挥其市场力量，以压低养牛者收到的动物价格。”为了说明这对农民的影响，布拉德指出，1980 年，消费者为牛肉支付的每 1 美元，养牛生产者能获得 63 美分，而 40 年后，他们只获
Instacart ends AI pricing test that charged shoppers different prices for the same items
在一份报告显示平台上的客户为同一商品支付不同的价格后，Instacart 将停止使用人工智能来试验产品定价。
通过原位“分类基因组学”揭示巴西大西洋森林中寄生活板门蜘蛛的一种新紫菌属（Ophiocordycipitaceae）真菌及其相关微生物组摘要我们的星球上栖息着估计 250 万种真菌，其中只有不到 10% 得到了科学描述。一些研究最多但引人注目的真菌物种是那些能够寄生节肢动物，特别是昆虫和蜘蛛的真菌物种。在这里，我们在世界上生物多样性最丰富但受威胁的生物群落之一——大西洋森林中，探索了一种攻击蜘蛛的（蜘蛛致病性）真菌及其相关微生物组的隐藏多样性。我们采用基于现场的“分类基因组”方法，包括经典真菌分类学和样本内源性、相关性和附带 DNA 的基因组表征的整合。我们在现场获得的数据揭示了一种属于 P.
Aircraft Developer ZeroAvia Completes Financin to Power Next Phase of Growth
氢电飞机开发商 ZeroAvia 宣布完成新一轮融资。该公司希望这笔融资将有助于推动其开发项目，例如 SuperStack Flex 引擎。此轮投资由 Barclays Climate Ventures、Breakthrough Energy Ventures、Ecosystem Integrity Fund、Horizons Ventures、Summa Equity 和 AP Ventures 领投，国家财富基金和苏格兰国家投资银行参与参与。 […]飞机开发商 ZeroAvia 完成融资以推动下一阶段的增长首先出现在旅行雷达 - 航空新闻上。
Instacart ends program where users see different prices for the same item at same store
Instacart 正在结束一项计划，即客户在同一时间从同一家商店订购的同一产品会看到不同的价格。
The Air Force’s A-10 Warthog Dilemma
要点和总结 – A-10 疣猪之所以能经久不衰，是因为它在一项工作上做得非常出色：近距离空中支援。它可以徘徊、飞得足够低以目视确认目标、与 JTAC 紧密合作，并提供精确的火力——尤其是使用标志性的 GAU-8 机炮。 -其坚固的设计和冗余系统帮助它在伊拉克和阿富汗生存，[…]空军的 A-10 疣猪困境首先出现在 19FortyFive 上。
How Is Jay Bhattacharya Doing as NIH Director?
Jocelyn Kaiser，科学杂志 夏末，当 Jayanta“Jay”Bhattacharya 到达美国国立卫生研究院 (NIH) 校园时，他遇到了一些混乱......
Tiwaripotamon keeae Huang, Shih & Ahyong, 2024DOI: doi.org/10.11646/zootaxa.5476.1.16 facebook.com: Chao HuangAbstractTiwaripotamon Bott 属淡水蟹新种，1970 年（Potamidae），描述于那波南部的山地喀斯特地区，在中越边境。它是该属第 12 个已知物种，也是已知最小的物种，观察到的最大成体标本的甲壳宽度仅超过 20 毫米。除了体型较小之外，眼睛、甲壳和行走腿的特征进一步确定了 Tiwaripotamon keeae sp. 的特征。十一月除了它的同类。
Strobilanthes siangensis J.R.I.Wood、Gammi 和 D.Borah，载于 Wood、Borah、Gammi、Taram 和 Tungon，2024 年。新加坡花园公报。 76(2)； facebook.com：印度东北部的迪普博拉阿鲁纳恰尔邦拥有多种不同的 Strobilanthes Blume 物种。两种先前未报告的物种：Strobilanthes pubiflora J.R.I.Wood 和 S. panuliformis J.R.I.Wood 的出现已被记录。 J.R.I.Wood、Gammi 和 D.Borah 描述了新的 Strobilanthes
SAS Shines as Finalist in The Aviation Challenge 2025
斯堪的纳维亚航空 (SAS) 在天合联盟的 2025 年航空挑战赛 (TAC) 计划中大放异彩，在今年进入的六个类别中的五个类别中入围决赛。 SAS 入围 2025 年航空挑战赛决赛入围者一文首先出现在 AviationSource News 上。
Mark Green: Don’t Let Trump Hijack July 4. How to Resist.
马克·格林 (Mark Green) 是纽约市的一位进步活动家。他是该市的消费者事务专员，然后是纽约市第一位公共倡导者。他是一名律师和作家。他在他的 Substack 博客上写道，特朗普接管 1776 年 7 月 4 日第 250 场庆祝活动并不像为了石油而与委内瑞拉开战那么紧迫，或者 [...]
CLOP targets Gladinet CentreStack servers in large-scale extortion campaign
Clop 勒索软件组织在新的大规模勒索活动中针对 Gladinet CentreStack 文件服务器。 Clop 勒索软件组织在一场新的大规模勒索活动中针对 Gladinet CentreStack 文件服务器，旨在窃取全球组织的敏感数据。 Gladinet CentreStack 是一个软件平台，允许组织将其现有文件服务器转变为 [...]
Glenn Kessler: Trump’s Top Ten Lies of 2025
Glenn Kessler 担任《华盛顿邮报》事实核查员 15 年。他最近辞去了职务，现在在他的 Substack 博客上撰写文章。多年来，他一直承担着统计特朗普谎言的艰巨任务。特朗普拥有无与伦比的能力，即使他知道自己在撒谎，他也能以极大的诚意撒谎。他写道：最难的部分 [...]
SAS Shortlisted in Five Categories at The Aviation Challenge Awards
斯堪的纳维亚航空 (SAS) 在今年的航空挑战赛 (TAC) 中进入了五个类别的决赛。天合联盟每年一度的创新和卓越运营庆祝活动“航空挑战赛”被广泛认为是业内最负盛名的竞赛之一。提供可衡量进展的解决方案 2025 年 TAC 重点关注影响力以及 [...] SAS 入围航空挑战奖五个类别的帖子首先出现在 Travel Radar - Aviation News 上。
Marines Execute a Tactical Air Control Party Exercise
来自全国各地的海军陆战队后备部队在密西西比州谢尔比营集结，进行战术空中控制队演习，重点是联合末端攻击控制员 (JTAC) 和联合火力观察员 (JFO) 训练和资格维持。该活动提高了联合火力熟练程度，同时使海军陆战队能够完成年度认证要求并提高空中支援协调技能。
