CLaRa: Bridging Retrieval and Generation with Continuous Latent Reasoning
检索增强生成（RAG）利用外部知识增强了大型语言模型（LLM），但仍然受到长上下文和不相交的检索生成优化的影响。在这项工作中，我们提出了 CLaRa（连续潜在推理），这是一个在共享连续空间中执行基于嵌入的压缩和联合优化的统一框架。为了获得语义丰富且可检索的压缩向量，从而减少输入生成器的文档长度，我们引入了 SCP，一种基于问答和释义的密钥保留数据合成框架......
Doubly Sub-linear Interactive Proofs of Proximity
我们研究双次线性交互式邻近证明（dsIPP）：生成速度超快的证明，可用于证明有关巨大输入的近似断言。证明生成速度超快，因为它只需要读取输入的一小部分（亚线性）。证明的近似验证甚至更快（读取输入的更小部分）。与属性测试文献类似，近似验证意味着亚线性时间诚实证明者可以使验证者接受属性中的每个输入，但没有证明者可以欺骗验证者......
One Layer Is Enough: Adapting Pretrained Visual Encoders for Image Generation
视觉生成模型（例如扩散模型）通常在压缩的潜在空间中运行，以平衡训练效率和样本质量。与此同时，人们对利用高质量的预训练视觉表示越来越感兴趣——无论是在 VAE 内对齐它们还是直接在生成模型内对齐它们。然而，由于面向理解的特征和生成友好的潜在空间之间的根本不匹配，适应这种表示仍然具有挑战性。表示编码器受益于高维潜伏，捕捉不同的假设......
В Чехии заявили о недопустимости участия Праги в закупках оружия для Киева по программе PURL
捷克众议院议长、执政联盟社民党领导人冈村富雄在接受捷克电视台采访时表示，捷克参与为乌克兰购买武器的PURL计划是不可接受的。
Патрушев: морские стратегические ядерные силы России находятся в полной боевой готовности
俄罗斯联邦总统助理、海军学院主席尼古拉·帕特鲁舍夫在接受俄新社采访时表示，俄罗斯海军战略核力量已处于全面战备状态。
受欢迎的电视节目主持人 Alexander Pushnoy 按照惯例将成为 RoboSib-2017 节日的特邀嘉宾。今年，表演者将在音乐节上表演他的音乐节目，并向参与者展示身体实验。
In Iran, Trump Has Found an Opponent He Cannot Easily Dominate
在对伊朗战争的第136天，特朗普总统提出了一个新计划。他将对穿越霍尔木兹海峡的船只征收通行费，以换取保护它们免受伊朗军队的侵害。但那是那时……阅读更多 ›《在伊朗，特朗普找到了一个他无法轻易统治的对手》一文首先出现在 JINSA 上。
Strikes on Yemen’s Sanaa Airport Test Fragile Truce Between Houthis and Riyadh
周一对也门萨那国际机场的空袭旨在阻止伊朗和胡塞武装打破长达数十年的空中封锁，并在德黑兰与其也门代理人之间开通一条不受控制的空中联系，地区分析人士称——一条走廊……阅读更多 ›对也门萨那机场的空袭测试了胡塞武装和利雅得之间脆弱的休战协议，该帖子首先出现在 JINSA 上。
Identity Verification: GSA Needs to Address Fraud Threats and Technical Issues
GAO 的发现针对联邦机构和其他组织的网络攻击激增，导致被盗个人身份信息 (PII) 用于实施欺诈的风险增加。例如，恶意行为者利用这些信息欺骗性地获取政府福利并进行税务欺诈等。社会保障管理局报告称，受益人的个人信息被用来欺诈性地转移受益人的直接存款福利。被盗的 PII 还会增加金融欺诈的风险，例如欺诈性信用卡申请。在这种类型的欺诈中，窃贼使用社会安全号码和驾驶执照号码等身份数据在人们不知情的情况下开设新的金融账户。这些类型的攻击可能会导致联邦机构和金融机构的财务损失和声誉受损。为了确保获取政府服务、福利和其他资源的个人是他们声称的个人，联邦机构使用各种身份验证流程。为了支持这些努力，总务管理局
GAO 的发现 GAO 估计，截至 2024 财年（GAO 开始审查时最近完成的财年）2022、2023 和 2024 财年（财年）指定用于社区项目资助/国会指导支出 (CPF/CDS) 项目的 390 亿美元拨款中，各机构记录了约 61% 的债务。 GAO 还估计，截至 2024 财年末，约 16% 的资金已支出。见下图。 GAO 估计，由于受助者拒绝提供资金或未提交所需文件等原因，约 1% 的 2022-2024 财年项目无法取得进展。截至 2024 年 9 月 30 日，2022-2024 财年社区项目资金/国会指导支出资金的预计承担和支出金额和百分比注：有关更多详细信息，包括估计的置信
Science & Tech Spotlight: Geographic Origin of Food and Other Imports
为什么这很重要不良行为者可能会伪造产品的地理原产地来非法销售商品或用更便宜的产品替代优质产品，这可能会威胁我们的经济和消费者安全。 2021年，美国国际贸易委员会估计，由于非法、未报告和不受监管的海鲜进口，美国商业捕鱼业可能损失了近6100万美元的营业收入。验证进口食品和农产品（如海鲜或木材）原产地的技术可能有助于防止欺诈。关键要点原产地验证技术的成熟度和采用因技术类型及其验证的产品而异。验证地理原产地通常需要建立产品样本参考库，这对于开发和更新来说可能具有挑战性。改进的验证可以阻止欺诈，但技术可能昂贵且复杂。科学是什么？数字和分析技术可用于跟踪和验证食品和农产品的来源。例如，可以通过数字化记
Nuclear Waste: DOE’s Plans to Complete Cleanup and Transfer of Moab Mill Site
GAO 的发现 通过摩押清理项目，截至 2026 年，美国能源部 (DOE) 环境管理办公室 (EM) 已在犹他州摩押工厂清除了超过 1,600 万吨铀厂尾矿和其他材料。尾矿是从岩石中清除铀后剩下的废物。 EM 已将尾矿和受污染材料送往附近的处置场。 EM 还致力于修复威胁附近科罗拉多河的受污染地下水。 摩押工厂及周边地区 摩押清理项目到 2025 财年已耗资约 9.7 亿美元，预计将达到约 11.6 亿美元。联邦政府支付 100% 的清理费用。EM 计划在 2029 年完成清理并关闭处置场。清理完成后，DOE 的遗产管理办公室 (LM) 将接管工厂和处置场的长期联邦管理职责。 EM 和 LM
Populism Will Not Solve the Housing Affordability Crisis. Markets Will
美国人越来越买不起住房。对于很多年轻人来说，“美国梦”似乎遥不可及。在经济受挫的时刻，左翼和右翼的民粹主义者都会急于找出恶棍。
Foucault, Panopticism and the Carceral Society; the Rise of the Surveillance State
标准的叙述是，治安和监禁是保护公众免受犯罪分子侵害的必要工具。但对于一个希望统治其公民的国家来说，这些东西似乎也是有用的工具。
Foucault, Panopticism and the Carceral Society; the Rise of the Surveillance State
标准的叙述是，治安和监禁是保护公众免受犯罪分子侵害的必要工具。但对于一个希望统治其公民的国家来说，这些东西似乎也是有用的工具。
Friedrich Hayek, the Knowledge Problem, and the Case of Iran
哈耶克的贡献不仅在于捍卫市场，还在于解释了为什么集中的经济控制在认识论上受到限制。
Big Tech promises the world with AI. Australians shouldn’t believe them.
科技行业谈论澳大利亚的巨额投资。这听起来不错，但谁会真正受益？大型科技公司向世界承诺人工智能。澳大利亚人不应该相信他们。首先出现在澳大利亚研究所上。
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) 网关将电话呼叫桥接至代理。当电话仍在响铃时，它还能温暖座席会话，因此呼叫者永远
