Oh this is Luke Wren’s work. He’s an ASIC design engineer at Raspberry Pi. Amazing project, I love it!

I think "ASIC design" engineer is under-selling him--he's working on their CPU cores too!