一只来自温尼伯、名叫Eddie的君主斑蝶,被一个微小的BlūMorpho发射器追踪,向南穿越曼尼托巴、北达科他、明尼苏达并进入堪萨斯。这个重60毫克、由太阳能供电的装置发送蓝牙信号,手机和接收器将信号转送至Project Monarch,允许公众追踪。Eddie属于长寿的“super”或Methuselah世代,其迁徙约4000公里至墨西哥森林冬眠,并在春季返回北方。今年秋天,29只温尼伯君主斑蝶被标记,全加拿大和美国1300多只中的一部分;截至10月底,五只已到达墨西哥,而Eddie已有19天未被检测到。追踪通过揭示迁徙路线、补给站点和栖息地缺口,帮助保护工作。君主斑蝶是受威胁的授粉者,因除草剂、气候变化和城市扩张导致的乳草损失而面临危险。社区正在通过种植带有本地乳草和蜜源植物的“君主斑蝶驿站”,在加拿大与墨西哥之间建立蝴蝶通道。
```AWS 模拟器为编码代理提供免费、离线的本地 AWS 副本来进行测试。它源自 Amazon 的分布式系统历史,包括 Dynamo 和基于 Paxos 的“Alf”锁服务,在这些系统中,仿真和形式化推理帮助在生产前发现并发错误。随着 AWS 扩展到 200+ 服务,手建测试环境变得不切实际,尤其在代理编写代码的速度超过人类检查速度时。代理基于 400+ API 模型和针对真实 AWS 验证的保真测试构建了模拟器,覆盖 200+ 服务。通过将真实基础设施放入代理的编码循环,它帮助代理检查自己的工作,并更频繁地生成正确代码。工程师的角色转向定义规格、测试、合并门禁和护栏,以决定代理编写的代码何时正确。护栏包括保真测试、安全代理审查和确定性检查。代码以 CC0 发布,并公开提交历史和已知差距。未来工作将完善代理驱动的软件开发。```