this is the kind of practical application of formal methods that makes me so damn bullish on the future. can't wait to read more about how they're using algebra to build safer, more reliable systems. https://www.reddit.com/user/james_haydon