Chinese Navy progresses development of new large calibre naval gun
上周在社交媒体“X”（以前的 Twitter）上流传的一张照片表明，中国海军（PLAN）正在推进为水面作战舰艇开发新型大型舰炮。图为中国海军一艘910型试验评价船于2017年停靠在大连以南的辽南造船厂。
Microsoft expands Sovereign Cloud security with governance, local productivity and AI
Microsoft 通过新的断开连接和 AI 功能扩展了 Microsoft 主权云，帮助组织在主权边界内运行关键基础设施、生产力服务和大型 AI 模型，同时保持跨连接和断开连接环境的治理和运营连续性。主权私有云统一了 Azure Local、Microsoft 365 Local 和 Foundry Local，为任何运营边界带来了基础设施、生产力和对大型 AI 模型的支持。 （来源：微软）“客户可以通过……为每个工作负载选择正确的控制姿势。更多→微软通过治理、本地生产力和人工智能扩展主权云安全性的帖子首先出现在 Help Net Security 上。
Uzbekistan and Serbia move to secure flights
乌兹别克斯坦和塞尔维亚就改善经济合作（包括开通航班）进行了讨论。乌兹别克斯坦官员上周与塞尔维亚航空公司首席执行官吉里·马雷克、塞尔维亚财政部长西尼萨·马里以及塞尔维亚建设、运输和基础设施部长亚历山大·索夫罗尼耶西奇举行了会谈。随后上周五在塔什干举行了塞尔维亚-乌兹别克斯坦商业论坛，这是今年以来两国之间的第三次高层经济讨论。乌兹别克斯坦副总理率领一个大型商业代表团预计很快将访问塞尔维亚。塞尔维亚航空公司最近表示，中亚的航空公司有兴趣开通飞往贝尔格莱德的航班。 “现在你可以看到中亚的航空公司开始以不同的方式看待贝尔格莱德并认识到其潜力。对我们来说，该地区任何想要飞往贝尔格莱德的航空公司都将得到我们
Mapping the Design Space of User Experience for Computer Use Agents
基于大型语言模型 (LLM) 的计算机使用代理通过与可用的 UI 元素交互来执行用户命令，但对于用户希望如何与这些代理交互或哪些设计因素对其用户体验 (UX) 至关重要，人们知之甚少。我们进行了一项两阶段的研究来绘制计算机使用代理的用户体验设计空间。在第一阶段，我们审查了现有系统，以制定用户体验考虑因素的分类法，然后通过采访八位用户体验和人工智能从业者来完善它。由此产生的分类法包括用户提示、可解释性、用户控制和用户……等类别。
A Small-Scale System for Autoregressive Program Synthesis Enabling Controlled Experimentation
使用经过训练来完成真实程序的小型模型可以进行哪些研究？通常，研究人员通过大型语言模型（LLM）研究程序合成，这会带来一些问题，例如了解分布内或分布外的内容、了解微调效果、理解标记化的效果以及对进行实验的计算和存储提出更高的要求。我们提出了一个名为 Cadmus 的系统，其中包括一个整数虚拟机 (VM)、一个由不同任务的真实程序组成的数据集，以及一个经过 200 美元以下计算训练的自回归变压器模型……
Trace Length is a Simple Uncertainty Signal in Reasoning Models
法学硕士的不确定性量化是解决幻觉和其他限制其可靠部署的问题的关键研究方向。在这项工作中，我们证明推理轨迹长度是大型推理模型中简单且有用的置信度估计器。通过跨多个模型、数据集和提示的综合实验，我们表明迹线长度的表现与其他零样本置信度估计器（例如言语置信度）具有可比较但互补的方式。我们的工作表明，训练后推理从根本上改变了踪迹之间的关系……
How Regulation Helped Break US Homebuilding
对于美国的住房负担能力问题，有各种各样所谓的恶棍。但许多通常的嫌疑人可能是无辜的。最大的误区之一是大型机构投资者应该受到指责。《监管如何帮助打破美国住宅建设》一文首先出现在美国企业研究所 - AEI 上。
Why Do Jet Engines Sound Different During Takeoffs and Landings?
如果您曾经在大型机场观察过商用飞机，您可能会记得它们在起飞和降落时发出的声音不同。喷气发动机并不安静。在巡航高度，它们通常会产生 80 至 90 分贝 (dB) 的机舱内噪音，这是……阅读更多
Lessons learned at Steel Knight 25: Operating within and as a kill web
专栏作家罗宾·莱尔德 (Robbin Laird) 在 12 月参观了海军陆战队的一次大型演习，并为海军陆战队的未来留下了一些重要印象。
官员们表示，将举行一次大型会议来纪念这一里程碑，首席部长 Siddaramaiah、副首席部长 D K Shivakumar、几位国务部长和国大党领导人将出席。
Why Pinterest stock just tanked 20%? Here’s what went wrong
Pinterest 公布第四季度营收 13.2 亿美元，低于华尔街预期，股价暴跌 20% 以上。净利润下降 85% 至 2.77 亿美元。第一季度指导值为 951-9.71 亿美元，也低于预期。该公司将此归咎于关税和大型零售商减少广告支出。调整后 EBITDA 未达到预期。尽管收入疲弱，但月活跃用户仍增长 12% 至 6.19 亿。投资者现在关注数字广告增长、人工智能投资策略和零售广告复苏趋势。
Red state Republican issues stark warning for Trump: Voters are 'hurting' in his economy
密苏里州共和党众议员杰夫·赫德 (Jeff Hurd) 周四对美国有线电视新闻网 (CNN) 的马努·拉朱 (Manu Raju) 表示，他的选民“绝对”因唐纳德·特朗普总统的关税而遭受痛苦。赫德在 Twitter/X 上分享的一篇帖子中告诉拉朱：“我从小型和大型制造商以及农业生产商那里清楚地听到，这些关税正在伤害他们。”周三，当特朗普的关税受到一项将废除对加拿大征税的法案的挑战时，赫德是投票反对该法案的六名共和党人之一。其他共和党人包括众议员唐·培根（内布拉斯加州共和党）、布莱恩·菲茨帕特里克（宾夕法尼亚州共和党）、凯文·基利（加利福尼亚州共和党）、托马斯·马西（肯塔基州共和党）和丹·纽豪斯
A New Oil Era—or Just Noise? The Venezuela Factor Lifts Big Oil
去年，替代能源领域公司的命运压垮了大型石油公司的股价。领导层转向支持各种所谓清洁能源股票的做法令一些市场观察人士感到惊讶。毕竟，特朗普政府并不羞于支持化石燃料行业并为此改变监管环境。但是[...]
Department of Defense Funds UT Clinical Trial of Drug-Free Postpartum Depression Treatment
德克萨斯大学奥斯汀分校是全国范围内被选中参加一项由国防部资助的大型临床试验的四个地点之一，该试验旨在确定快速起效、无药物的大脑刺激疗法是否能够在产后关键的几周和几个月内安全、快速地缓解产后抑郁症的症状。国防部资助 UT 无药产后抑郁症治疗临床试验首先出现在 UT Austin News - 德克萨斯大学奥斯汀分校。
Join the Great Backyard Bird Count—for science!
作为大型公民科学项目的一部分，世界各地的鸟类爱好者将于 2 月 13 日至 2 月 16 日期间对鸟类进行识别和计数
Why Most of Us Go It Alone When Making Big Decisions
无论我们住在哪里，大多数人在做出重大决定时都会首先审视自己的内心。一项涵盖 12 个国家的大型国际研究发现，当人们面临复杂的选择时，他们更有可能依靠自己的思考，而不是寻求他人的建议。该研究由大学科学家领导 [...]
Learning to Evict from Key-Value Cache
大型语言模型 (LLM) 规模的不断增长给高效推理带来了挑战，这主要是由于自回归键值 (KV) 缓存的内存需求。现有的逐出或压缩方法可以降低成本，但依赖于启发法，例如新近度或过去的注意力分数，它们只能作为代币未来效用的间接代理，并引入计算开销。我们将 KV 缓存驱逐重新定义为强化学习 (RL) 问题：学习根据令牌对未来解码的预测有用性对令牌进行排名。为此，我们引入了 KV 策略（KVP），这是一个......的框架
