Here is another video in the videos from altdotnet. We had Rustan and Mike of the spec# come out from their cave (j/k) at MSR to talk about spec#, boogie, and the future of compile time proving!
Enjoy it and as always feel free to leave feedback!
the video is not the best quality but hey … it was taken on a phone!
Thanks ,great article!
Thanks,great article!
All I can say is Rustan and Mike are two of the coolest guys I’ve met!
Catxx
just do it
intro for the uninitiated on spec# and compile time proving.
this is great knowledge!!
agree
http://www.fantastic-replica.net
http://my+face+is+up.thanauts.info/ >my face is up
http://kitchen+coffee+makers.thanauts.info/ >kitchen coffee makers
http://lyric+movie+soundtrack.thanauts.info/ >lyric movie soundtrack
http://san+francisco+de+young+museum.thanauts.info/ >san francisco de young museum
http://helena+lyrics+chemical+romance.thanauts.info/ >helena lyrics chemical romance
http://college+girls+videos.thanauts.info/ >college girls videos
http://what+is+ringworm.thanauts.info/ >what is ringworm
http://cheap+bed+in+a+bag.thanauts.info/ >cheap bed in a bag
http://make+easy+money+online.thanauts.info/ >make easy money online
http://internet+marketing+articles.thanauts.info/ >internet marketing articles
http://reporte+de+puentes.thanauts.info/ >reporte de puentes
http://line6+fbv+ultra+command.thanauts.info/ >line6 fbv ultra command
http://how+to+add+song+myspace.thanauts.info/ >how to add song myspace
http://riverwalk+san+antonio.thanauts.info/ >riverwalk san antonio
http://bank+hang+seng.thanauts.info/ >bank hang seng
http://portland+and+maine.thanauts.info/ >portland and maine
http://allen+g+robert.thanauts.info/ >allen g robert
http://biography+of+donald+trump.thanauts.info/ >biography of donald trump
http://what+is+communications+technology.thanauts.info/ >what is communications technology
http://what+is+salmonella+typhi.thanauts.info/ >what is salmonella typhi
http://women+in+thongs+pictures.thanauts.info/ >women in thongs pictures
http://what+is+pancreatic+cancer.thanauts.info/ >what is pancreatic cancer
http://free+online+rpgs.thanauts.info/ >free online rpgs
http://coins+of+the+world.thanauts.info/ >coins of the world
http://bollywood+songs+free.thanauts.info/ >bollywood songs free
http://hina+date+cheats.thanauts.info/ >hina date cheats
http://what+is+charisma.thanauts.info/ >what is charisma
http://used+motor+boats.thanauts.info/ >used motor boats
http://free+ad+aware+download.thanauts.info/ >free ad aware download
http://gamma+phi+beta.thanauts.info/ >gamma phi beta
http://about+the+great+barrier+reef.thanauts.info/ >about the great barrier reef
http://about+a+baby.thanauts.info/ >about a baby
http://journey+to+the+center+of+earth.thanauts.info/ >journey to the center of earth
http://lyrics+to+hymns.thanauts.info/ >lyrics to hymns
http://pimp+space+com.thanauts.info/ >pimp space com
http://recipes+for+eggs.thanauts.info/ >recipes for eggs
http://fruitcake+lady+clips.thanauts.info/ >fruitcake lady clips
http://truth+and+lending+act.thanauts.info/ >truth and lending act
http://www+otk+spankings.thanauts.info/ >www otk spankings
http://the+atlantic+hotel.thanauts.info/ >the atlantic hotel
http://what+is+mental+health+disorder.thanauts.info/ >what is mental health disorder
http://full+length+porn+free.thanauts.info/ >full length porn free
http://bin+file+how.thanauts.info/ >bin file how
http://samuel+coleridge+taylor.thanauts.info/ >samuel coleridge taylor
http://mgmgrand+hotel+in+las+vegas.thanauts.info/ >mgmgrand hotel in las vegas
http://sayings+of+love.thanauts.info/ >sayings of love
http://engagement+pave+ring.thanauts.info/ >engagement pave ring
http://old+and+young+women.thanauts.info/ >old and young women
http://battle+at+antietam.thanauts.info/ >battle at antietam
http://what+is+mii.thanauts.info/ >what is mii
http://linen+rental+table.thanauts.info/ >linen rental table
http://bang+gang+teen.thanauts.info/ >bang gang teen
http://the+best+yo+mama+jokes.thanauts.info/ >the best yo mama jokes
http://how+to+decipher.thanauts.info/ >how to decipher
http://calorado+state+university.thanauts.info/ >calorado state university
http://kids+haircuts+pictures.thanauts.info/ >kids haircuts pictures
http://bush+harriet+miers+nominated.thanauts.info/ >bush harriet miers nominated
http://all+lil+flip+lyrics.thanauts.info/ >all lil flip lyrics
http://jet+kawasaki+ski.thanauts.info/ >jet kawasaki ski
http://soundtrack+from+the+movie+closer.thanauts.info/ >soundtrack from the movie closer
http://photos+of+volleyballs.thanauts.info/ >photos of volleyballs
http://recipe+for+wine.thanauts.info/ >recipe for wine
http://uk+search+engines.thanauts.info/ >uk search engines
http://gideon+v+wainwright.thanauts.info/ >gideon v wainwright
http://do+you+remember+the+time.thanauts.info/ >do you remember the time
http://straits+times+news.thanauts.info/ >straits times news
http://online+computer+tech+support.thanauts.info/ >online computer tech support
http://motor+home+magazines.thanauts.info/ >motor home magazines
http://yo+mama+joke.thanauts.info/ >yo mama joke
http://zip+code+and+maps.thanauts.info/ >zip code and maps
http://rhode+island+health.thanauts.info/ >rhode island health
http://the+green+bay+packers.thanauts.info/ >the green bay packers
http://the+effects+of+pollution.thanauts.info/ >the effects of pollution
http://jefferson+parish+credit+union.thanauts.info/ >jefferson parish credit union
http://how+to+find+laws.thanauts.info/ >how to find laws
http://coupon+direct+tiger.thanauts.info/ >coupon direct tiger
http://lyrics+for+crazy+bitch+from+buckcherry.thanauts.info/ >lyrics for crazy bitch from buckcherry
http://catholic+organization+youth.thanauts.info/ >catholic organization youth
http://southwest+airline+flight+reservations.thanauts.info/ >southwest airline flight reservations
http://online+war+games+free.thanauts.info/ >online war games free
http://lyrics+to+rammstein+in+english.thanauts.info/ >lyrics to rammstein in english
http://the+hunter+gatherer.thanauts.info/ >the hunter gatherer
http://acne+home+remedy.thanauts.info/ >acne home remedy
http://feels+like+love.thanauts.info/ >feels like love
http://for+software+business.thanauts.info/ >for software business
http://what+is+pantone+colour.thanauts.info/ >what is pantone colour
http://the+dumb+waiter.thanauts.info/ >the dumb waiter
http://speaker+s+bureaus.thanauts.info/ >speaker s bureaus
http://colorado+ski+reports.thanauts.info/ >colorado ski reports
http://credit+card+aplication.thanauts.info/ >credit card aplication
http://bulletins+for+myspace.thanauts.info/ >bulletins for myspace
http://canada+vision+world.thanauts.info/ >canada vision world
http://man+memoir+teacher.thanauts.info/ >man memoir teacher
http://free+black+sex+video.thanauts.info/ >free black sex video
http://thank+god+for+you+lyrics.thanauts.info/ >thank god for you lyrics
http://grooms+mothers+dress.thanauts.info/ >grooms mothers dress
http://best+places+to+work.thanauts.info/ >best places to work
http://comforter+down+goose.thanauts.info/ >comforter down goose
http://laser+hair+removal+photos.thanauts.info/ >laser hair removal photos
http://women+s+initiative.thanauts.info/ >women s initiative
http://lyrics+to+rammstein+in+english.thanauts.info/ >lyrics to rammstein in english
http://the+hunter+gatherer.thanauts.info/ >the hunter gatherer
http://acne+home+remedy.thanauts.info/ >acne home remedy
http://feels+like+love.thanauts.info/ >feels like love
http://for+software+business.thanauts.info/ >for software business
http://what+is+pantone+colour.thanauts.info/ >what is pantone colour
http://the+dumb+waiter.thanauts.info/ >the dumb waiter
http://speaker+s+bureaus.thanauts.info/ >speaker s bureaus
http://colorado+ski+reports.thanauts.info/ >colorado ski reports
http://credit+card+aplication.thanauts.info/ >credit card aplication
http://bulletins+for+myspace.thanauts.info/ >bulletins for myspace
http://canada+vision+world.thanauts.info/ >canada vision world
http://man+memoir+teacher.thanauts.info/ >man memoir teacher
http://free+black+sex+video.thanauts.info/ >free black sex video
http://thank+god+for+you+lyrics.thanauts.info/ >thank god for you lyrics
http://grooms+mothers+dress.thanauts.info/ >grooms mothers dress
http://best+places+to+work.thanauts.info/ >best places to work
http://comforter+down+goose.thanauts.info/ >comforter down goose
http://laser+hair+removal+photos.thanauts.info/ >laser hair removal photos
http://women+s+initiative.thanauts.info/ >women s initiative
http://lyrics+to+rammstein+in+english.thanauts.info/ >lyrics to rammstein in english
http://the+hunter+gatherer.thanauts.info/ >the hunter gatherer
http://acne+home+remedy.thanauts.info/ >acne home remedy
http://feels+like+love.thanauts.info/ >feels like love
http://for+software+business.thanauts.info/ >for software business
http://what+is+pantone+colour.thanauts.info/ >what is pantone colour
http://the+dumb+waiter.thanauts.info/ >the dumb waiter
http://speaker+s+bureaus.thanauts.info/ >speaker s bureaus
http://colorado+ski+reports.thanauts.info/ >colorado ski reports
http://credit+card+aplication.thanauts.info/ >credit card aplication
http://bulletins+for+myspace.thanauts.info/ >bulletins for myspace
http://canada+vision+world.thanauts.info/ >canada vision world
http://man+memoir+teacher.thanauts.info/ >man memoir teacher
http://free+black+sex+video.thanauts.info/ >free black sex video
http://thank+god+for+you+lyrics.thanauts.info/ >thank god for you lyrics
http://grooms+mothers+dress.thanauts.info/ >grooms mothers dress
http://best+places+to+work.thanauts.info/ >best places to work
http://comforter+down+goose.thanauts.info/ >comforter down goose
http://laser+hair+removal+photos.thanauts.info/ >laser hair removal photos
http://women+s+initiative.thanauts.info/ >women s initiative
http://lyrics+to+rammstein+in+english.thanauts.info/ >lyrics to rammstein in english
http://the+hunter+gatherer.thanauts.info/ >the hunter gatherer
http://acne+home+remedy.thanauts.info/ >acne home remedy
http://feels+like+love.thanauts.info/ >feels like love
http://for+software+business.thanauts.info/ >for software business
http://what+is+pantone+colour.thanauts.info/ >what is pantone colour
http://the+dumb+waiter.thanauts.info/ >the dumb waiter
http://speaker+s+bureaus.thanauts.info/ >speaker s bureaus
http://colorado+ski+reports.thanauts.info/ >colorado ski reports
http://credit+card+aplication.thanauts.info/ >credit card aplication
http://bulletins+for+myspace.thanauts.info/ >bulletins for myspace
http://canada+vision+world.thanauts.info/ >canada vision world
http://man+memoir+teacher.thanauts.info/ >man memoir teacher
http://free+black+sex+video.thanauts.info/ >free black sex video
http://thank+god+for+you+lyrics.thanauts.info/ >thank god for you lyrics
http://grooms+mothers+dress.thanauts.info/ >grooms mothers dress
http://best+places+to+work.thanauts.info/ >best places to work
http://comforter+down+goose.thanauts.info/ >comforter down goose
http://laser+hair+removal+photos.thanauts.info/ >laser hair removal photos
http://women+s+initiative.thanauts.info/ >women s initiative
http://lauren+furniture+by+ralph.thanauts.info/ >lauren furniture by ralph
http://woman+sexy+leg.thanauts.info/ >woman sexy leg
http://north+carolina+at+university.thanauts.info/ >north carolina at university
http://white+stripes+tabs.thanauts.info/ >white stripes tabs
http://sen+patrick+leahy.thanauts.info/ >sen patrick leahy
http://remove+adware+free.thanauts.info/ >remove adware free
http://the+silence+of+lamb.thanauts.info/ >the silence of lamb
http://south+african+boerboel.thanauts.info/ >south african boerboel
http://major+league+records.thanauts.info/ >major league records
http://salt+lake+city+theaters.thanauts.info/ >salt lake city theaters
http://yam+what+i.thanauts.info/ >yam what i
http://combat+in+woman.thanauts.info/ >combat in woman
http://bradford+white+water.thanauts.info/ >bradford white water
http://citibank+online+credit+card.thanauts.info/ >citibank online credit card
http://palace+rod+western.thanauts.info/ >palace rod western
http://blood+monitor+omron+pressure.thanauts.info/ >blood monitor omron pressure
http://nissan+norfolk+virginia.thanauts.info/ >nissan norfolk virginia
http://real+estate+jacksonville+fl.thanauts.info/ >real estate jacksonville fl
http://grow+your+hair+long.thanauts.info/ >grow your hair long
http://what+are+the+2007+toyota+supra.thanauts.info/ >what are the 2007 toyota supra
http://tiger+woods+photo.thanauts.info/ >tiger woods photo
http://origami+flowers+instructions.thanauts.info/ >origami flowers instructions
http://charlize+theron+pictures.thanauts.info/ >charlize theron pictures
http://florida+cheap+airfares.thanauts.info/ >florida cheap airfares
http://american+dc+restaurant+washington.thanauts.info/ >american dc restaurant washington
http://wholesale+plastic+bottle.thanauts.info/ >wholesale plastic bottle
http://erotic+story+illustrated.thanauts.info/ >erotic story illustrated
http://stuff+about+dogs.thanauts.info/ >stuff about dogs
http://girls+hair+style+pictures.thanauts.info/ >girls hair style pictures
http://pot+roast+crock+recipes.thanauts.info/ >pot roast crock recipes
http://all+about+pearl+harbor.thanauts.info/ >all about pearl harbor
http://dane+dog+great.thanauts.info/ >dane dog great
http://grant+income+low.thanauts.info/ >grant income low
http://pregnancy+and+development.thanauts.info/ >pregnancy and development
http://clothing+donation+katrina+victim.thanauts.info/ >clothing donation katrina victim
http://lyric+for+if.thanauts.info/ >lyric for if
http://landscape+design+software+free.thanauts.info/ >landscape design software free
http://free+music+downloads+for+mp3.thanauts.info/ >free music downloads for mp3
http://the+scottish+rite.thanauts.info/ >the scottish rite
http://keira+knightley+malfunction+pic+wardrobe.thanauts.info/ >keira knightley malfunction pic wardrobe
http://all+inclusive+caribean+vacations.thanauts.info/ >all inclusive caribean vacations
http://you+and+me+lifehouse+lyrics.thanauts.info/ >you and me lifehouse lyrics
http://coloring+books+printable.thanauts.info/ >coloring books printable
http://send+online+text+messages.thanauts.info/ >send online text messages
http://window+2000+updates.thanauts.info/ >window 2000 updates
http://chow+mein+recipe.thanauts.info/ >chow mein recipe
http://fem+dom+stories.thanauts.info/ >fem dom stories
http://cincinnati+restaurant+take.thanauts.info/ >cincinnati restaurant take
http://power+ranger+pictures.thanauts.info/ >power ranger pictures
http://www+google+com+pk.thanauts.info/ >www google com pk
http://to+test+for+diabetes.thanauts.info/ >to test for diabetes
http://music+from+films.thanauts.info/ >music from films
http://what+is+speech+pathology.thanauts.info/ >what is speech pathology
http://happy+to+be+hardcore.thanauts.info/ >happy to be hardcore
http://compare+auto+insurance+rates.thanauts.info/ >compare auto insurance rates
http://california+driver+education+home+study.thanauts.info/ >california driver education home study
http://used+cars+and+bad.thanauts.info/ >used cars and bad
http://uk+tv+guides.thanauts.info/ >uk tv guides
http://creative+zen+mp3s.thanauts.info/ >creative zen mp3s
http://billy+blanks+bootcamp.thanauts.info/ >billy blanks bootcamp
http://the+dearth+of.thanauts.info/ >the dearth of
http://school+traffic+tulare.thanauts.info/ >school traffic tulare
http://wholesale+computer+parts.thanauts.info/ >wholesale computer parts
http://seattle+schools+district.thanauts.info/ >seattle schools district
http://how+to+trowel.thanauts.info/ >how to trowel
http://license+plate+numbers.thanauts.info/ >license plate numbers
http://tower+of+light.thanauts.info/ >tower of light
http://and+i+will+go+on.thanauts.info/ >and i will go on
http://weather+in+cancun+mexico.thanauts.info/ >weather in cancun mexico
http://what+is+a+capstone.thanauts.info/ >what is a capstone
http://baby+seats+car.thanauts.info/ >baby seats car
http://chanel+com+disney.thanauts.info/ >chanel com disney
http://club+on+the+green.thanauts.info/ >club on the green
http://francisco+san+sandwich.thanauts.info/ >francisco san sandwich
http://north+kansas+city+real+estate.thanauts.info/ >north kansas city real estate
http://poker+tournements+in+vegas.thanauts.info/ >poker tournements in vegas
http://high+jump+technique.thanauts.info/ >high jump technique
http://conversion+meter+miles.thanauts.info/ >conversion meter miles
http://cheats+grand+theft+auto.thanauts.info/ >cheats grand theft auto
http://cover+letter+internships.thanauts.info/ >cover letter internships
http://free+online+college+courses.thanauts.info/ >free online college courses
http://your+my+little+secret+lyrics.thanauts.info/ >your my little secret lyrics
http://coffee+maker+best.thanauts.info/ >coffee maker best
http://grayhound+bus+station.thanauts.info/ >grayhound bus station
http://deluxe+download+free+print+shop.thanauts.info/ >deluxe download free print shop
http://first+time+video+girls.thanauts.info/ >first time video girls
http://resort+on+cocoa+beach.thanauts.info/ >resort on cocoa beach
http://kristen+story+archieves.thanauts.info/ >kristen story archieves
http://st+thomas+hospital.thanauts.info/ >st thomas hospital
http://the+tabula+rasa.thanauts.info/ >the tabula rasa
http://eggs+and+chicken.thanauts.info/ >eggs and chicken
http://online+games+kids+free.thanauts.info/ >online games kids free
http://florida+home+loan+naples.thanauts.info/ >florida home loan naples
http://california+driving+fremont+school.thanauts.info/ >california driving fremont school
http://gangstas+lyric+paradise.thanauts.info/ >gangstas lyric paradise
http://the+hogan+stand.thanauts.info/ >the hogan stand
http://bullmastiff+for+sale.thanauts.info/ >bullmastiff for sale
http://fulton+county+goverment.thanauts.info/ >fulton county goverment
http://holiday+gift+ideas.thanauts.info/ >holiday gift ideas
http://chalet+a+louer.thanauts.info/ >chalet a louer
http://out+of+cast.thanauts.info/ >out of cast
http://fluorescent+lighting+for.thanauts.info/ >fluorescent lighting for
http://www+hot+guys.thanauts.info/ >www hot guys
http://las+vegas+real+estate+for.thanauts.info/ >las vegas real estate for
http://my+user+name.thanauts.info/ >my user name
http://university+of+louisville+hospital.thanauts.info/ >university of louisville hospital
http://nguyen+tila+video.thanauts.info/ >nguyen tila video
http://black+eyed+pea+picture.thanauts.info/ >black eyed pea picture
http://the+ministry+of+healing.thanauts.info/ >the ministry of healing
http://caterers+for+weddings.thanauts.info/ >caterers for weddings
http://find+old+classmate.thanauts.info/ >find old classmate
http://lyrics+for+changes+2pac.thanauts.info/ >lyrics for changes 2pac
http://used+cars+buy+online.thanauts.info/ >used cars buy online
http://continuing+education+in+real+estate.thanauts.info/ >continuing education in real estate
http://bound+and+gagged.thanauts.info/ >bound and gagged
http://msn+messenger+sign+on.thanauts.info/ >msn messenger sign on
http://microsoft+visual+basic+for.thanauts.info/ >microsoft visual basic for
http://in+your+pocket+com.thanauts.info/ >in your pocket com
http://mineral+wells+index.thanauts.info/ >mineral wells index
http://chris+perez+and+selena.thanauts.info/ >chris perez and selena
http://meridia+weight+loss.thanauts.info/ >meridia weight loss
http://detroit+salon+tanning.thanauts.info/ >detroit salon tanning
http://chinese+song+mp3+download.thanauts.info/ >chinese song mp3 download
http://american+pie+bye+miss.thanauts.info/ >american pie bye miss
http://www+cat+in+the+hat.thanauts.info/ >www cat in the hat
http://love+is+of+god.thanauts.info/ >love is of god
http://newspaper+portland+me.thanauts.info/ >newspaper portland me
http://interview+questions+for+jobs.thanauts.info/ >interview questions for jobs
http://ebay+home+business.thanauts.info/ >ebay home business
http://beauty+and+the+beast.thanauts.info/ >beauty and the beast
http://computer+laptop+for+sale.thanauts.info/ >computer laptop for sale
http://a+genie+in+bottle.thanauts.info/ >a genie in bottle
http://cars+with+body+kit.thanauts.info/ >cars with body kit
http://swing+on+the.thanauts.info/ >swing on the
http://farenheit+weight+loss.thanauts.info/ >farenheit weight loss
http://account+bank+swiss.thanauts.info/ >account bank swiss
http://swimsuit+issue+si.thanauts.info/ >swimsuit issue si
http://free+indian+movie+downloads.thanauts.info/ >free indian movie downloads
http://new+york+public+libraries.thanauts.info/ >new york public libraries
http://sterns+and+foster.thanauts.info/ >sterns and foster
http://looking+for+homes+sale+in+maryland.thanauts.info/ >looking for homes sale in maryland
http://www+goto+com.thanauts.info/ >www goto com
http://chucky+leprechaun+vs.thanauts.info/ >chucky leprechaun vs
http://how+to+build+green+house.thanauts.info/ >how to build green house
http://reverse+phone+lookup+verizon.thanauts.info/ >reverse phone lookup verizon
http://trail+of+the+dead.thanauts.info/ >trail of the dead
http://dove+all+night.thanauts.info/ >dove all night
http://dallas+ford+dealer.thanauts.info/ >dallas ford dealer
http://maywood+park+or.thanauts.info/ >maywood park or
http://what+are+the+effects+of+caffeine.thanauts.info/ >what are the effects of caffeine
http://what+s+your+fantasy+ludacris.thanauts.info/ >what s your fantasy ludacris
http://www+university+of+pittsburgh.thanauts.info/ >www university of pittsburgh
http://how+to+impress+a+girl.thanauts.info/ >how to impress a girl
http://holly+marie+combs+picture.thanauts.info/ >holly marie combs picture
http://beyonce+songs+lyrics.thanauts.info/ >beyonce songs lyrics
http://crockpot+chili+recipes.thanauts.info/ >crockpot chili recipes
http://simple+plan+welcome+to+my+life.thanauts.info/ >simple plan welcome to my life
http://bloody+mary+storys.thanauts.info/ >bloody mary storys
http://free+checking+washington+dc.thanauts.info/ >free checking washington dc
http://environment+of+canada+weather.thanauts.info/ >environment of canada weather
http://close+up+pics
http://care+packages+for+military.thanauts.info/ >care packages for military
http://about+hot+air+balloons.thanauts.info/ >about hot air balloons
http://sing+for+a+moment+lyrics.thanauts.info/ >sing for a moment lyrics
http://upgrades+windows+xp.thanauts.info/ >upgrades windows xp
http://invitation+letter+sample.thanauts.info/ >invitation letter sample
http://list+of+graduates.thanauts.info/ >list of graduates
http://lord+of+the+kings.thanauts.info/ >lord of the kings
http://i+am+me+album+cover.thanauts.info/ >i am me album cover
http://rental+cars+in+houston.thanauts.info/ >rental cars in houston
http://cheat+codes+for+playstation+two+games.thanauts.info/ >cheat codes for playstation two games
http://interviews+with+celebrities.thanauts.info/ >interviews with celebrities
http://fresno+county+jail+inmates.thanauts.info/ >fresno county jail inmates
http://men+s+silver+ring.thanauts.info/ >men s silver ring
http://used+auto+los+angeles.thanauts.info/ >used auto los angeles
http://what+is+ozone+hole.thanauts.info/ >what is ozone hole
http://thai+dictionary+english.thanauts.info/ >thai dictionary english
http://resume+samples+elementary+teacher.thanauts.info/ >resume samples elementary teacher
http://pictures+of+the+deserts.thanauts.info/ >pictures of the deserts
http://pit+bull+kennels.thanauts.info/ >pit bull kennels
http://elk+grove+school+districts.thanauts.info/ >elk grove school districts
http://haste+the+day+lyrics.thanauts.info/ >haste the day lyrics
http://nevermore+music+video.thanauts.info/ >nevermore music video
http://eureka+springs+ark.thanauts.info/ >eureka springs ark
http://a+1000+miles.thanauts.info/ >a 1000 miles
http://private+number+plates.thanauts.info/ >private number plates
http://the+driven+purpose+life.thanauts.info/ >the driven purpose life
http://free+full+length+xxx+movies.thanauts.info/ >free full length xxx movies
http://red+light+videos.thanauts.info/ >red light videos
http://list+of+prescription+medicines.thanauts.info/ >list of prescription medicines
http://orlando+homes+for+sale.thanauts.info/ >orlando homes for sale
http://chip+and+dale+dancers.thanauts.info/ >chip and dale dancers
http://about+the+1950s.thanauts.info/ >about the 1950s
http://pencemaran+alam+sekitar.thanauts.info/ >pencemaran alam sekitar
http://insurance+life+sun.thanauts.info/ >insurance life sun
http://www+lili+be.thanauts.info/ >www lili be
http://sex+with+pregnant+women.thanauts.info/ >sex with pregnant women
http://women+s+locker+rooms.thanauts.info/ >women s locker rooms
http://apartments+in+boulder.thanauts.info/ >apartments in boulder
http://www+cordial+at.thanauts.info/ >www cordial at
http://alex+evenings+dress.thanauts.info/ >alex evenings dress
http://washington+state+campground.thanauts.info/ >washington state campground
http://holly+madison+photos.thanauts.info/ >holly madison photos
http://mobilty+personal+toyota+vehicle.thanauts.info/ >mobilty personal toyota vehicle
http://learn+from+you.thanauts.info/ >learn from you
http://job+corps+jobs.thanauts.info/ >job corps jobs
http://aqaurium+of+the+pacific.thanauts.info/ >aqaurium of the pacific
http://phoenix+arizona+zip+codes.thanauts.info/ >phoenix arizona zip codes
http://japanese+used+cars+exporters.thanauts.info/ >japanese used cars exporters
http://business+proposal+to.thanauts.info/ >business proposal to
http://state+of+new+york+department+education.thanauts.info/ >state of new york department education
http://gifts+to+india.thanauts.info/ >gifts to india
http://chicago+shakespeare+theatre.thanauts.info/ >chicago shakespeare theatre
http://in+the+southern+cross.thanauts.info/ >in the southern cross
http://robert+woods+johnson.thanauts.info/ >robert woods johnson
http://plastic+card+printing.thanauts.info/ >plastic card printing
http://grand+cayman+marriott.thanauts.info/ >grand cayman marriott
http://joint+chief+of+staffs.thanauts.info/ >joint chief of staffs
http://english+bulldog+picture.thanauts.info/ >english bulldog picture
http://sample+resume+for+job.thanauts.info/ >sample resume for job
http://pina+colada+songs.thanauts.info/ >pina colada songs
http://get+a+teaching+degree.thanauts.info/ >get a teaching degree
http://there+she+goes+by.thanauts.info/ >there she goes by
http://science+and+computer.thanauts.info/ >science and computer
http://the+event+business.thanauts.info/ >the event business
http://blueprints+of+cars.thanauts.info/ >blueprints of cars
http://dark+iron+on.thanauts.info/ >dark iron on
http://ghetto+miss+thickness.thanauts.info/ >ghetto miss thickness
http://what+is+rendering.thanauts.info/ >what is rendering
http://brides+mail+order.thanauts.info/ >brides mail order
http://california+used+cars.thanauts.info/ >california used cars
http://the+old+music.thanauts.info/ >the old music
http://english+to+italian.thanauts.info/ >english to italian
http://colorado+hospital+university.thanauts.info/ >colorado hospital university
http://rate+sales+tax.thanauts.info/ >rate sales tax
http://about+john+smith.thanauts.info/ >about john smith
http://the+map+of+indiana.thanauts.info/ >the map of indiana
http://young+bbs+models.thanauts.info/ >young bbs models
http://satelite+tv+on+your+pc.thanauts.info/ >satelite tv on your pc
http://to+do+business+with.thanauts.info/ >to do business with
http://black+cock+whore.thanauts.info/ >black cock whore
http://outer+banks+north+carolina+rental+search.thanauts.info/ >outer banks north carolina rental search
http://jeux+gratuit+a+telecharger.thanauts.info/ >jeux gratuit a telecharger
http://the+air+force.thanauts.info/ >the air force
http://list+of+overseas+pharmacies.thanauts.info/ >list of overseas pharmacies
http://hurricane+katrina+video.thanauts.info/ >hurricane katrina video
http://real+estate+template+sites.thanauts.info/ >real estate template sites
http://how+to+sell+houses.thanauts.info/ >how to sell houses
http://of+gobi+desert.thanauts.info/ >of gobi desert
http://live+with+regis+kelly+show.thanauts.info/ >live with regis kelly show
http://kings+of+krump.thanauts.info/ >kings of krump
http://the+population+of+switzerland.thanauts.info/ >the population of switzerland
http://accomedation+in+amsterdam.thanauts.info/ >accomedation in amsterdam
http://the+water+nymph.thanauts.info/ >the water nymph
http://pontiac+grand+prix+parts.thanauts.info/ >pontiac grand prix parts
http://party+stores+new+york.thanauts.info/ >party stores new york
http://de+federacion+futbol+mexicana.thanauts.info/ >de federacion futbol mexicana
http://t+shirt+and+panties+on.thanauts.info/ >t shirt and panties on
http://canada+law+society+upper.thanauts.info/ >canada law society upper
http://what+is+kelpie.thanauts.info/ >what is kelpie
http://lutheran+social+services.thanauts.info/ >lutheran social services
http://car+dealership+columbus.thanauts.info/ >car dealership columbus
http://chicago+mortgage+companies.thanauts.info/ >chicago mortgage companies
http://map+of+area+codes.thanauts.info/ >map of area codes
http://winter+wallpapers+free.thanauts.info/ >winter wallpapers free
http://is+a+sophomore.thanauts.info/ >is a sophomore
http://home+remedies+for+a+cold.thanauts.info/ >home remedies for a cold
http://free+russian+personals.thanauts.info/ >free russian personals
http://beyonce+booty+pic.thanauts.info/ >beyonce booty pic
http://the+top+songs+of+90s.thanauts.info/ >the top songs of 90s
http://hair+removal+product.thanauts.info/ >hair removal product
http://symptoms+of+skin+cancer.thanauts.info/ >symptoms of skin cancer
http://the+maryland+general+assembly.thanauts.info/ >the maryland general assembly
http://shopping+bargain+online.thanauts.info/ >shopping bargain online
http://appreciation+letter+samples.thanauts.info/ >appreciation letter samples
http://dress+up+princesses+games.thanauts.info/ >dress up princesses games
http://driver+rafael+san+training.thanauts.info/ >driver rafael san training
http://dogs+and+diabetes.thanauts.info/ >dogs and diabetes
http://on+the+mainline.thanauts.info/ >on the mainline
http://hierarchy+of+needs.thanauts.info/ >hierarchy of needs
http://brown+and+bear.thanauts.info/ >brown and bear
http://basket+gift+unique.thanauts.info/ >basket gift unique
http://run+for+the+hills+iron+maiden.thanauts.info/ >run for the hills iron maiden
http://about+billie+joe+armstrong.thanauts.info/ >about billie joe armstrong
http://embrace+of+the+vampires.thanauts.info/ >embrace of the vampires
http://cruelty+to+animal.thanauts.info/ >cruelty to animal
http://taming+of+a+shrew.thanauts.info/ >taming of a shrew
http://photo+hunt+games+free.thanauts.info/ >photo hunt games free
http://how+to+beat+off.thanauts.info/ >how to beat off
http://symptoms+of+seizure.thanauts.info/ >symptoms of seizure
http://private+servers+mu+online.thanauts.info/ >private servers mu online
http://science+fiction+and+horror.thanauts.info/ >science fiction and horror
http://title+of+a+book.thanauts.info/ >title of a book
http://top+baby+names+2005.thanauts.info/ >top baby names 2005
http://breast+augmentation+picture.thanauts.info/ >breast augmentation picture
http://the+human+torch.thanauts.info/ >the human torch
http://shave+a+head.thanauts.info/ >shave a head
http://are+you+that+somebody.thanauts.info/ >are you that somebody
http://ben+michael+jackson.thanauts.info/ >ben michael jackson
http://wedding+reception+hall.thanauts.info/ >wedding reception hall
http://download+need+for+speed+underground+2.thanauts.info/ >download need for speed underground 2
http://costume+fighter+fire.thanauts.info/ >costume fighter fire
http://free+mah+jong+online.thanauts.info/ >free mah jong online
http://singapore+zoological+garden.thanauts.info/ >singapore zoological garden
http://hanging+by+the+moment+lyrics.thanauts.info/ >hanging by the moment lyrics
http://baseball+clemente+grace+hero+last+passion.thanauts.info/ >baseball clemente grace hero last passion
http://wonder+all+i+do.thanauts.info/ >wonder all i do
http://about+maya+angelou.thanauts.info/ >about maya angelou
http://name+of+the+plants.thanauts.info/ >name of the plants
http://square+foot+to+acres.thanauts.info/ >square foot to acres
http://fair+hollywood+issue+vanity.thanauts.info/ >fair hollywood issue vanity
http://map+of+world.thanauts.info/ >map of world
http://american+income+by.thanauts.info/ >american income by
http://learning+activities+for+preschool.thanauts.info/ >learning activities for preschool
http://arizona+division+motor+vehicle.thanauts.info/ >arizona division motor vehicle
http://alfa+romeo+156.thanauts.info/ >alfa romeo 156
http://ip+lookup+reverse.thanauts.info/ >ip lookup reverse
http://vitamin+a+swim+wear.thanauts.info/ >vitamin a swim wear
http://accommodation+holiday+tuscany.thanauts.info/ >accommodation holiday tuscany
http://pc+war+game.thanauts.info/ >pc war game
http://discount+rates+hotel.thanauts.info/ >discount rates hotel
http://beautiful+naked+women.thanauts.info/ >beautiful naked women
http://real+estate+albany+georgia.thanauts.info/ >real estate albany georgia
http://maryland+car+insurance.thanauts.info/ >maryland car insurance
http://car+rental+in+ireland.thanauts.info/ >car rental in ireland
http://me+to+you+teddy.thanauts.info/ >me to you teddy
http://yu+gi+oh+episode+guides.thanauts.info/ >yu gi oh episode guides
http://el+mono+mario.thanauts.info/ >el mono mario
http://chocolate+mousse+recipies.thanauts.info/ >chocolate mousse recipies
http://childrens+bible+storys.thanauts.info/ >childrens bible storys
http://minnesota+viking+radio.thanauts.info/ >minnesota viking radio
http://close+your+eyes.thanauts.info/ >close your eyes
http://hotels+disneyland+paris.thanauts.info/ >hotels disneyland paris
http://music+song+codes.thanauts.info/ >music song codes
http://the+used+cut+up.thanauts.info/ >the used cut up
http://financial+partners+credit+union.thanauts.info/ >financial partners credit union
http://mercy+me+singer.thanauts.info/ >mercy me singer
http://edgar+poe+poems.thanauts.info/ >edgar poe poems
http://truck+rental+new.thanauts.info/ >truck rental new
http://young+joc+video.thanauts.info/ >young joc video
http://pictures+the+of+sun.thanauts.info/ >pictures the of sun
http://connor+o+sinead.thanauts.info/ >connor o sinead
http://pictures+of+twin+towers.thanauts.info/ >pictures of twin towers
http://free+pokemon+card.thanauts.info/ >free pokemon card
http://beauty+supply+wholesale.thanauts.info/ >beauty supply wholesale
http://lazer+hair+surgery.thanauts.info/ >lazer hair surgery
http://gift+baskets+for+dogs.thanauts.info/ >gift baskets for dogs
http://saints+and+soldier.thanauts.info/ >saints and soldier
http://whistler+bc+accommodation.thanauts.info/ >whistler bc accommodation
http://recipes+for+mac+and+cheese.thanauts.info/ >recipes for mac and cheese
http://the+happy+days.thanauts.info/ >the happy days
http://riddles+for+kids.thanauts.info/ >riddles for kids
http://webcam+free+chat+room.thanauts.info/ >webcam free chat room
http://poems+about+friendship.thanauts.info/ >poems about friendship
http://hotel+in+new+york.thanauts.info/ >hotel in new york
http://beach+rental+north+carolina.thanauts.info/ >beach rental north carolina
http://case+cd+jewel.thanauts.info/ >case cd jewel
http://t+mobile+ring+tones.thanauts.info/ >t mobile ring tones
http://causes+of+urinary+tract+infection.thanauts.info/ >causes of urinary tract infection
http://online+calculator+fractions.thanauts.info/ >online calculator fractions
http://download+mcafee+anti+virus+free.thanauts.info/ >download mcafee anti virus free
http://love+hate+lyrics.thanauts.info/ >love hate lyrics
http://game+shower+wedding.thanauts.info/ >game shower wedding
http://medicaid+application+from.thanauts.info/ >medicaid application from
http://map+of+north+dakota.thanauts.info/ >map of north dakota
http://business+cards+scanners.thanauts.info/ >business cards scanners
http://herpes+simplex+viruses.thanauts.info/ >herpes simplex viruses
http://perego+baby+strollers.thanauts.info/ >perego baby strollers
http://nike+edgar+davids.thanauts.info/ >nike edgar davids
http://german+shepherd+dogs+breeders.thanauts.info/ >german shepherd dogs breeders
http://www+playing+with+fire.thanauts.info/ >www playing with fire
http://advanced+google+images.thanauts.info/ >advanced google images
http://about+memory+loss.thanauts.info/ >about memory loss
http://diagram+of+cars.thanauts.info/ >diagram of cars
http://sexual+how+to.thanauts.info/ >sexual how to
http://city+estate+havasu+lake+real.thanauts.info/ >city estate havasu lake real
http://halcyon+on+and.thanauts.info/ >halcyon on and
http://gift+online+shopping.thanauts.info/ >gift online shopping
http://the+eyes+on+prize.thanauts.info/ >the eyes on prize
http://old+macdonald+s+farm.thanauts.info/ >old macdonald s farm
http://pregnant+week+11.thanauts.info/ >pregnant week 11
http://map+of+north+carolina+state.thanauts.info/ >map of north carolina state
http://fake+britney+spears+picture.thanauts.info/ >fake britney spears picture
http://tortilla+soup+recipies.thanauts.info/ >tortilla soup recipies
http://all+inclusive+costa+rica+vacations.thanauts.info/ >all inclusive costa rica vacations
http://hard+drive+partition.thanauts.info/ >hard drive partition
http://the+christmas+play.thanauts.info/ >the christmas play
http://myspace+com+site+wedding.thanauts.info/ >myspace com site wedding
http://company+design+web.thanauts.info/ >company design web
http://games+downloads+for+mac.thanauts.info/ >games downloads for mac
http://a+rabbit+hutch.thanauts.info/ >a rabbit hutch
http://my+computer+freezes.thanauts.info/ >my computer freezes
http://marketing+a+service.thanauts.info/ >marketing a service
http://colleges+of+california.thanauts.info/ >colleges of california
http://maggie+q+pictures.thanauts.info/ >maggie q pictures
http://comic+book+art.thanauts.info/ >comic book art
http://game+of+gondor.thanauts.info/ >game of gondor
http://www+beam+to.thanauts.info/ >www beam to
http://how+to+legally+change+names.thanauts.info/ >how to legally change names
http://bloomingdale+s+department+store.thanauts.info/ >bloomingdale s department store
http://milwakee+art+museums.thanauts.info/ >milwakee art museums
http://history+of+the+super+bowl.thanauts.info/ >history of the super bowl
http://yu+gi+oh+yami+and+monster.thanauts.info/ >yu gi oh yami and monster
http://west+plains+missouri.thanauts.info/ >west plains missouri
http://www+cigna+dental.thanauts.info/ >www cigna dental
http://what+is+colonoscopy.thanauts.info/ >what is colonoscopy
http://heat+rash+treatment.thanauts.info/ >heat rash treatment
http://tgi+friday+restaurants.thanauts.info/ >tgi friday restaurants
http://cook+county+clerk+of+circuit+court.thanauts.info/ >cook county clerk of circuit court
http://rental+cabins+in+north+carolina.thanauts.info/ >rental cabins in north carolina
http://ceiling+fan+wiring.thanauts.info/ >ceiling fan wiring
http://hentai+anime+porn.thanauts.info/ >hentai anime porn
http://tell+me+somethin.thanauts.info/ >tell me somethin
http://congresional+black+caucus.thanauts.info/ >congresional black caucus
http://legal+name+change.thanauts.info/ >legal name change
http://www+media+indonesia.thanauts.info/ >www media indonesia
http://online+iq+tests+free.thanauts.info/ >online iq tests free
http://lyrics+to+the+wizard+and+i.thanauts.info/ >lyrics to the wizard and i
http://telepone+number+look+up.thanauts.info/ >telepone number look up
http://collector+car+insurance.thanauts.info/ >collector car insurance
http://free+scan+virus+online.thanauts.info/ >free scan virus online
http://how+to+paint+kitchen+cabinet.thanauts.info/ >how to paint kitchen cabinet
http://what+is+a+pentium+processor.thanauts.info/ >what is a pentium processor
http://dictionary+for+word.thanauts.info/ >dictionary for word
http://break+spring+vacation.thanauts.info/ >break spring vacation
http://the+cold+heat.thanauts.info/ >the cold heat
http://brainteasers+and+riddles.thanauts.info/ >brainteasers and riddles
http://new+yourk+times+best+sellers+list.thanauts.info/ >new yourk times best sellers list
http://pcmcia+card+to.thanauts.info/ >pcmcia card to
http://www+realplayer+com.thanauts.info/ >www realplayer com
http://do+me+lyrics.thanauts.info/ >do me lyrics
http://telephone+numbers+uk.thanauts.info/ >telephone numbers uk
http://people+with+disabilities.thanauts.info/ >people with disabilities
http://georgia+law+lemon.thanauts.info/ >georgia law lemon
http://gas+newark+station.thanauts.info/ >gas newark station
http://mortgage+calculator+and+canada.thanauts.info/ >mortgage calculator and canada
http://types+of+insulin.thanauts.info/ >types of insulin
http://dream+of+jeannie.thanauts.info/ >dream of jeannie
http://more+great+games.thanauts.info/ >more great games
http://if+i+leave+you+now.thanauts.info/ >if i leave you now
http://business+opportunity+computers.thanauts.info/ >business opportunity computers
http://windows+download+centre.thanauts.info/ >windows download centre
http://the+declarations+of+independence.thanauts.info/ >the declarations of independence
http://real+female+orgasms.thanauts.info/ >real female orgasms
http://moon+s+sailor.thanauts.info/ >moon s sailor
http://music+on+your+website.thanauts.info/ >music on your website
http://viet+nam+airlines.thanauts.info/ >viet nam airlines
http://chicago+children+museums.thanauts.info/ >chicago children museums
http://pre+engineered+buildings.thanauts.info/ >pre engineered buildings
http://to+branch+out.thanauts.info/ >to branch out
http://delta+dental+calif.thanauts.info/ >delta dental calif
http://ass+finger+in.thanauts.info/ >ass finger in
http://estate+florida+marathon+real.thanauts.info/ >estate florida marathon real
http://death+penalty+state+by.thanauts.info/ >death penalty state by
http://crazy+frog+downloads+for+free.thanauts.info/ >crazy frog downloads for free
http://what+is+slate+tile.thanauts.info/ >what is slate tile
http://clothes+in+online+shopping.thanauts.info/ >clothes in online shopping
http://anonymous+and+surfing+free.thanauts.info/ >anonymous and surfing free
http://home+improvement+the+tv+show.thanauts.info/ >home improvement the tv show
http://love+is+pain+and.thanauts.info/ >love is pain and
http://university+of+illinois+state.thanauts.info/ >university of illinois state
http://dolphin+swims+florida.thanauts.info/ >dolphin swims florida
http://capitalone+online+banking.thanauts.info/ >capitalone online banking
http://information+man+wear+wedding.thanauts.info/ >information man wear wedding
http://send+message+to+cingular.thanauts.info/ >send message to cingular
http://party+rental+middlesex.thanauts.info/ >party rental middlesex
http://lyrics+for+on+my+own.thanauts.info/ >lyrics for on my own
http://beach+club+gulf+shores.thanauts.info/ >beach club gulf shores
http://costco+warehouse+wholesale.thanauts.info/ >costco warehouse wholesale
http://schizoid+personality+disorder.thanauts.info/ >schizoid personality disorder
http://nude+and+hairy.thanauts.info/ >nude and hairy
http://free+letter+recommendation.thanauts.info/ >free letter recommendation
http://how+to+calculate+the+gpa.thanauts.info/ >how to calculate the gpa
http://business+flights+cheap.thanauts.info/ >business flights cheap
http://mortgage+brokers+commercial.thanauts.info/ >mortgage brokers commercial
http://blue+s+clues+coloring.thanauts.info/ >blue s clues coloring
http://how+to+get+pregnet.thanauts.info/ >how to get pregnet
http://quinsigamond+comunity+college.thanauts.info/ >quinsigamond comunity college
http://buckhannon+virginia+west.thanauts.info/ >buckhannon virginia west
http://treatment+of+acne+scars.thanauts.info/ >treatment of acne scars
http://prices+of+braces.thanauts.info/ >prices of braces
http://bens
http://fordcratemotors.someauts.info/ >ford crate motors
http://jumpultimatestarsmugencharactersdownload.dagyyeag.cn/ >jump ultimate stars mugen characters download
http://hiresscreenpacksmugen.yinech.cn/ >hi res screenpacks mugen
http://httgreatjobmarriottcom.yinech.cn/ >htt greatjob marriott com
http://deborahsampsonrobertshurtleff
http://toyotafanbeltdiagram.cxoujmwe.cn/ >toyota fan belt diagram
http://kaluhaliquorvodka.iubonut.cn/ >kaluha liquor vodka
http://freemugengamedownloadsnk.oeykbwa.cn/ >free mugen game download snk
http://inti
peter states caused measurements
high indicate america controls arrives worldwide [url=http://www.revolutionwraps.com]less due service new[/url] http://www.apogeerockets.com
you decision makers up
Yeah this is definitely an awesome intro for the uninitiated on spec# and compile time proving.
I have read this post. This is very much true. Even I own a blog account on video conferencing. Video conferencing is indeed a great innovation in technology and communications. One day video conferencing will be like an ordinary house-hold item in the next 5-10 years.I will mention your post in my blog.
I agree with Karl. I am looking foward to seeing this in the IDE.
Nice video … thanks for sharing…
I have been wondering about this fact for a couple of years now. Why doesn’t C# support DbC? I think this would be _the_ most powerful feature in C# since the introduction of generics. I can’t count the various subtle errors in my programs which could have been avoided by using something like spec#.
Yeah this is definitely an awesome intro for the uninitiated on spec# and compile time proving.
I agree that the two work very well together (this was actually my talk at devTeach last year). It does however become interesting in terms of TDD. Red green refactor really has another step if I put prover errors as compile errors … and it leads to a contract first mentality which I think is more appropriate in both a staticly verified language or even just a staticly typed language.
test first works best in dynamic languages that let me call methods that don’t exist yet.
Everyone should watch this! It’s a really good presentation of the value of Design by Contract to the uninitiated.
Having recently watched the Bertrand Meyer interview at http://channel9.msdn.com/tags/Eiffel, it’s amazing how C# is so far behind Eiffel in this respect. Eiffel has had contracts forever, and is currently in the midst of the move to not-null types. (And Eiffel is a .NET language too, of course.) The static verification in Spec# sounds great though. We’ve gotta get his stuff into C# now!
One surprising thing about the presentation was that there didn’t seem to be any nay-sayers among the test-driven developers in the audience. DbC and TDD gurus are often hostile to each other, which has always bewildered me because it just seems obvious that the two approaches are complementary. Maybe the presentation was just too compelling for such doubts.
Shame we didn’t really get to see the projected code in the video, but nice job with the camera phone all the same, Greg
Sorry for my bad holding at times, I was trying to figure out how to zoom…