I'm really mind blown! You can use your iPad Pro 3rd Gen to power a Raspberry Pi 4. And on top of that, you can use ethernet over that USB-C connection and SSH into your raspi.
I'm really eager to trying that out :)
Found that here: https://khoi.io/post/raspberry-pi-ipad-pro-usb-c/