Does anybody know of any alternative to quickcheck for racket? This seems to be slightly abandoned and the documentation is lacking. For example, creating an arbitrary-nonempty-list function seems to be quite tricky and left as an exercise to the reader. If you look at the source code of arbitrary-list, it uses a variant function that’s not provided by the library. :disappointed:

@pocmatos in case you weren’t aware: although not exactly the same, you can get some similar capabilities from Racket’s contract library (see https://docs.racket-lang.org/reference/Random_generation.html?q=exercise-contract#%28def._%28%28lib._racket%2Fcontract..rkt%29._contract-exercise%29%29)

@pnwamk interesting, was not aware of it. Thanks for the ref.

howdy - currently trying to run a big-bang project on a Raspberry Pi and getting an error when I try to run it:

$ racket third.rkt
Unable to init server: Could not connect: Connection refused
Gtk initialization failed for display ":0"

guess this is X11 related somehow?

or Gtk?

ah never mind

can’t do it over ssh

derp

does ssh -Y ... help?

i just VNCd into the pi and started it from the terminal there