RecodeX 重构消息,Havoc获1亿美元A轮融资,用于开发可同时控制数千艘船只的自主船和软件。