3v4l.org

run code in 500+ 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:
42.73 ms | 1592 KiB | 5 Q