Super interesting stuff, keep this coming!
I watched it yesterday evening. And now, back at work I already wished I had the Spec# features
Great interview, keep the 'Going Deep' stuff comming!
En de oranje das voor Koninginnedag, super Eric!
(translation: and the orange tye for Queens Day, super Eric!)
Very cool stuff. I'm going to try C5 for sure!
Great video. I remember reading a piece some time ago about militairy software, and proofing correct operation of it. If I remember correctly, they where able to proof the complete application/system, not just the device drivers. Now I wander if maybe there are programming languages for which it is much easier to find proof of correct functioning that it is for c(++)?