by Jon Andrew – Jun 10, 2020. Last year, I started evaluating programming languages for a formally-verified operating system. I've been developing software for a while, but only recently began work…