**Daily update | 06 June, 2022**

# StackExchange

#### Is it provably true/false that for a program, there exists a proof whether it halts or not?

**Source:** cs**Views:** 703**Score:** 6**Tags:** logic halting-problem termination

#### Should a likelihood ratio test be performed on train or test data?

**Source:** stats**Views:** 18**Score:** 2**Tags:** predictive-models likelihood-ratio

#### Solving the maximum flow problem in the real world

**Source:** cs**Views:** 21**Score:** 2**Tags:** network-flow physics

#### why some pooled variance has "average" and some just uses direct sum without avg?

**Source:** stats**Views:** 22**Score:** 1**Tags:** variance pooling

#### can UTC replace Lamport logical clocks?

**Source:** cs**Views:** 14**Score:** 1**Tags:** distributed-systems clocks