3v4l.org

run code in 300+ PHP versions simultaneously
<?php $x = ["Alice", "Bob", "Carol", "Dan", "Eve", "Frank", "Grace", "Heidi"]; $k = 4; $y = array_intersect_key($x, array_flip(array_rand($x, $k))); print_r($y);

preferences:
37.88 ms | 402 KiB | 5 Q