Entries:
Comments:
Posts:

Loading User Information from Channel 9

Something went wrong getting user information from Channel 9

Activity Profile

Latest Achievement:

Loading User Information from MSDN

Something went wrong getting user information from MSDN

Visual Studio Achievements

Visual Studio Achievements

Latest Achievement:

Loading Visual Studio Achievements

Something went wrong getting the Visual Studio Achievements

ilmar

Subscribe to this feed

ilmar

Check me out on the web at C# - VB - SQL - JAVASCRIPT - programming.torensma.net.

Niner since 2007

Comments

Maestro: A Managed Domain Specific Language For Concurrent Programming
Dec 22, 2008 at 1:10 PM

Super interesting stuff, keep this coming!
Expert to Expert: Contract Oriented Programming and Spec#
May 28, 2008 at 3:35 AM

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!)
Peter Sestoft: Inside The C5 Generic Collection Library for C# and CLI
Jan 09, 2008 at 1:18 PM

Very cool stuff. I'm going to try C5 for sure!
Thnx Peter
Byron Cook: Inside Terminator
Sep 16, 2007 at 2:45 PM

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(++)?
Brian Beckman: A Brief History of Computing
Sep 06, 2007 at 12:01 PM

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

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