Thursday, 11 February 2010
F# news
Hot on the heels of the RC release of Visual Studio 2010 is the latest release of F# (here). The version number has now been bumped up to 2.0, so this represents a big milestone in the productization of F#. Well done Don and Co!
[If you plan to install it, please read carefully Don's advice about deprecated features at the bottom of the post.]
[If you plan to install it, please read carefully Don's advice about deprecated features at the bottom of the post.]
Monday, 8 February 2010
Mobile madness
There's been some discussion in the blogosphere about the screens that will be appearing on mobile phones in the near future. Much of this has been thought to be impossible, but take a look at this phone, just announced. OMG: a 1280x1024 4-inch screen! That's crazy!
Friday, 5 February 2010
Wednesday, 3 February 2010
Lost in translation
Some people will know that I'm quite keen on source-to-source language translators. I read today that the facebook guys have just built a translator from php to C++, called Hiphop. By doing so, they get a 50% reduction in CPU usage.
Red
Last weekend, Mateja and I went with our artist friend, Jo, to see "Red", a play about Mark Rothko by John Logan. It was fantastic! It's intense theatre: just two actors (Alfred Molina and Eddie Redmayne) and a very spartan set (the inside of Rothko's studio). However, you are completely spellbound for 100 minutes.
It's essentially like a philosophy lecture: it tackles very interesting questions about art and artistic intent. Why make art? Who's art for? What is art for? How can art be subject to fashion? At least for me, the heart of the matter is exploring the paradox in Rothko's work: that from a distance it looks simple, but when you study it closely, it is intensely complex.
The performances are astonishing - the scene where both characters "prime the canvas" is particularly memorable, with both ending up drenched in blood-like paint.
Another fantastic play at the Donmar!
It's essentially like a philosophy lecture: it tackles very interesting questions about art and artistic intent. Why make art? Who's art for? What is art for? How can art be subject to fashion? At least for me, the heart of the matter is exploring the paradox in Rothko's work: that from a distance it looks simple, but when you study it closely, it is intensely complex.
The performances are astonishing - the scene where both characters "prime the canvas" is particularly memorable, with both ending up drenched in blood-like paint.
Another fantastic play at the Donmar!
Tuesday, 2 February 2010
Interesting bug
One of my research areas is verification of software. We'd like to check that software does what it is intended to do. This is tricky. Part of the problem is specifying what your intent was in the first place. Picking the right language to do this is important. A recent example in Birmingham shows a different language problem surrounding software bugs.
Subscribe to:
Posts (Atom)
