SpaceX launches flight-proven rocket for 600th time, sending Starlink satellites to orbit
2026 年 7 月 13 日至 14 日，SpaceX 使用两枚猎鹰 9 号火箭发射了星链卫星，发射距离相隔 8 小时，距离相对的海岸。第二次发射是经过飞行验证的助推器的第 600 次使用。
Verifiable judgment: what AI actually demands of universities
本博客由智利迭戈波塔莱斯大学经济与公共政策系主任兼教授 Mauricio G. Villena 友情撰写。生成式人工智能在大学中最常被视为对学术诚信的威胁。这个框架捕捉到了一些真实的东西，但它忽略了更重要的问题。根据 HEPI 和 Kortext 的 2026 年学生生成 […]后可验证的判断：人工智能对大学的实际要求首先出现在 HEPI 上。
Verified X ad spreads Mac malware, while ConsentFix steals Microsoft accounts
两项新活动表明网络犯罪分子如何越来越依赖社会工程而不是软件漏洞来破坏设备和帐户。
NASA picks flight-proven moon landers for more lunar surface mission deliveries
美国国家航空航天局 (NASA) 选择了又一波经过飞行验证的月球着陆器，向月球表面运送科学有效载荷……美国航空航天局 (NASA) 选择经过飞行验证的月球着陆器来执行更多月球表面任务的帖子首先出现在 AeroTime 上。
New York Mandated “Climate Education.” Conservatives Should Be Cheering… Seriously.
保守派通过庆祝经过验证的想法赢得了持久战。在教育领域，就像在美国生活的其他领域一样，为孩子们提供的想法才是值得获胜的想法。目前，数据表明，对于最需要的学生来说，最令人兴奋的胜利来自保守派州长和立法机构运营的实验室，并得到本能赋予各州权力的联邦政府的支持。《纽约邮报》强制要求“气候教育”。保守派应该欢呼……说真的。首先出现在 Watts Up With That? 上。
如果函数的属性可以用函数中每个值出现的频率来表征，而不管每个值出现的位置如何，则该属性称为位置不变（或对称）。众所周知，测试函数位置不变属性的（查询）复杂性与测试相应分布（的相应属性）的（样本）复杂性密切相关。当前工作的主要信息是，这种密切关系并没有在验证的背景下维持。当考虑到......时这两者都成立
Science & Tech Spotlight: Geographic Origin of Food and Other Imports
为什么这很重要不良行为者可能会伪造产品的地理原产地来非法销售商品或用更便宜的产品替代优质产品，这可能会威胁我们的经济和消费者安全。 2021年，美国国际贸易委员会估计，由于非法、未报告和不受监管的海鲜进口，美国商业捕鱼业可能损失了近6100万美元的营业收入。验证进口食品和农产品（如海鲜或木材）原产地的技术可能有助于防止欺诈。关键要点原产地验证技术的成熟度和采用因技术类型及其验证的产品而异。验证地理原产地通常需要建立产品样本参考库，这对于开发和更新来说可能具有挑战性。改进的验证可以阻止欺诈，但技术可能昂贵且复杂。科学是什么？数字和分析技术可用于跟踪和验证食品和农产品的来源。例如，可以通过数字化记
Fraud increases 38% in UK university admissions
自去年以来，英国大学招生中涉嫌欺诈的事件急剧增加，专家警告说，规避验证的企图“越来越复杂”。英国大学招生欺诈增加 38% 的消息首先出现在《PIE 新闻》上。
What a first-class agent identity actually is, and whether it is just workload identity
一流的代理身份实际上是什么，以及它是否只是工作负载身份 上一篇文章给您留下了借用的凭证和静态授权无法管理的非确定性参与者。解决办法是停止借贷。为代理提供一个稳定的、可验证的运行时主体，您可以对其进行授权，将操作归因于，以及...什么是一流代理身份，以及它是否只是工作负载身份这一帖子首先出现在 DataRobot 上。
Cropin, Google Cloud launch OrbitAI; an agentic AI platform for food and agriculture
该平台以经过验证的农业情报和现实条件为基础，以自然语言提供针对特定区域的可行建议
Coffee Break: Armed Madhouse – Peace Power and Arms Control
几十年来，军控一直在与不断循环的恐惧、保密和技术竞争作斗争，这些循环不断侵蚀国际协议。本文认为，卫星观测、电信和证据整合的进步使得一种根本不同的方法成为可能。未来的军控可以通过可验证的信任来支持，而不是主要依赖外交保证。
The Navy’s Constellation-Class Frigate Failed Because the Pentagon Couldn’t Stop Redesigning It
FFG(X) 计划有一个管理要求：不要重复濒海战斗舰。海军选择了 Fincantieri 经过验证的 FREMM 设计，告诉国会 85% 的设计将保持不变，然后不断满足美国的要求，直到工程师从头开始设计一艘新的护卫舰。在设计完成之前，钢材被切割，重量增加了 13%，海军在 20 艘船中的两艘之后离开了。
America’s New McClung-Class Touchdown Ship Revealed: Future Recreation Changer or Expensive Gamble?
美国新型麦克朗级着陆船揭晓：未来的娱乐改变者还是昂贵的赌博？ – 美国海军陆战队推出了全新的麦克朗级中型着陆舰，旨在协助整个印度-太平洋地区的分布式作战。它基于经过验证的 Damen LST-100 设计建造，可以将 HIMARS、NMESIS、部队和无人机立即部署到遥远的海岸线上，同时降低价格并提高灵活性。这就是两栖战争的前进方向吗？观看完整视频即可找到答案！ 00:47 – 麦克隆级：这艘船给美国海军陆战队带来新的信心 01:56 – 为什么麦克隆级采用“经过战斗检验”的设计建造？ 03:37 – 后美国的新型麦克隆级着陆船如何揭晓：未来的娱乐改变者还是昂贵的赌博？首先出现在特种部队新闻上
Ransomware Never Stopped: Over 9,000 Confirmed Attacks Since 2018
自 2023 年以来，勒索软件每年发生的攻击次数仍保持在 1,400 次以上。2026 年，麒麟软件处于领先地位，而美国仍然是主要目标。 Ransomnews 已独立确认 2018 年 1 月至 2026 年 7 月期间全球发生了 9,291 起勒索软件攻击，仅在通过受害者披露、监管文件、官方声明或可信的新闻报道进行验证的情况下跟踪事件。仅泄漏站点列表不符合资格，运营商 [...]
ISL Conducts First Open-Range Test Shot of European Electromagnetic Railgun
法德圣路易斯研究所（ISL）成功对其国产电磁轨道炮进行了首次户外自由飞行试验。这项具有里程碑意义的测试于 2026 年 6 月 29 日在该研究所位于巴尔德斯海姆的试验场进行，标志着欧洲国防技术从实验室研究到开放范围验证的关键转变。 ISL 新闻稿 ...ISL 对欧洲电磁轨道炮进行首次开放范围测试后的消息首先出现在《海军新闻》上。
Missile diplomacy: Indonesia signs pact to buy India’s BrahMos and Astra missiles
这两笔交易表明了购买经过实战验证的导弹的意图和原则协议
Bulgaria's Compass Cargo secures Icelandic charter contract
康帕斯货运航空公司（索非亚总部）与冰岛货运公司 Odin Cargo 签署了长期包机协议，将部署一架 B737-800(SF) 执行每日雷克雅未克凯夫拉维克 - 比隆 - 科隆/波恩往返航班。 LZ-CXD (msn 34800) 于 2026 年 6 月 15 日开始运营该航线。Odin Cargo 表示：“我们很自豪能够在一条经过验证的航线上进行建设，并很高兴能够进一步发展这一成功的运营。”这家保加利亚航空公司运营着四架 B737-800(SF)（其中一架与 DHL Express 签订了长期合同......
Video Friday: An Earthbound Mars Rover for the Moon
Video Friday 是您每周精选的精彩机器人视频，由您在 IEEE Spectrum 机器人领域的朋友收集。我们还发布了未来几个月即将举行的机器人活动的每周日历。请将您的活动发送给我们以供收录。RSS 2026：2026年7月13日至17日，悉尼多机器人系统暑期学校：2026年7月29日至8月4日，布拉格Actuate 2026：2026年8月18日至19日，旧金山 2026年：2026年9月27日至10月1日，匹兹堡Enjoy今天的视频！美国宇航局正在考虑将先进的核动力漫游车部署到月球南极的任务概念，作为该机构月球基地计划的一部分。 PROMISE（用于观测、测绘和原位探索的极地漫游车
