choose-exe

Command-line program to choose random element from a stream.

A command-line program that reads lines from stdin and outputs some fixed number of them, selected uniformly at random.