Posts tagged as formal methods

  1. ()

    Fridays are for learning. These are some interesting links for the week ending August 3, 2018. On serverless testing in production: it’s not that you shouldn’t be doing testing before releasing to production, it’s that you should also be doing some kind of testing in production as well. Production is where reality hits your systems; it’s the only place you will be able to find real-world conditions. Feature flags, canary deployments, staged rollouts, rich instrumentation, and observability-first development are all useful here. … (read more)