Amazon развила автоматическое доказательство корректности систем, что позволяет обрабатывать более 1 млрд API-запросов в секунду.
