Stay tuned! [1] David Farley, “Synchronous Programming is the Crack-Cocaine of Software Development,” YouTube video, February 2023. [2] Miro Samek, MiROS (MInimal Real-Time Operating System), GitHub ...

Teaching courses: Programming, Algorithms and Data Structures, Data Science ... Programming languages and formal methods, type and effect systems, program verification for operating system kernels, ...

So now, we’ll look into circle, the bare metal programming environment that it is based ... but not all that unnecessary operating system stuff. Perhaps not quite as complete as circle, but ...