I’ve always enjoyed learning about “non-C” operating systems: https://www.theregister.com/2022/03/29/non_c_operating_systems/