Training Software Engineering Agents and Verifiers with SWE-Gym
我们推出了 SWE-Gym,这是第一个用于培训现实世界软件工程 (SWE) 代理的环境。 SWE-Gym 包含 2,438 个真实的 Python 任务实例,每个实例都包含一个具有可执行运行时环境、单元测试和以自然语言指定的任务的代码库。我们使用 SWE-Gym 来训练基于语言模型的 SWE 代理,在流行的 SWE-Bench Verified 和 Lite 测试集上实现了高达 19% 的解决率绝对增益。我们还通过在 SWE-Gym 采样的代理轨迹上训练的验证器来实验推理时间缩放。与我们经过微调的 SWE 结合使用...
How Singapore is surviving and thriving between China and the United States
新加坡如何在中美之间生存和繁荣 2025 年 10 月 27 日 — 下午 5:00 至下午 6:10 匿名(未核实)2025 年 10 月 6 日查塔姆研究所和在线 与新加坡国务资政李显龙对话。在碎片化的世界中航行:来自新加坡的见解。国际秩序正在经历深刻的变化。战略竞争加剧,经济、安全和技术之间的界限日益模糊,多边世界秩序面临压力。印太地区敏锐地感受到了这些全球变化,该地区同时是全球增长的引擎和地缘政治竞争的焦点。新加坡位于东南亚的中心位置,为这些发展提供了独特的优势。作为一个小国,它必须具有弹性和适应性来管理这些重大的不确定性,并确保其国家利益。在本次会议上,2004年至2024年担任新加
Sub-Saharan African Immigrants in the United States
2024 年,大约有 250 万撒哈拉以南非洲移民居住在美国,是 2000 年人数的三倍多,其中大多数来自尼日利亚、埃塞俄比亚、加纳、肯尼亚或南非。本文提供了有关这个多元化群体的一系列信息,该群体比整体移民人口具有更高的教育程度和英语水平,并且往往拥有更高的收入。
Housing Has Become More Affordable. The Fed Could Reverse That
具有讽刺意味的是,正常的市场压力将使住房变得更加负担得起,但宽松的货币政策却破坏了这一前景。
Google’s Veo 3.1 Just Made AI Filmmaking Sound—and Look—Uncomfortably Real
谷歌最新的人工智能升级Veo 3.1正在模糊创意工具和电影工作室之间的界限。该更新允许用户调整灯光和阴影、将场景拼接在一起,并且首次将人工智能生成的声音添加到他们的视频中。它都是 Flow 的一部分,Google 的 AI 电影制作平台现在感觉就像 Photoshop、Premiere 和音板合二为一。这个版本引入了疯狂的新技巧。通过“帧到视频”,创作者可以将一幅图像变成另一幅图像,并具有自然的过渡和伴随的音频。 “场景扩展”可让您将最后一帧拉伸到另一分钟的运动中 - 没有相机 [...]
I finally found a thermal camera that works for both iPhone and Android (for only $129)
热像仪通常售价 200 美元或更多,但 Thermal Master 的这款廉价型号适用于 iOS 和 Android,并且具有 ± 3.6°F 的精度。
I've tested every Garmin smartwatch so far in 2025 - here's the one I keep on my wrist
Garmin Instinct Crossover AMOLED 具有动态显示屏、手电筒和华丽的模拟设计。但它的最佳功能确实使其与众不同。
This long-lasting smartwatch gives me Garmin a run for its money - especially at its price
Coros Apex 4 是该品牌专为户外探险家推出的最新坚固型运动手表,具有令人印象深刻的电池续航时间和方便的语音注释功能。
BASF and Carlyle to form €7.7 billion standalone coatings company with QIA investment
巴斯夫与全球投资公司凯雷集团和卡塔尔投资局 (QIA) 签署了一项具有约束力的协议,将创建一家价值 77 亿欧元的新独立涂料公司。该交易涵盖巴斯夫的汽车原始设备制造商涂料、汽车修补漆和表面处理业务,统称为巴斯夫涂料。根据协议,凯雷和 QIA 将采取 [...]
Global shocks no worry, India stays investors’ darling: S&P Global Ratings President Yann Le Pallec
印度经济有望强劲增长,标准普尔全球评级预计今年经济增长约 6.5%,未来两年增长 7%。该国被认为能够抵御全球贸易冲击和地缘政治风险。全球投资者将印度视为具有稳定、长期增长机会的有吸引力的目的地。这一前景支持了印度的经济轨迹。
Fourth Economy 联合创始人里奇·奥弗莫耶 (Rich Overmoyer) 回顾了 15 年来带领该公司从一家小型初创公司发展成为具有全国影响力的历程。在本次采访中,他分享了领导近 500 个项目的经验教训、对战略人才和增长的见解,以及他在 Steer North America 的新角色如何让他在享受罗德岛海岸生活的同时扩大第四经济的使命。
Degrees that teach critical thinking can never be a ‘rip-off’ | Letters
读者为凯米·巴德诺克 (Kemi Badenoch) 认为不值得政府资助的课程辩护继弗朗西斯卡·西蒙 (Francesca Simon) 对凯米·巴德诺克 (Kemi Badenoch) 废除“盗版”学位的承诺进行精彩反驳(凯米·巴德诺克 (Kemi Badenoch) 想要结束“盗版”学位——但如果没有我的作品,我就不会创造《可怕的亨利》,10 月 15 日),我想指出的是,学习古英语和中古英语带来了至关重要的语境 我对现代英国生活的理解,从信托法的十字军起源到当今地区权力下放的复杂政治。我自己在该学科的学位也教会了我可转移的专业技能,包括抄写几乎难以辨认的笔迹、工作文档中版本控制的相当重要
今天我读了罗伯特·庞迪西奥 (Robert Pondiscio) 的文章《公立学校是模具而非平台》,他的基本观点是正确的:公立学校不是个人表达或意识形态表现的平台。它们是具有公共授权的民间机构。教室里的老师不是自由党派活动家——他们是公务员……继续阅读教师是变革推动者吗?
Parrondo’s Paradox Explains How Two Losing Strategies Combined Can Win
在某些情况下,失败会创造一条通往胜利的必由之路,这一想法对生物学和癌症治疗具有影响
<em>Homo Ergaster: </em>The Early Human Who Looked Almost Like Us
了解更多关于智人(Homo ergaster)的信息,这是一种具有关键特征的早期人类祖先。
We Need to Talk About Climate (To Each Other)
您是怀疑论者吗?您是气候共同体的成员吗?您可以通过邀请具有不同观点的人进行对话来添加对话。我很高兴在气候 Verso 播客上主持对话。您可以通过 Climateverso@gmail.com 联系我。
贝纳维德斯-卡布拉 (Benavides-Cabra)、帕拉莫-丰塞卡 (Páramo-Fonseca)、纳尔瓦埃斯-林孔 (Narváez-Rincón et Pomar) 的 Protolamna ricaurtei,2026 年。DOI:doi.org/10.1016/j.cretres.2025.106211 Renzo Garavito x.com/R_o_XIII 的艺术作品亮点: • Protolamna ricaurtei 是一个巨大的 生活在白垩纪早期的羔状鲨鱼。• 并非所有体型较大的巨食性羔状鲨鱼都有大牙齿。• Protolamna ricaurtei 是一种相对缓慢但活跃
Bird-mediated plant colonization overturns long-held assumptions about how plants spread to islands
1963 年,当瑟特西火山岛从北大西洋升起时,它为科学家们提供了千载难逢的机会来观察生命如何在全新的贫瘠土地上生存。几十年来,生态学家认为,植物到达偏远和偏僻地方的能力主要取决于长距离传播的特殊适应——例如,肉质水果被认为可以吸引鸟类,鸟类会吃掉果实,然后传播种子——这使得这些物种在开拓新地区时具有决定性的优势。