Alex from OpenFaaS here - been checking out the progress on Pulumi serverless integration with our project - exciting stuff for the end users