A 2-minute intro I made a few months ago, on growing the minimal safe programming language up from machine code: https://archive.org/details/akkartik-2min-2020-04-20