Microsoft Power Fx
Microsoft Power Fx is a low-code general purpose programming language based on spreadsheet-like formulas. It is a strongly typed, declarative, and functional language, with imperative logic and state management available as needed.
Power Fx started with Power Apps canvas apps and that is where you can experience it now. We are in the process of extracting the language from that product so that we can use it in more Microsoft Power Platform products and make it available here for you to use. That s going to take some time and we will report on our progress here and on the Power Apps blog.
USB Flashing Format (UF2)
UF2 is a file format, developed by Microsoft for PXT
(also known as Microsoft MakeCode), that is particularly suitable for
flashing microcontrollers over MSC (Mass Storage Class; aka removable flash drive).
For a more friendly explanation, check out this blog post.
Also, take a look at the list of implementations at the bottom of this document.
Overview
The UF2 file consists of 512 byte blocks, each of which is self-contained and independent of others.
Each 512 byte block consists of (see below for details):
magic numbers at the beginning and at the end
address where the data should be flashed