Teaching Program Verification in Dafny at Amazon (dafny.org)

This is awesome, I have been doing advent of code and trying to write some algorithms in Dafny. This came at a great time!!