Self-validating numerics for function space problems | lit.salon