You might find it interesting to know a lot of really important code is not written by text but using tools like Simulink and other graphical programming system

You might find it interesting to know a lot of really important code is not written by text but using tools like Simulink and other graphical programming systems. This is used, for example, to program the critical parts of NASA spacecraft. It's a lot easier to reason around images and, from what I understand, makes it easier to formally prove the underlying software too.