山师关键词检索结果

致谢

Acknowledgments

本报告是基于以下个人的意见和分析的协作成果。 Laura Silver,全球态度研究副总监Jonathan Schulman,研究助理Laura Clancy,研究分析师William Miner,研究分析师Julia Armeli,研究助理Dorene Asare-Marfo,高级小组经理Peter Bell,设计和用户体验副总监Ethan Charlip,传播助理Janakee Chavda,副数字制作人Jonathan Evans,高级[...]

极其简单的自蒸馏改进了代码生成

Embarrassingly Simple Self-Distillation Improves Code Generation

大型语言模型 (LLM) 能否在没有验证器、教师模型或强化学习的情况下仅使用其自己的原始输出来改进代码生成?我们通过简单自蒸馏(SSD)给出肯定的答案:从具有特定温度和截断配置的模型中抽取样本解决方案,然后使用标准监督微调对这些样本进行微调。 SSD 在 LiveCodeBench v6 上将 Qwen3-30B-Instruct 从 42.4% 提高到 55.3% pa​​ss@1,收益主要集中在更难的问题上,并且它在 4B、8B 和 30B 规模的 Qwen 和 Llama 模型上进行了推广,包括......

一般分布属性的交互式证明

Interactive Proofs for General Distribution Properties

假设 Alice 从未知分布中收集了少量样本,并且想了解该分布。鲍勃是一位不受信任的数据分析师,他声称已经对分布进行了复杂的数据分析,并对其属性做出了断言。 Alice 何时以及如何有效地验证 Bob 的声明(使用比自己运行分析所需的资源更少的资源)?我们为可以由有界深度电路决定的一般分布属性构建了交互式证明系统。取 N 为分布的上限...

印度尼西亚地面部队接收了两架新型 Mi-17V-5 直升机

Сухопутные войска Индонезии получили два новых вертолета Ми-17В-5

印度尼西亚陆军航空中心为其机队补充了两架由喀山直升机厂 JSC(KVZ;俄罗斯直升机控股公司 Rostec)生产的新型 Mi-17V-5 运输和攻击直升机。

美国参议院冻结了1.15万亿美元的国防预算。美元

Сенат США заблокировал оборонный бюджет на сумму 1,15 трлн. долларов

美国参议院在程序性投票中否决了2027财年拨款的“巨额法案”。 1.15万亿用于国防。据《生意人报》参考《政治报》和《国会山报》报道,美元。

欧盟制裁暴露亲俄影响者背后的资助机制

EU Sanctions Expose Funding Mechanism Behind Pro-Russian Influencer

内容提要:6 月 15 日,欧盟制裁俄罗斯影响者和美国公民亚历山德拉·约斯特(萨沙遇见俄罗斯),理由是“散布虚假信息并支持俄罗斯对乌克兰的新殖民领土主张以及对乌克兰的军事入侵”(欧盟,6 月 15 日)。总部位于俄罗斯的约斯特每月从 RT 所有者 TV-Novosti 那里获得约 2,000 美元,[…]欧盟制裁后揭露亲俄影响者背后的资助机制首先出现在詹姆斯敦。

充分利用您的 TRICARE 药房计划优势:如何在军队药房使用 Q-Anywhere

Make the most of your TRICARE Pharmacy Program benefit: How to use Q-Anywhere at military pharmacies

您最近在军药房配过处方吗?如果是这样,您可能知道军队药房的程序与民用药房不同。当提供者向军药房开出新处方时,您需要在药剂师配药之前激活该处方。最近,国防卫生局更新了其 Q-Anywhere 功能,使处方领取过程变得更加轻松便捷。

怀俄明州空军警卫人员在美国西部的荒地消防行动

Wyoming Air Guardsmen Activate for Wildland Firefighting in Western U.S.

怀俄明州空军国民警卫队第 153 空运联队被启动,以支持美国西部的荒地消防行动,西南地区、大盆地、落基山脉和西北地区的火灾活动较多。

编码从来都不是瓶颈

Coding Was Never a Bottleneck

人工智能席卷了软件开发。我们两人共同为软件工程师打造产品,为数百万日常用户打造消费产品,因此我们利益攸关。我们希望人工智能生产力的故事是真实的。更多的产出、更严格的时间安排、更快乐、更高效的工程师。谁不会呢?但是当我们 [...]

10 个 YouTube 频道让您在 AI 领域保持领先

10 YouTube Channels Keeping You Ahead in AI

探索面向 AI 工程师的 10 个 YouTube 频道,涵盖论文细分、编码教程和行业分析。

扑动的机器人像潜水鸟一样游泳和飞行

A flapping robot swims and flies like a diving bird

