~/jendhub

def q_start

bendtorch@1.3.0.0 · main.bend:912

import bendtorch@1.3.0.0/main.bend as Bendtorch
import Base

912# 1 - b^t starts at 0; a configuration OptCfg.ok rejects starts at NaN, so every loss after the first is NaN.
913def q_start(ok: Bool) -> F32:
914  match ok:
915    case True{}:
916      0.0
917    case False{}:
918      (0.0 / 0.0 : F32)

Uses (3)

Used by (1)