• Language(s)
  • Nikolaj Bjørner and Leonardo de Moura: The Z3 Constraint Solver
    15 minutes, 29 seconds
  • MEF & Silverlight 4 Beta - Part 5, the PackageCatalog
    27 minutes, 58 seconds
  • MEF & Silverlight 4 Beta - Part 6, Locating Defaults & ExportProviders
    25 minutes, 11 seconds
  • MEF & Silverlight 4 Beta - Part 2, Imports & Exports
    32 minutes, 11 seconds
  • MEF & Silverlight 4 Beta - Part 3, Catalogs
    28 minutes, 20 seconds
  • MEF & Silverlight 4 Beta - Part 4, Recomposition
    33 minutes, 34 seconds
  • MEF & Silverlight 4 Beta - Part 1, Introduction
    20 minutes, 16 seconds
  • Windows Azure Lessons Learned: CCH
    14 minutes, 56 seconds
  • I'm a Windows 7 PC Themes
  • 24 Years of Windows Box Art