contextfree

• Bart De Smet: LINQ to Z3

  Nov 28, 2010 at 12:46 PM

  I have a friend who works on another SMT solver, (that's actually available under an open source license instead of the onerous MSR-LA terms), CVC3. Hmm, a LINQ provider for it might be an interesting project ...

• New Windows Live Wave 4 Messenger Preview

  Apr 28, 2010 at 8:57 PM

  this actually looks great ... other than the ads which really sour me on the whole thing.     I really hate the idea of ads in client software, and even looking at websites, ads in Facebook, Bing and Google don't feel nearly as intrusive.  I also think that ads in an IM-like application feel especially bad because it's like they're intruding on you and your friends' social space.

   

  P.S. windowslivepreview is currently giving me ASP.NET errors.  somebody left debugging trace information open to the public, and also apparently the Windows Live team can't figure out Entity Framework 3.5 either ... 

• E2E: Erik Meijer and Cormac Herley - Rational Rejection of Security Advice by Users

  Apr 24, 2010 at 8:12 AM

  I'm really afraid of what will happen when computers and the internet become more and more integrated into our social and personal identities, the physical world (what Butler Lampson called "embodiment" in another of your videos) and eventually even our physical bodies.  The security infrastructure we have seems hopelessly inadequate to the task, and I fear it will take a disaster to make people serious about fixing it. 

• Introducing Docs for Facebook: Making Your Documents Social

  Apr 22, 2010 at 8:11 AM

  I can't watch the video atm, but would it be possible for any third party (maybe with the appropriate Sharepoint licenses or something) to run the Office Web Apps on their server and integrate them into their public site like you've done with Facebook?

• First Look: Windows Phone 7 Series Hands on Demo

  Feb 15, 2010 at 2:28 PM

  I like the aesthetics of the UI, please don't muck it up with gradients and other junk like this guy is suggesting.  But yeah, some of the transition animations seem a bit slow (to cover up load times?) and touch responsiveness seems dubious.  I guess there's still time to improve performance, so we'll see.

• Juan Chen and Nikhil Swamy: FINE, Functional Programming for End-to-End Security Verification

  Dec 10, 2009 at 12:34 PM

  Sounds interesting -- will watch later ...

• First Look: Streetside in Bing Maps

  Dec 03, 2009 at 10:51 AM

  Why do you think an implementation based on SVG et al wouldn't use comparable resources if it were doing the same things?

• IE 9: First look at the new JS Engine

  Nov 20, 2009 at 8:24 AM

  Office 2010 = 2010

  IE9 = 2011

• IE 9: First look at the new JS Engine

  Nov 19, 2009 at 2:32 PM

  It will actually be more like 2.5 releases behind by the time IE9 is released, since MSFT will be well into Windows 8 development by then.  That would go further back than any previous release of IE has gone with OS support.

• IE 9: First look at the new JS Engine

  Nov 18, 2009 at 11:48 AM

  Remember IE9 is still probably 18+ months away.  The market share figures should be different by then (or at least Microsoft hopes they will be).  Besides, people who are OK with sticking with XP are probably OK with sticking with IE8 (or other browsers).

See more comments…