图片版权:Raphael Zufferey。作者:Jennifer Chu 潜鸟、海鸥、海雀和海燕是 100 种既能飞又能游泳的鸟类之一。这些潜水鸟可以跳入水中游泳追捕猎物,然后跳回空中飞走。现在,受到这些自然水生飞行员的启发,工程师们 [...]

生产者价格指数 (PPI) 和消费物价指数 (CPI) 再次出现

PPI and CPI, Again

周一,Justin Ho 在 Marketplace 上发表了一篇有关生产者价格的文章。他谈到了几个有趣的问题,包括生产者物价指数 (PPI) 上涨速度快于消费物价指数 (CPI) 的影响:宏利约翰汉考克投资公司 (Manulife John Hancock Investments) 联席首席投资策略师马修·米斯金 (Matthew Miskin) 表示,[投入价格上涨]带来的额外压力使企业陷入困境。 “他们要么 [...]

乌克兰将获得 16 架阵风战机以及 SCALP 和 Aster-30 生产许可证

Ukraine to Receive 16 Rafales and License for SCALP and Aster-30 Production

乌克兰将采购 16 架阵风战机,并获得制造 SCALP 和 Aster-30 导弹的许可证,同时将立即交付两枚 SAMP/T 导弹。乌克兰的飞行员和机械师完成今年开始的培训后,将立即接收四架“阵风”飞机,同时将立即向该国交付两架 SAMP/T 电池。 [...]

无人海军舰艇模拟:增强海上防御的未来

Unmanned Naval Vessels Simulation: Enhancing the Future of Maritime Defense

随着世界各国海军采用自主和无人技术来提高作战效率、降低人员风险并提高任务灵活性,海上防御格局正在迅速发展。在这些创新中,无人海军舰艇(UNV)——包括无人水面舰艇(USV)和无人水下航行器(UUV)——已成为现代海军行动不可或缺的一部分。这些平台越来越多地用于监视、水雷对抗、反潜战、情报收集、后勤和海上安全。随着这些自主系统变得越来越复杂,无人海军舰艇仿真已成为其开发、测试、训练和作战规划的关键组成部分。仿真技术使工程师、操作员和军事规划人员能够...后无人海军舰艇仿真:增强海上防御的未来首次出现在航空和国防市场报告中。

联邦政府并不是美国唯一的独裁机构 |扬·维尔纳·穆勒

The federal government isn’t America’s only authoritarian institution | Jan-Werner Müller

耶鲁大学对与特朗普谈判的强烈反对凸显了民间社会中较小的独裁结构的危险随着耶鲁大学领导层与特朗普政府谈判达成协议的消息开始传播,该大学的教职员工、学生和校友纷纷采取行动,反对任何和解方案。总统和律师的意图仍不清楚。就哈佛而言,特朗普派 — — 以及特朗普本人 — — 可能已经泄露了即将做出的让步,部分原因是为了向该大学施加压力。显而易见的是,特朗普政府已开始对耶鲁大学进行广泛调查,指控其歧视白人和亚裔学生。但无论如何,围绕耶​​鲁大学回应的争论揭示了一个令人不安的模式。我们中的许多人都认为美国拥有强大的公民社会,可以制衡专横的政府并抵制独裁主义的侵犯。很少有人想到的是:它的机构本身可以以一种相当

UC 加快确定是否恢复测试要求的时间表

UC Expedites Timeline for Determining Whether to Restore Testing Requirement

加州大学加快确定是否恢复测试要求的时间表 gianna.jakubowskiThu, 07/16/2026 - 03:00 AM在关于标准化测试价值的全国性辩论中,教师们正在推动加州大学董事会恢复在招生中使用考试成绩。作者:Gianna Jakubowski

什么是严谨?通过 Webb 的 DOK 理解严谨性

What Is Rigor? Understanding Rigor Through Webb’s DOK

当老师为即将到来的课程计划阅读单元时,她决定提高计划的课程活动的严格性。由于她选择的课文包含许多不熟悉的单词,学生们的任务是阅读一段文章,列出不熟悉的单词,并使用字典对其进行定义。她决定这次不再要求学生选择五个单词来定义,而是要求学生定义十个单词。 (阅读更多)帖子什么是严谨?通过韦伯的 DOK 了解严谨性首先出现在模型教学上。

回忆学习语言的乐趣 |字母

Recalling the joys of learning languages | Letters

读者对 Rhiannon Lucy Cosslett 的一篇文章作出回应,并指出愿意“扮演山羊”是成功的最大预示。阅读 Rhiannon Lucy Cosslett 关于学习语言的优势和乐趣的文章是多么令人耳目一新(最后,为单一语言者学习另一种语言的适当借口:它有助于保持大脑年轻,7 月 12 日)。我第一次听到类似她在我未来的法国岳父开张时提到的表达方式一款非常好的波尔多葡萄酒,评论是“C'est le bon dieu en culotte de velours”。继续阅读...