👋 我们在这里看到很多新面孔，觉得应该正式自我介绍一下。我们是 Informal Systems。我们的使命是促进对软件和货币的信任。我们孵化突破性技术。