For those interested, he's mostly talking about Jump. Jane Street and Cumberland DRW too possibly.