< a quantity that can be divided into another a whole number of time />

May 18, 2021

Research is characterized by allowing yourself to make mistakes: performing experiments; drawing conclusions; later, realizing that your experiment was not sufficient and you got it wrong; and trying again. — Verifying vectorized Rust revisited