RSS jeremykun | 수학 ∩ 프로그래밍

RH 반례 찾기 - 도커로 배포하기

"우리는 아이러니하게도 리만 가설의 반례를 찾고 있다. Pytest 설정 데이터베이스 검색 전략 무한한 정수 이 기사에서는 서버에 애플리케이션을 배포하여 RH 반례를 찾을 수 있도록 할 것이다. 즉, 노트북을 닫아도 계속 검색할 수 있다. 서버와 컨테이너 애플리케이션을 서버에 배포할 때 재현성은 매우 중요하다. 애플리케이션이 실행 중인 컴퓨터의 세부 사항에 의존하지 않도록 하고 싶다. 이것은 파이썬 가상 환경 뒤에 있는 동일한 원칙의 고급 버전이지만, 여러 언어로 작성된 프로그램의 모음과 다른 컴퓨터에서 실행되는 프로그램에 적용된다. 원문: We’re ironically searching for counterexamples to the Riemann Hypothesis. Setting up Pytest Adding a Database Search Strategies Unbounded Integers In this article we’ll deploy the application on a server, so that it can search for RH counterexamples even when I close my laptop. Servers and containers When deploying applications to servers, reproducibility is crucial. You don’t want your application to depend on the details of the computer it’s running on. This is a higher-level version of the same principle behind Python virtual environments, but it applies to collections of programs, possibly written in different languages and running on different computers.
favicon
jeremykun.com
Searching for RH Counterexamples — Deploying with Docker