Did not watch the video, is this about Bluespec?
Apparently the technology was some sort of space-tech FPGA that could reconfigure at 2Ghz (i.e. close to the general max clock speed), they use Haskell's typesystem and non-sequentiality to build these circuits in a nice parallel way.