Introducing F*: Secure Distributed Programming with Value-Dependent Typesresearch.microsoft.com·51 pts·buro9·12
Turn a pinball machine into an atomic synced alarm clock using a gps and arduinoinstructables.com·10 pts·buro9·0