Help with flashing a hy mini board with a mac

python is just what runs the stm32loader.py software, and myserialport is the name of your serial port. On Windows it'd have been called COM4 or similar, but on Mac it's called something like /dev/tty.usbserial1234

But seriously, if you know how to do it on windows then find a windows PC, flash it, and then you can just use the board on your Mac when it's got Espruino installed.