If you are implementing random number generators, you may want to use a
test suite:
Tu01 http://simul.iro.umontreal.ca/testu01/tu01.html
or
Dieharder https://webhome.phy.duke.edu/~rgb/General/rand_rate/rand_rate.abs

Hope this helps,
Evelyn Mitchell
efmph...@gmail.com

On Tue, Apr 2, 2019 at 12:55 AM 'Paulo Matos' via Racket Users <
racket-users@googlegroups.com> wrote:

>
>
> On 01/04/2019 23:37, Robby Findler wrote:
> > Generate multiples of those and combine them (shifting old ones over
> > and adding new ones as the lowest digits)?
> >
> > I'm not sure of a good way to generate nats uniformly at random where
> > you don't specify an upper bound, but Neil Toronto suggested something
> > crazy we used this paper:
> > http://users.cs.northwestern.edu/~robby/pubs/papers/jfp2017-nfmf.pdf
> >
>
> Awesome! I just skimmed the paper and the enumeration part brought
> memories of a technique we developed for unbounded model checking almost
> a decade ago.
>
> Your figure 3 is not too far from our figures 4 and 5 on page 9 of:
>
> https://www.researchgate.net/publication/225399880_A_Lazy_Unbounded_Model_Checker_for_Event-B
>
> Also, I should point out that all this Lazy Unbounded Model Checking
> research was developed in the good old PLT Scheme. :)
>
> Should check if the thing still runs in todays Racket...
>
> Now I should really grab a coffee and read your paper properly!
>
> Paulo Matos
>
> > Robby
> >
> > On Mon, Apr 1, 2019 at 4:31 PM <polarish...@gmail.com> wrote:
> >>
> >> Hello everyone,
> >>
> >> It appears that the largest number returned by the random function in
> Racket is 4294967087-1 for a good reason. Are there any libraries or simple
> approaches to generate a number larger than that?
> >>
> >> Thanks,
> >> Shaobo
> >>
> >> --
> >> You received this message because you are subscribed to the Google
> Groups "Racket Users" group.
> >> To unsubscribe from this group and stop receiving emails from it, send
> an email to racket-users+unsubscr...@googlegroups.com.
> >> For more options, visit https://groups.google.com/d/optout.
> >
>
> --
> Paulo Matos
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to