Stop writing dead programs, Framework Laptop, Verifying Distributed systems, Large systems at Tesla's Power plant. ...