Lima Virtual Machines
PulseAugur coverage of Lima Virtual Machines — every cluster mentioning Lima Virtual Machines across labs, papers, and developer communities, ranked by signal.
3 天有情绪数据
-
中国驳斥美国参议员卢比奥关于秘鲁投资的言论
中国驻利马大使馆回应了美国参议员马可·卢比奥对中国在秘鲁投资的担忧，特别是那些与共产党有关的投资。卢比奥曾对这些项目（包括钱凯港）的透明度和数据安全风险表示担忧。中国大使馆为其投资辩护，表示不干涉他国内政，并坚称西半球不是任何一个国家的“后院”。
-
新框架ATOM改进LLM的合成数据
研究人员推出ATOM，一个旨在提高用于训练大型语言模型（LLM）的合成数据质量的框架。ATOM区分了数据操作数中的良性扰动和操作符中的关键扰动，发现模型对操作符错误更敏感。通过优先考虑操作符多样性而非操作数精度，ATOM合成的数据在性能上优于现有方法。
-
Tinkuy 发布极简 LLM 代理框架 v0.1.0
Tinkuy 发布了 0.1.0 版本，推出一个专为 LLM 工具集成设计的极简代理框架。核心逻辑约 200 行，专注于一个与提供商无关的循环，用于执行工具调用和处理反馈。此初始版本包括主代理循环、工具定义能力和最小化的状态管理，所有这些都打包为一个 ESM 模块。该框架旨在融合工具、模型和预算，而不强加僵化的观点或供应商锁定。
-
微调大型语言模型：数据量取决于行为还是覆盖范围
微调大型语言模型需要仔细考虑数据量，因为所需数据量取决于目标是教授特定行为还是覆盖广泛的输入。对于狭窄的行为目标，几百个示例可能就足够了，而覆盖整个输入空间则需要更多的数据，这取决于输入的 D 还是模型容量。建议通过在具有相同超参数的不同数据集大小（25%、50%、100%）上进行训练来通过经验测试，以确定最佳数据策略并避免过度训练导致的记忆等问题。
-
旅游飞机在秘鲁纳斯卡线条附近坠毁，致13人死亡
周六，一架载有11名乘客和两名飞行员的旅游飞机在秘鲁纳斯卡线条附近坠毁，机上13人全部遇难。该飞机从皮斯科（Pisco）起飞，目的地是观赏著名的考古遗址。当局正在调查坠机原因，在残骸现场未发现幸存者。
-
霍尔木兹海峡附近发生两次油轮袭击事件
在霍尔木兹海峡附近阿曼海岸发生了两起涉及油轮的独立事件。在第一起事件中，一艘油轮被不明弹丸击中，导致机舱受损，船只无法航行。第二起事件涉及一艘油轮报告附近发生爆炸和溅水，但未造成损坏。两起事件的地点都靠近对全球石油运输至关重要的主要航运通道。
-
藤森惠子宣誓就任秘鲁十年来的第九任总统
藤森惠子在赢得微弱选举胜利后，已宣誓就任秘鲁十年来的第九任总统。这位51岁的保守派领导人旨在稳定该国动荡的政治格局，并执政至2031年。她的施政纲领侧重于改善安全、通过私人合作伙伴关系发展基础设施，以及采取受萨尔瓦多总统Nayib Bukele启发的严厉打击犯罪政策，包括建造一个大型监狱。
-
德国因国内担忧和民粹主义压力削减对外援助
德国作为全球领先的发展援助捐助国，正大幅削减其对外援助，其预算已降至15年来的最低点。这种削减的典型例子是备受争议的向秘鲁利马捐赠4400万欧元用于修建自行车道的项目，德国国内批评者认为这浪费了公共资金，而国内服务却在遭受影响。对外援助的减少归因于多种因素，包括疫情、乌克兰战争、生活成本上涨以及日益增长的民族主义情绪，这使得发展政策成为民粹主义运动的攻击目标。
-
新的训练方法增强了视觉模型的泛化能力和鲁棒性
研究人员开发了一种名为子集选择的反事实增强（SS-CA）的新训练方法，以提高视觉模型的因果推理能力。该技术使用归因方法来识别模型预测中的关键区域，然后通过数据增强来修改这些区域。通过在原始样本和增强样本上进行训练，SS-CA旨在减轻不完全的因果学习，并提高在各种基准测试上的泛化能力，包括分布外数据集和噪声等扰动下的性能。
-
人类和视觉语言模型在跨城市驾驶方面表现出相似的泛化能力
一篇题为“Robusto-2: Benchmarking Humans & VLMs for Autonomous Driving in Lima & New York City”的新研究论文，探讨了视觉语言模型（VLMs）和人类驾驶员在自动驾驶场景中对新地理位置的泛化能力。该研究利用了来自利马和纽约市的行车记录仪录像，向来自这两个城市的人类驾驶员和各种VLMs提出了事实、评分、反事实和推理类别的问题。研究结果表明，虽然人类和VLMs…
-
新的CQA方法通过约100个专家示例实现LLM对齐
研究人员开发了一种名为创意质量对齐（CQA）的方法，以最小的数据量提高LLM的性能。该方法利用大约100个专家的思维链标注，证明了少量数据集足以实现有效的对齐。该论文还强调了现有对齐数据集中存在一种偏见，即倾向于关注与技艺相关的知识，而忽略了受众建模和现实逻辑。
-
Mini Motorways 允许玩家投票决定下一个城市地图更新
交通管理模拟游戏 Mini Motorways 允许玩家为其下一个游戏内城市地图投票。玩家可以从四个选项中选择：维也纳 (Vienna)、奥克兰 (Auckland)、新加坡 (Singapore) 和利马 (Lima)。获胜的城市将在今年晚些时候开发成免费地图更新，投票将于 5 月 15 日截止。
-
开发者构建 DVM 以在一次性虚拟机中隔离 AI 代理和开发工具
一位开发者创建了 DVM，一个旨在隔离 macOS 上开发环境的工具。DVM 利用 Bash 和 Lima 为每个项目创建一次性的 Fedora 虚拟机。这种方法通过限制开发工具和 AI 代理对主机系统的访问来增强安全性，允许用户在使用后丢弃虚拟机。