Notes on a smaller Rust

Many people who use Rust for a bit – especially those who like the language but
do not fall in love with it – feel a sense that there must be a smaller,
simpler variation on the same theme which would maybe be a little less
powerful, but would also be muc… Read more

Similar

Verifying Vectorized Rust Revisited

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. Back in March, we thought that we knew how to de... (more…)

Read more »