Note that this is a list of programs whose funding authorization has expired, not programs that Vivek & Elon have specifically targeted (at least publicly).