<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Further to Carter’s point below, we should be very clear there is no *best* pseudo random number generator. By their very nature the algorithms they use are deterministic and there is always a trade-off between speed and quality.<div class=""><br class=""></div><div class="">In this proposal we have managed to find a way of producing random numbers a *thousand* time faster and of passing almost all the quality tests that are available. Not only that but the underlying algorithm (thanks to Guy Steele et al and Oleg Grenrus) has really good splitting properties which we have also thoroughly tested.</div><div class=""><br class=""></div><div class="">I urge anyone interested to run the quality tests available here (<a href="https://github.com/tweag/random-quality" class="">https://github.com/tweag/random-quality</a>) and to run the performance tests available here (<a href="https://github.com/lehins/haskell-benchmarks" class="">https://github.com/lehins/haskell-benchmarks</a>).</div><div class=""><br class=""><div class="">
<div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div style="color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;">Dominic Steinitz</div><div style="color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><a href="mailto:dominic@steinitz.org" class="">dominic@steinitz.org</a></div><div style="color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><a href="http://idontgetoutmuch.org" class="">http://idontgetoutmuch.org</a></div><div style="color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;">Twitter: @idontgetoutmuch</div><div style="color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><br class=""></div></div>
</div>
<div><br class=""><blockquote type="cite" class=""><div class="">On 2 Jun 2020, at 19:32, Carter Schonwald <<a href="mailto:carter.schonwald@gmail.com" class="">carter.schonwald@gmail.com</a>> wrote:</div><div class=""><div class=""><div dir="auto" class=""><br class=""></div></div><div dir="auto" class="">The proposal has a number of nice ideas. And a number of things that I’m reflecting on how to tweak or align with my own thoughts because I think it’s wrong but I’m not 100% on what approach is best yet. Just that the current one proposed or that random currently has is not ! </div></div></blockquote></div><br class=""></div></body></html>