ilmar

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!
Thnx Peter

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(++)?

I loved every minute of it! Keep going Brian, please!

@Charles: I just found the tag, great idea!