The first is the mini-HDMI, or Type-C. This is about half the size but still ... Cables with different plugs on each end are technically out of spec. But plenty of them exist on online shopping sites.

However, that isn't the only kind of HDMI cable out there. Mini HDMI (also called HDMI Type C) and micro HDMI (also called HDMI Type D) cables exist as well. Due to its small footprint ...