transfer, upload, and flash

source: Programming the BBC micro:bit: Getting Started with MicroPython, p.8

This file is then transferred to the micro:bit (uploaded or flashed) simply by copying the hex file from your computer's disk drive to the micro:bit's virtual USB device.

この flash は move something quickly。
micro:bit 関連のドキュメントは、コンパイルした .hex ファイルを micro:bit に書き込むこと (micro:bit のフラッシュメモリーに転送すること、アップロードすること) を “flash” すると表現している。