About a year ago, I published a post about an algorithm for randomness in floating point. Recently, Sebastiano Vigna of the University of Milan reached out about his verification of my algorithm and some tests of my code because he was putting together a Rust crate for random floating-point numbers. I am going to …

Read More

When I recently looked at the state of the art in floating point random number generation, I was surprised to see a common procedure in many programming languages and libraries that is not really a floating-point algorithm: Generate a random integer with bits chosen based on the precision of the format. Convert to …

Read More

I have recently been immersed in the theory and practice of random number generation while working on Arbitrand, a new high-quality true random number generation service hosted in AWS. Because of that, I am starting a sequence of blog posts on randomness and random number generators. This post is the first of the …

Read More