Scientific Computing, Computer Arithmetic, and Validated Numerics | lit.salon