[commandersaki]

It won't boost my career, but if I had 100 hours I would spend my time learning formal methods for software development probably going through this course: https://www.cs.toronto.edu/~hehner/FMSD/ .

[sn9]

Oh man I was literally googling stuff like this last night.

Did you know there were verification competitions? [0]

[0] https://alastairreid.github.io/verification-competitions/