Full threadnsriv·I found the narrative explanation of this protocol really beautifully written.https://www.robinsloan.com/lab/specifying-spring-83/View on HN