Ben Zanin on Nostr: that makes sense. The only truly unqualified success story I've seen at $JOB has been ...

that makes sense. The only truly unqualified success story I've seen at $JOB has been a fully hands-off implementation of a cryptographic protocol implementation... which has a formal behavioral conformance test suite and a proven-correct-with-formal-methods abstract protocol. (And it still runs about 20× slower / with about a 20× higher power envelope than the traditional implementation, with 4-5× the code volume. But it *does* run, correctly.)