IMO, software should look unpolished, to match the quality of the code and set realistic expectations. Almost all code for general purpose use is broken in some

IMO, software should look unpolished, to match the quality of the code and set realistic expectations. Almost all code for general purpose use is broken in some way. Writing non-trivial correct code without formal verification is a hopeless task. Consider that even SQLite, which goes to extraordinary lengths to test for correctness [0], is still often found to be incorrect [1]. Correct code is rare and generally doesn't have a GUI. [0] https://www.sqlite.org/testing.html https://www.sqlite.org/testing.html [1] https://www.sqlite.org/src/rptview/1 https://www.sqlite.org/src/rptview/1 EDIT: Consider the Horizon IT scandal: https://en.wikipedia.org/wiki/British_Post_Office_scandal https://en.wikipedia.org/wiki/British_Post_Office_scandal This kind of thing would be less likely to happen if designers didn't (probably inadvertently) mislead people into thinking software is usually correct.