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 ...
Comments
-
-
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 AMI'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.
-
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?
-
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 PMSounds interesting -- will watch later ...
-
Why do you think an implementation based on SVG et al wouldn't use comparable resources if it were doing the same things?
-
Office 2010 = 2010
IE9 = 2011
-
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.
-
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).