hmm, only 15% slower for a service that spins up on demand? That's not too bad at all, actually..
my closest AWS DC is in Frankfurt with HTTP ping below 40ms. if i consider 100ms for actual work, the overhead for serverless is 46%. still impressive, i would have expected >100% there.