Doubly Sub-linear Interactive Proofs of Proximity
我们研究双次线性交互式邻近证明（dsIPP）：生成速度超快的证明，可用于证明有关巨大输入的近似断言。证明生成速度超快，因为它只需要读取输入的一小部分（亚线性）。证明的近似验证甚至更快（读取输入的更小部分）。与属性测试文献类似，近似验证意味着亚线性时间诚实证明者可以使验证者接受属性中的每个输入，但没有证明者可以欺骗验证者......
Студенты МФТИ создали умный зонт для защиты от солнца на пляже
莫斯科物理技术学院 (MIPT) 的学生开发了一款智能沙滩伞原型，可以自动跟踪太阳的位置并全天提供固定遮阳伞。该项目是MIPT第68届全俄科学会议的参与者。该产品专为公共和私人度假村、4-5 星级酒店、海滩俱乐部以及豪华露营地和乡村度假屋的业主而设计。
Ученые ПНИПУ впервые разработали систему полной автоматизации диагностики железнодорожных мостов
铁路桥梁是俄罗斯交通基础设施中最脆弱的部分：乘客的生命和列车行车的安全取决于其技术状况。传统诊断需要停止运动并手动检查难以到达的元件。
Monitor Amazon SageMaker Pipelines cross-account with custom Amazon CloudWatch dashboards
在这篇文章中，我们提出了一个解决方案，旨在使用 Amazon CloudWatch 自定义控制面板集中监控跨 AWS 账户和区域的 SageMaker Pipelines。随附的 GitHub 存储库提供了所需基础设施的可自定义 AWS 云开发套件 (AWS CDK) 示例。
Building a restaurant telephony AI host with Amazon Bedrock AgentCore and Amazon Nova 2 Sonic
在这篇文章中，我们将向您展示如何构建一个语音订购系统，该系统可以接听电话号码并接受从问候到确认的订单。该系统使用 Amazon Bedrock AgentCore 托管和运行代理，并使用 Amazon Nova 2 Sonic 进行实时语音，并通过模型上下文协议 (MCP) 连接到餐厅后端。本演练涵盖使用 AWS 云开发套件 (AWS CDK) 部署完整堆栈，以及通过 Amazon Elastic Container Service (Amazon ECS) 和 AWS Fargate 上的会话启动协议 (SIP) 网关将电话呼叫桥接至代理。当电话仍在响铃时，它还能温暖座席会话，因此呼叫者永远
来自 Wayve、Aurora、Physical Intelligence、Zipline、Shield AI、Bedrock Robotics、Dyna Robotics、Cobot、Saronic、Dexory 等公司的领导者将主持为期两天的技术讲座、主题演讲、炉边聊天、演示和实践编程。
Merck gets US FDA nod for first-in-its-class oral cholesterol drug
美国 FDA 已批准默克公司的新型降胆固醇药物 Lipfendra。这种口服药物的作用是阻断 PCSK9 蛋白，有助于降低坏胆固醇。 Lipfendra 为不喜欢注射治疗心脏病的患者提供了另一种选择。该药每日售价为 10.50 美元，即将上市。默克公司预计 Lipfendra 将显着改善许多高危患者的治疗。
PM Modi to flag off India’s first hydrogen-powered train between Jind and Sonipat
在周五访问哈里亚纳邦期间，莫迪总理将公布价值近 1470 亿卢比的开发项目，涵盖高速公路、医疗保健和城市基础设施
Huawei FreeClip 2 S Resmi, Earbuds Modern yang Siap Mengubah Cara Menikmati Audio
官方华为 FreeClip 2 S 的消息立即吸引了现代音频设备爱好者的注意。与目前市面上的大多数耳塞相比，该产品的出现带来了不同的方法。除了呈现独特的设计之外，华为还试图为日常活动提供更舒适的音乐聆听体验。出于这个原因，许多维基百科用户开始对 [...]
Canada Could Fly 88 F-35 Stealth Warplanes, JAS 39 Gripen and New GCAP Fighters
加拿大 F-35 传奇故事迎来了新篇章：成为全球空战计划观察员，该计划是英国、日本和意大利共同努力打造欧洲台风战斗机第六代后继机的项目。问题是日历。 GCAP 直到 2035 年才会投入使用，88 架喷气式飞机的 F-35 订单仍在渥太华接受审查，萨博仍在推销“鹰狮”。
成为该频道的一部分，即可获得额外福利：https://www.youtube.com/channel/UCkoujZQZatbqy4KGcgjpVxQ/成为“帮助 Shawn Ryan 展示”的一部分，只需花费 5 美元，即可在内容发布之前观看无广告的内容，不包括 Shawn 的私人读物！在这里加入：https://www.patreon.com/VigilanceElite 请给我们留下对 Apple/Spotify 播客的评估： Apple – https://podcasts.apple.com/us/podcast/shawn-ryan-show/id1492492083 Spotif
Full Effects of Strait of Hormuz Disruption May Not Be Felt Until Second Half of 2026
联合国，7 月 16 日 (IPS) - 联合国贸易和发展会议 (UNCTAD) 警告称，霍尔木兹海峡中断的全面经济影响可能要到 2026 年下半年才能显现出来。阅读全文，“霍尔木兹海峡中断的全面影响可能要到 2026 年下半年才能感受到”，位于 globalissues.org →
Autonomous Weapons: The Wave of the Future in Military Conflicts Worldwide
联合国，7 月 16 日 (IPS) - 随着国际社会继续权衡人工智能 (AI) 的好处、坏处和致命性，人工智能正在广泛传播，显然没有任何护栏，联合国正在仔细研究人工智能的积极和消极影响。阅读全文，“自主武器：全球军事冲突的未来浪潮”，位于 globalissues.org →
Taliban Use Dress Code to Justify Arbitrary Arrests of Women
阿富汗赫拉特7月16日电 (IPS) - 6月的一天早晨，哈利玛（化名）与母亲一起前往阿富汗西部家乡赫拉特的市场。她穿着一件长外套，脸上戴着外科口罩。她无法想象仅仅几分钟后她就会被关进监狱。阅读全文，“塔利班使用着装规范为任意逮捕妇女辩护”，在 globalissues.org →
How Farmers Are Learning About Restoring Soils and Scaling Agroecology in Kenya
肯尼亚马库尼，7 月 15 日 (IPS) - 在肯尼亚马库尼县的 Yumbuni 村，来自维希加县和卡卡梅加县的农民长途跋涉 560 多公里，与 Kathonzweni 区的同事会合，参观不同自制有机肥料和其他农业投入品的实验进展。阅读全文，“肯尼亚农民如何学习恢复土壤和扩大农业生态”，全球问题.org →
Pacific Water Security: Climate Resilience and Strategic Influence in the Blue Pacific
米吉卡·卢斯 |南太平洋研究员 图片来源：Winston Chen，通过 Unsplash Water Security、Sovereignty 和 Pacific Leadership 水不安全正在成为太平洋地区最紧迫的气候挑战之一。海平面上升、海水入侵、长期干旱和基础设施老化正在重塑岛国获取、管理和治理淡水资源的方式。在许多情况下，这不再是未来的风险，而是当前的治理挑战，并直接...
Signs Your Teen Is Burnt Out vs. Understimulated
编者注：本文经许可改编自 Morgan Phillips 的原创文章，该文章首次出现在 Discover Term 博客上。它具有为我们的读者量身定制的新图像和修订策略。摩根在 Discover Term 担任指导。作为父母，解读青少年的行为似乎是一项不可能完成的任务。当青少年开始放弃最喜欢的活动，退缩到智能手机屏幕上，或者认为日常生活“无聊”时，很容易认为他们只是没有动力。然而，在烦躁或疲惫的外表下，往往有更深层次的东西在起作用。他们是真的被长期压力压垮了，还是只是渴望有意义的刺激？确定确切的根本原因是提供正确支持的关键的第一步。了解根本原因：超负荷与刺激不足虽然无聊和倦怠表面上看起来很相似
SpaceX’s latest Starship launch attempt ends in a scrub
SpaceX 首次尝试发射 Starship 巨型火箭，进行第十三次飞行测试，但在正常开始之前就结束了，在升空前就中止了
