&gt; There&#x27;s only a few articles in my collection on asynchronous systems (outside I&#x2F;O) because they&#x27;re so hard to verify.<p>GRR isn&#x27;t hard just time consuming. Yes its not <i>fully verified</i><p>&gt;I also figured you were forced to use aging crap that motivated you to try alternatives.<p>I&#x27;m actually a polygot programmer trying to pay the bills. Working in aging tester frameworks pays a lot more then web development. I like Rust b&#x2F;c its basically C-With-A-Type-System. Its still very easy to reason about how the Cee-LangVM will handle your code.<p>But yes. Working in a code base from the 80&#x27;s and switching to Rust is lovely.<p>:.:.:<p>The core purpose is exception logging. A lot of the exceptions will get mutated&#x2F;modified before being reported. &quot;Servo drive failed.&quot; is a lot less useful then &quot;Servo communication fault 0x274077343&quot; which I&#x27;ve memorized to tell me that a power surged knocked a comport off line.