I recently read an article [1] talking about MVC architecture, which mentioned the unfamiliar vocabulary TLA+, so I went to the homepage of TLA+[2] to try to understand it, but I am still a little new to TLA+, so I Want to know what people think of TLA+ and how TLA+ is applied in other fields or projects?
I saw an introduction to ternary computers on Wikipedia, and I'm curious which areas actually use ternary computers? And why are ternary computers better than binary computers in efficiency?
Because the wiki's instructions lack more detailed instructions, does anyone know a more complete introduction?
