Comments

20 hours ago

That was one of the most embarrassing tech talks I have ever witnessed.

Why?

C

@aL3891: And Z3 is one of the world's fastest constraints solvers

Looks like the Pex wizards will supply what you're looking for (Pex++). See Nikolai's comment above.

C

@Jeff Benson: Lazy? This is not a presentation or lecture. It's a conversation. There's a difference.

C

@ryknyk: Not a silly question... This was posted here because all of this content was about to be deleted from another site (due to lifetime restrictions) - and we don't think this content should disappear forever! There is some great stuff here.

C

@aL3891: Did you watch the video, aL?

C

Boy Wonder.
C

Tomorrow, 9AM PST. Register!

Hope to see lots of Niners at build

C

Awesome! Great job - and thanks for implementing Windows 8 contracts, too!

C

@NotFredSafe: Not you. We should be able to fix.
C

EDIT: Fixed. Thanks, Golnaz!!