# Searching for RH Counterexamples -- Productionizing

DevFeed: [Searching for RH Counterexamples -- Productionizing](<https://devfeed.tech/articles/searching-for-rh-counterexamples-productionizing-40445.md>)

Original publisher: [Read original article](<https://www.jeremykun.com/2021/03/06/searching-for-rh-counterexamples-productionizing/>)

Published: 2021-03-06T10:08:59Z

Content type: tutorial

Language: en

Sources: [Jeremy Kun](<https://devfeed.tech/sources/jeremy-kun.md>)

Topics: [CI/CD](<https://devfeed.tech/topics/cicd.md>), [CircleCI](<https://devfeed.tech/topics/circleci.md>), [Testing](<https://devfeed.tech/topics/testing.md>), [GitHub](<https://devfeed.tech/topics/github.md>), [Docker](<https://devfeed.tech/topics/docker.md>), [Containers](<https://devfeed.tech/topics/containers.md>), [scaling](<https://devfeed.tech/topics/scaling.md>)

Tags: [ci](<https://devfeed.tech/tags/ci.md>), [circleci](<https://devfeed.tech/tags/circleci.md>), [containers](<https://devfeed.tech/tags/containers.md>), [coverage](<https://devfeed.tech/tags/coverage.md>), [error-handling](<https://devfeed.tech/tags/error-handling.md>), [github](<https://devfeed.tech/tags/github.md>)

## AI overview

A tutorial on productionizing an application that searches for counterexamples to the Riemann Hypothesis. It covers automated tests for pull requests, error handling, cleanup after failed worker jobs, type-hint and test-coverage checks, static analysis, failure alerting, and automated updates, using CircleCI and containers.

## Source excerpt

We're ironically searching for counterexamples to the Riemann Hypothesis. Setting up Pytest Adding a Database Search Strategies Unbounded integers Deploying with Docker Performance Profiling Scaling up In the last article we rearchitected the application so that we could run as many search instances as we want in parallel, and speed up the application by throwing more compute resources at the problem. This is good, but comes with a cost. The complexity of this new architecture requires us to manage many different containers and AWS instances.