4 ms·Formal Foundations of Serverless Computing2 points by matt_d 7y agoedwintorok 7y agoWould be nice if serverless could standardize on webassembly, and webassembly grew tools that check safety properties such as the ones proposed by this paper.