gmb://blog

2011: music

2012-01-06T02:23:00.001-08:00

Happy New Year! Wishing you a great 2012!

Over the holiday period, I was looking back over 2011. One of the things I enjoyed doing was seeing some great bands play live. Whilst Cambridge is not the most hip place, we get quite a few good bands playing. In 2011, I saw:

White Lies [Great! Saw them first supporting Glasvegas at the Junction, so fun to see them now they have hit the big time]
The Hold Steady [Definitely the loudest gig of the year; Matt and I got right down the front]
Warpaint [Hot! Love these ladies...]
Wild Beasts [Breathtaking. Really love their album. Go and treat yourself...]

I also went to Glastonbury, which was fantastic. Highlights there were U2 (natch), Coldplay, Pulp, Metronomy, The vaccines, and many more. I also played in a gig, although not at the Junction, but that is one of my hopes for 2012!

Thanks to Matt for being the Gig Master!

New WinPhone 7 advert

2011-02-23T02:01:00.000-08:00

It seems that there will be some new Windows Phone 7 adverts. This one features my favourite new feature: the "I'll be a little late button". When you view a meeting in the calendar a little button with a picture of a running man appears at the bottom. Click that and it emails the other recipients a boilerplate note saying that you're on your way and will be a little late. Anyone who knows me, knows how much I will use such a feature!

Semantic subtyping with an SMT Solver

2010-12-05T13:47:00.000-08:00

After what seems like a very long time, I'm happy to report that - just in time for the holiday season - the extended version of our ICFP paper is now available (here). Enjoy!

XML vs the web...

2010-11-25T03:30:00.000-08:00

According to James Clark, the web is winning. Or rather, JSON is winning.

[Speaking as someone who's spent a long time dealing with XML in programming and query languages, I'm not surprised. XML comes from good intentions, but what was delivered was broken. As Phil Wadler and Jerome Simeon put it:

So the essence of XML is this: the problem it solves is not hard, and it does not solve the problem well.

]

The joys of SQL

2010-05-05T05:35:00.000-07:00

Verity Stob on SQL: here

(I think if you use your favourite search engine you'll find quotes from my database course where I have less than complementary things to say about SQL! These quotes were taken without my knowledge by the students in the audience.)

Shipped!

2010-04-13T07:14:00.000-07:00

Yesterday, Microsoft launched Visual Studio 2010 (in particularly nice boxes!). I just finished installing it on all my machines - I recommend you do too:-) Amongst many features, you get a nice improvement to C#: dynamic types (as detailed in our forthcoming ECOOP 2010 paper). You also get a whole new language: Visual F#. Congratulations to Don Syme for probably the biggest tech transfer out of our research lab.

(Unlike other companies, Microsoft clearly loves multiple programming languages!)

Design matters!

2010-03-17T07:15:00.000-07:00

Please, somebody, start marketing this!

Congratulations Chuck!

2010-03-09T06:48:00.000-08:00

MSR's Chuck Thacker has just been awarded the 2009 ACM Turing Award - which is the "Nobel Prize" for Computer Science. This is richly deserved - Chuck essentially built the first machine that we would recognize as a PC (The Xerox Alto) and the first Tablet PC, and many other contributions besides. A worthy winner (and the fourth recipient from MSR!).

Bummer

2010-03-01T16:01:00.000-08:00

HD2 Not getting Windows Phone 7 Series OS - Official

Project Natal

2010-02-26T06:06:00.000-08:00

I've been surprised to meet up with people recently who haven't heard about Project Natal. Err...guys...this is like the coolest thing ever!! [Even better is that some of the key technology comes from our lab!]

I just found out that we have a nice webpage full of cool videos here. Once this comes out, it's time to buy an XBox!

F# milestone

2010-02-25T08:05:00.000-08:00

I've blogged earlier about important F# milestones. Here's another one. I went to make a mug of peppermint tea this afternoon, and it seems that F# has reached the important milestone of Mug Manufacture. Whoo! Congrats Don and co!

Windows Phone 7 Series

2010-02-15T14:15:00.000-08:00

Like many people I was anxiously waiting for news from Barcelona concerning the next generation of MS Phone.

I have to say I'm pretty impressed. You can watch a nice video at Channel 9 here.

I blogged before about how nice the Zune HD UI is, so I'm really pleased to see that this look-and-feel has been deeply embedded.

Modern Times

2010-02-14T12:43:00.001-08:00

I took the girls yesterday to see the latest exhibition at Kettle's Yard: Modern Times responding to chaos. We all really enjoyed it - the girls sat on the floor with their sketchbooks and copied the pictures they liked. It's a very interesting collection of drawings and film, combining some well-known artists (de Kooning, Mondrian, etc.) with some lesser-known artists (including some very recent work. My favourite was a lovely piece by Katharina Hinsberg.)

Apparently the subtitle refers to the times that the pieces were made. I'm not sure this really works, as many of the pieces don't seem to refer to that chaos at all. However, as an exhibition it's really very good. (I'm already planning to sneak out one lunchtime and see it without the kids!)

Small

2010-02-11T08:01:00.000-08:00

I take my hat off to this chap for his interior design of his 19.5m2 apartment!

F# news

2010-02-11T01:56:00.000-08:00

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.]

Mobile madness

2010-02-08T13:10:00.001-08:00

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!

I'm off

2010-02-05T08:34:00.000-08:00

OMG! Muji have made a village? I need to move.

Lost in translation

2010-02-03T07:14:00.000-08:00

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

2010-02-03T06:42:00.001-08:00

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!

Interesting bug

2010-02-02T09:03:00.001-08:00

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.

Researcher language

2010-01-25T14:03:00.000-08:00

This (from XKCD) is so accurate, it's scary :-)

Cambridge experience

2010-01-18T13:41:00.001-08:00

It's very easy to take for granted living in Cambridge. But then something happens and you realize how lucky you are.

On Saturday I took the girls to Evensong at Kings College Chapel. It was a special Evensong to honour Sir David Willcocks' 90th birthday. Sir David himself conducted, including some of his own compositions. It was a beautiful occasion with three choirs (Mateja was singing in the CUMS choir).

The girls found it a little long, so I distracted them by getting them to look at the dragons and dogs carved on the walls. Of course, the interior of the chapel is one of the greatest interiors in the world! Sitting there, listening to some wonderful music, in the magnificent surroundings of the chapel, made me think how lucky we were.

On Sunday evening, we went to the light show which formed the finale for the University's celebrations for its 800th Anniversary. It was quite stunning:

Appropriately for a finale, the light show focused on current work taking place at the University.

Form vs function

2010-01-08T02:27:00.001-08:00

Here's an interesting mobile phone form factor from Motorola.

Porridge

2010-01-07T07:40:00.000-08:00

The family breakfast is the one meal I worry about (although only a little). We're always very tight on time, especially as Mateja and I need espresso coffee to wake us up. The girls are keen on cereal, but I recently watched a documentary on breakfast cereals which revealed that they are pumped full of salt, sugar, and generally don't have the health benefits that some advertise.

The breakfast du jour is porridge. Everyone's talking about it - I noticed last night that even M&S carry porridge pots, where you just add boiling water... Unfortunately the girls are not that keen on it. I have been wondering whether I've been making it correctly, so I was interested to read this in today's paper. [Even though it's one of Satnam's favourite, I may well skip the nip of whisky!]

New year, new phone!

2010-01-06T14:04:00.000-08:00

Happy New Year!

I have celebrated the new year by upgrading my mobile phone. I confess to agonizing over my choice, and I apologize to my colleagues who I have bored silly with my research into phone size, processor specs, and endless review comparisons. My previous phone, an HTC Touch, has served me very well, but I really wanted to get a new contract with a decent data component so I could fit the "3 screens and a cloud" model that everyone's talking about.

Of course, I could have followed half the planet and gone with an iPhone. But there were three things against it: (i) the contracts are expensive; (2) its Outlook support is not quite rich enough for me; and (iii) it actually doesn't work that well as a phone. (All my friends with one, comment that it frequently drops calls and reroutes calls straight to voicemail.)

These three constraints are quite hard to solve :-) In the end, I am essentially stuck with needing another Windows Mobile phone. Luckily HTC have been working hard to make WinMo a more sexy proposition. So, I have gone for the HTC HD2. It's a very nice phone - HTC have re-skinned WinMo 6.5, making it much more finger friendly. Moreover, the HD2 has an amazing 4.3", 800*480, capacitive screen. Yes, that's right: multi-touch on a WinMo phone!

So far, it's been a nice experience. The only downside I've noticed is that the 3G coverage for Vodafone is a little patchy. There are a few bugs that I've tripped over, but I'm looking forward to version 2 of the ROM, which has been leaked here; it looks great.

[I have treated mine a bit better than this guy!]

F# and accelerator

2009-12-15T08:51:00.001-08:00

My colleague, Satnam, has just set up a blog and posted a neat article about using v2 of Accelerator with F#.

Mozilla>>Bing

2009-12-11T02:21:00.000-08:00

Here's an email I wouldn't have expected to see.

.720

2009-12-10T04:33:00.000-08:00

Reading some fluff about what the "Xbox 720" might look like reminded me that I've resurrected the great-great-...-great-grandfather of the DS recently. When I was last at my mother's house I found my old Pocket Scramble handheld in a cupboard. Finally I got round to getting hold of some LR44 batteries and, hey presto, it's working again:Many happy memories associated with this game. I remember I also used it as my alarm clock:-)

Trip Report #3

2009-12-09T01:50:00.001-08:00

One of things everyone does when visiting the mothership is go to the Company Store. On top of copies of software and books, there's also various Microsoft branded merchandise. (My manager has the Microsoft "Brain in a Petri Dish" in his office:-))

Most exciting for me was the opportunity to play with a Zune HD. I was completely blown away. It is a fantastic device. Clearly it's up against the iPod Touch, but for me it is a clear winner. Its UI is nicer (in fact more than this, I think it's a revolution in UI design), the screen is vastly superior, and it's wonderful to play with a Windows device with a multi-touch screen!

There's only one question: Why can't I buy it in Europe? I wish I had an answer to this:-(

Tiger

2009-12-09T01:47:00.000-08:00

There was a lot of TV coverage of the Tiger Woods "story" when I was in the States last week. None of them were as good as this from Taiwan.

Trip report #2

2009-12-04T14:08:00.000-08:00

I'm just wrapping up another wonderful visit to the mothership. In the spirit of the recent Thanksgiving, I have to say that I'm very privileged to have Mads and Erik as colleagues. We really thrashed out lots of details of our paper, so now what remains is the writing around the details. It's going to be tough but I'm optimistic.

Moreover, we have lots of new ideas to push on. Much of 2010 is now sorted I suspect :-)

23 June 2010

2009-12-04T14:04:00.000-08:00

..is clearly going to be a difficult day in our house. (here)

Trip report #1

2009-12-03T06:04:00.000-08:00

So far I'm having a great visit. The fact that I missed a day seems to be balanced by the fact that I'm currently awake by 5am every morning :-(

Yesterday, I think (hope) we made the finishing touches to the technical detail of our C# 4.0 paper. Now we have a big rush to write all the surrounding text. I anticipate a lot of typing on the flight home!

I went to a talk by Manuel on Code Contracts, which is the coolest stuff. If you are a C# developer you should download this package and play. It allows you to write pre- and post-conditions in your code and use them to generate runtime tests, do compile-time verification, and generate documentation. It's very nice. Moreover, this extension is through a library, so it really is the C# compiler that you know and love. Totally awesome. (Although I have some ideas to discuss with Matt when I get back about how to make it even better!)

Last night, I had a great meal with Nik at Trellis in Kirkland. I had the steak which was spectacularly good, although I would have served some potatoes amongst the other root vegetables. But the meat was divine.

Hello Seattle

2009-11-30T18:17:00.001-08:00

You'll be pleased to hear that I managed to catch today's flight :-) So I'm now in the Hyatt in Bellevue attempting to stay awake.

I arrived to heavy rain and stationary traffic on the I-405. It's good to be back!

M is for Missed

2009-11-29T13:06:00.000-08:00

In spite of checking in on perfect time, I managed to lose track of time in Wagamama in Terminal 5 and miss my flight to Seattle :-( Doh!

I was cheered though by a call to my mate Richard whose first reaction was "at least you'll get to watch Match of the Day 2." What a philosophy:-)

Luckily I got a seat on tomorrow's flight - let's hope I manage not to screw up again!

Mahler 8

2009-11-29T12:59:00.000-08:00

Last night, I sat in the splendor of Ely Cathedral and heard Mahler's wonderful 8th Symphony. It's known as the symphony of a thousand voices given the vast numbers of performers. Mateja was in one of the choirs. It was a sensational concert - the combination of the music and a perfect view up the octagonal tower was breath-taking!

Belgrade

2009-11-25T11:14:00.000-08:00

Last week I went to a very nice meeting in the beautiful city of Belgrade, Serbia. Sinergija is a huge IT conference for this region, that typically attracts 1,500 delegates - although with the current economic downturn this year's attendance is a bit lower. Sinergija started on Wednesday, but the day before was a special meeting for the "Influencers" from the CEE region. I gave the keynote at the meeting and spoke about Microsoft Research in general and the Cambridge lab in particular. I spoke about Georges's fantastic work on formalizing the four colour theorem using Coq; as well as Byron's work on termination analysis. Samin kindly installed Terminator on my laptop, so I was able to demo it spotting the Zune Leap Year bug! I switched gears (from all that proof!) to show Nic's work on Dragonfly (we watched a video showing Nic build a simple MP3 player in about 1 minute!).

Anyway, the talk seemed to go down well - I certainly had fun giving it. I did get collared by one delegate who wanted to productize some piece of MSR software but was prevented by the standard MSR download agreement, and hadn't been able to get hold of anyone to see about licensing the software. (He wasn't very happy.) It made me realize that some of the recent moves in MSR to license IP to third parties when its not appropriate to use in a MS product is probably a good move although presumably coming with considerable overhead.

In the morning before the Influencers meeting, Rane, Jose and I went on a rapid tour of downtown Belgrade. We started at the Kalemegdan fort; here's me, Jose and Rane at the top of the tower:

and here's the view from the top:

We then walked through the park into the centre of town. Having reached the revolution square, we then wandered around soaking up the atmosphere and the sun (Belgrade was unusually warm at the moment - it was 18C when we got back to the hotel at 11am!).

At one point we came across a huge queue of people. We followed the queue for a while, but soon realized that there were at least 1000 people in the queue. I stopped someone to ask what it was. It turned out that the head of the Serbian Orthodox Church, Patriarch Pavle, died on 15 November and was lying in state. The queue was to see the body. It was quite moving to see. Interestingly, sitting in the airport waiting for my plane I was passed by lots of priests from the Orthodox church arriving for the funeral.

On my last night, the local host Zlatko took us to a very nice restaurant called Zaplet. We had a jolly meal; I ate an exceptional pumpkin soup and a huge plate of good cevapi (although I still think my mother-in-law's are the best!) with ajvar, washed down by a very good Serbian wine (Carigrad). Here we all are:

When I booked my flights, I thought I would be helpful and fly on the national airline, JAT, instead of BA. I'm not too sure this was a great idea - the JAT planes are very old and in poor condition, the tickets are NOT cheap, the service is poor (I was served the worst cheese sandwich in the world on the way out; the second worst being the one I had on the return flight!); and the flight was delayed in both directions (as far as I could tell, we were delayed leaving Belgrade because they couldn't find the pilots - it certainly wasn't because the airport was busy!).

Cinnamon

2009-11-24T14:35:00.000-08:00

I've often wondered about the US obsession with cinnamon when I'm over there - in particular, my teeth ache just walking past a Cinnabon. It seems I'm not alone in thinking this.

A good day...

2009-11-24T01:24:00.000-08:00

You know it's going to be a great day when you're woken up by your daughter shouting: "Daddy, I dropped the dolly in the toilet. It's floating...":-)

Slovenia in the world cup!

2009-11-20T09:09:00.000-08:00

On Wednesday, the mighty Slovenia overturned a 2-1 deficit against the mighty Russia by winning 1-0 at Maribor and thereby qualifying for the 2010 World Cup!! Woo-hoo! It was a very exciting game: luckily Jure had told me which forums to read to find the "magic" URLs that were streaming SLO-2 on the internet, so I could watch the game.

Hopefully Slovenia won't meet England in the tournament proper:-)

Outlook goodies

2009-11-13T16:58:00.000-08:00

I'm a big fan of Outlook; it's one of our best apps. I just came across this wonderful whitepaper entitled "Best practices for Microsoft Outlook 2007". I got a lot out of reading it, and have implemented some of the tips already. Maybe you'd find it interesting too; even if you don't run Outlook?!

Awesome

2009-11-09T15:25:00.001-08:00

I was feeling a little low today for some reason. Some of the observations here cheered me:-) [For example, #864]

5 Megapixel office

2009-11-05T05:29:00.000-08:00

I've just been lucky enough to get hold of a third screen for my office. So I now have 3600*1600= 5,760,000 pixels to fill! It looks like this:

It really is very nice, and as one would expect it takes a little getting used to. Unlike with two screens, I'm now able to have my main focus always in the central screen, and use the other two for more peripheral activities. As you can see above, the central screen has a big emacs buffer (with OCaml code in it!) and the side screens have command prompts and outlook, along with misc other things. You can also see in the bottom right of the right-most screen that I'm running the webcam app so I can see who's at my door *before* turning round. (what a geek!)

Real Jo Tunmer

2009-11-02T08:08:00.001-08:00

I forgot a link to Jo's website in an earlier post. Oops! Here it is.

We love Jo's art, so check it out!

Little Boots

2009-11-02T04:00:00.001-08:00

Our household is very keen on Little Boots. We love her album Hands. The girls do very impressive versions of Meddle and Earthquake - normally singing along to my phone whilst we're waiting for the bath to fill! So, we were very excited to hear a few months ago that she was going to be playing the Junction in Cambridge.

We went last week. I'm happy to say that she's even better live than recorded. It was a fantastic gig - she's enormously talented and her songs work very well in a live context. It was essentially a huge disco! Victoria also wore some kicking outfits!

Lightspeed Pascal

2009-10-28T10:35:00.000-07:00

Claudio and I were talking the other day about "coding in the old days". I mentioned my happy memories of developing the IC Hope interpreter using Lightspeed Pascal on a Mac.

It was a very nice experience - a nice IDE with very fancy (for the time) debugging support, including what one would call edit-and-continue nowadays. I found this review in the MacTech archives. Looking at the screenshots left me with a nice warm feeling :-) I like the concluding statement:

I personally think these products will
revolutionize how software is done on the Mac.

Clearly true, but not just for the Mac!

House porn

2009-10-28T08:22:00.000-07:00

Finally, I've found a house in a part of London I like. Looks like I'll be saving for a bit longer!

Lily from the ashes

2009-10-27T02:44:00.000-07:00

A long time ago now, I worked on an EPSRC grant that I co-authored with Andy Pitts. I was first an RA, but then I got a lectureship at Warwick, so I became a co-PI and we had the amazing good fortune of finding Claudio Russo, who took over as the RA. (Claudio and I are now colleagues at MSRC.)

The grant was on a linear lambda calculus (actually more like a linear PCF) that we dubbed Lily. We did quite a lot of work on Lily, but for one reason and another we never really published much - just a single workshop paper. (There's an A4 ring binder on the shelf above my head full of unpublished calculations of one sort or another.) Interestingly, this paper has had some impact and a number of people, including Alex Simpson and Lars Birkedal, have done some cool work following on from it.

Claudio actually implemented Lily - but we never released the code. In fact, I don't think we even documented the fact that we had implemented it!

Anyhow, I'm happy to report that Lily has risen from the ashes! Claudio and I have translated the code from Moscow ML to F#, and late yesterday afternoon, the familiar Lily REPL had returned:

Watch this space. Hopefully in a couple of months, I'll be able to explain why we're playing with Lily again. Either way - even if our experiments fail - I promise to release the bits!

Non-dynamic update

2009-10-27T02:19:00.000-07:00

One of my research interests is dynamic software updating: the ability to update code whilst it is still running. (Finally, an end to those "please shut down this application whilst update is applied" messages!) Clearly desirable, but it's hard to support (although IMHO our UpgradeJ proposal is wonderfully elegant :-))

Anyhow, we have a nice Panasonic LCD TV at home - it won lots of awards at the time. On September 30, the freeview service in the UK (digital TV over the air) was upgraded. Actually what happened was that some of the channels were moved around in preparation for Freeview HD. Unfortunately, after retuning my TV, we could no longer receive a couple of channels. Even worse, one of these was CBeebies - the BBC's digital channel for some children. You can imagine how happy the girls were.

After much digging around on the interweb, I found a number of grumpy Panasonic TV owners. It turned out that the retune had revealed a bug in the TV's software. So we needed an update. Unfortunately, to get this update you needed to email customer services, who would put you on a waiting list. Eventually a PCMCIA card arrived in the post:

You then plug the card into a recessed port at the back of the telly.

Oops - quite a lot of dust there :-) Then you switch on the TV and get a wonderfully 80s-like screen:

At the end you wonder at the new-found Cbeebies channel, before putting the card into another jiffy bag and sending it back to Panasonic so they can post it to the next person on the list.

Another phrase used for DSU is "hot swapping". I guess this process could be called "cold swapping".

Fake Jo Tunmer

2009-10-24T05:11:00.000-07:00

Yesterday, I was just leaving the drop-off area at Stansted when I took a call from my friend Luke. Unfortunately his wife was ill and he invited me to take her ticket for a concert that evening at the Corn Exchange. In fact, he didn't even know what the concert was! (It turned out to be Newton Faulkner.)

It was only when Luke knocked at the door, that I realized that this was a group outing that Jo had organized. So I had to be Jo for the evening: vivacious, curvaceous, aristic, and everyone's favourite girl from Essex! Quite a job for a skinny, computer geek from Berkshire! However, I like a challenge.

It was a fun concert: Newton is amazingly (depressingly) talented - playing virtuoso guitar, singing, playing foot keyboard and triggering samples, all at the same time. It was very impressive, and given that he's by himself, he really got the whole crowd going.

We ended the evening with Vicky's favourite: a jug of Long Island Iced Tea at the Maypole. A nice evening.

Windows 7

2009-10-22T02:16:00.001-07:00

I've now completed the upgrading of my machines to Windows 7 and have been using it for a couple of weeks. Overall, I am very impressed. Both my desktop and laptop seem faster, start-up times are much shorter, and the graphics seem slicker. I like the "make this window half the screen" feature on my laptop, but it doesn't work so well on my multiple-screen desktop machine. I'm getting used to the new style taskbar - I started not liking it, but after a week or so I warmed to it; so it's probably just one of those things you learn. (I'm still puzzled by why the notification area icons are all white though!)

But I think the Windows team have done a great job. Go 7!

F# 1.9.6.16

2009-10-14T02:25:00.000-07:00

I just upgraded my desktop to Windows 7. It's really very nice - my machine is much more responsive now. I think this OS will make people happy (compared to the last one!).

As part of the upgrade, my instance of F# got upgraded to 1.9.6.16. I then went to recompile some code and it failed. It turns out that if you use FsLex/FsYacc in your project (a wonderful feature IMO) then there's a slight glitch in this version of F#. You need to do two things to get it to work again:

Copy c:\Program Files\FSharp-1.9.6.16\bin\gac\FSharp.PowerPack.Build.Tasks.dll to C:\Program Files\MSBuild\FSharp\1.0\FSharp.PowerPack.Build.Tasks.dll
Close and restart Visual Studio [this last step is vital]

If you do this, then Lex and Yacc will work from VS as before. Hurrah! I'm now a happy F# developer again!

Bat for lashes

2009-10-05T04:56:00.000-07:00

I went with my friend Luke to see Bat for Lashes at the Corn Exchange last night. It was a fantastic concert - Natasha is not only a brilliant vocalist, but she has real stage presence. A very different gig from when I was last at the Corn Exchange, but she really moved the audience. She's very well supported by an incredibly tight band, including Sarah Jones, from NYPC, who's the best drummer IN THE WORLD as far as I'm concerned. Charlotte Hatherley was playing a particularly nice guitar which I couldn't quite identify - lots of dry ice! - will have to surf to find that out.

The gig could have only been improved with kids on BMXs on stage for What's a Girl To Do?!

Miss Aniela

2009-09-25T10:01:00.000-07:00

Thanks to Tim for pointing me at the work of Miss Aniela.

Cosmetic Neurology

2009-09-23T02:25:00.000-07:00

There was an interesting article in Sunday's paper (here). It's about the increasing use of drugs like Adderall, Provigil and Ritalin by healthy people as cognitive enhancers. In some senses this isn't that surprising - after all we all drink coffee to stave off tiredness - but there does appear to be a growing trend for so-called neuro-enhancement. Surprisingly (or not) there's not a lot of scientific study of what these drugs do to healthy people, and whether they really enhance cognitive function. However, there's lots of these drugs around, so it's not hard to get hold of it.

Interestingly, the users are not just college students who need something to keep awake as they're late on an essay assignment because they've been partying. (Nothing new here!) But rather, there is a growing trend of young professional users, who feel under increasing pressure to be more productive (both absolutely and relatively to all those 20 year-old whizz-kids in Mumbai). This cultural perspective seems to me almost as interesting - it's certainly not clear that cosmetic neurology is philosophically any different to cosmetic surgery.

Anyhow, take a look at the article - it's a little long, but I found it fascinating.

Microsoft everywhere

2009-09-21T02:07:00.000-07:00

On the way to work this morning, I stopped at the bank to get some cash. (The Country Fayre at Parker's Piece having cleared me out! [Grr...£4 a turn on the bungie-trampolines...]) Imagine my surprise when I was faced with an XP-Pro screen saver!

Better than a blue screen I guess :-)

Conference search

2009-09-10T01:48:00.000-07:00

Anyone know of a decent conference in South Africa next summer?

Luca

2009-09-09T10:16:00.000-07:00

My manager is Geek of the Week!

Two cultures

2009-09-07T13:47:00.000-07:00

It had to happen. This weekend our harmonious, two-cultures family was momentarily divided (well, for ninety minutes...). Yep, for the first time in history, Slovenia played England at football :-) We watched it on the hi-definition TV at Jure and Petra's place, so I was heavily outnumbered by Slovenes (me and the two halves of our two girls against three adults, one teenager, two and two-halves kids and one baby). I'd like to think that I set the early pace with a stirring rendition of God Save The Queen, which blew away the frankly weak singing of Preseren's Zdravljica!

In spite of my and Richard's confidence in a 5-1 scoreline; the game was actually pretty good. Slovenia played really rather well - nice flowing movement, which showed up some alarming holes in our defence. In the end, England were 2-1 winners. England had plenty of chances of score (and should have really scored 4) but Slovenia possibly deserved another goal. Moreover, England's first goal was a terrible refereeing mistake - there was no foul; not even the England players claimed it. That said, I still don't buy Jure's assertion that Slovenia morally won the game!

Anyway, game over and harmony restored in our household. (I was particularly impressed by Hana, who when asked at the start of the game who she supported, looked at me, looked at Mateja and then said "I don't know" and then ran off to play with her friends. A diplomat in the making!)

LG watchphone

2009-08-28T02:09:00.001-07:00

I'm strangely attracted to the new LG watchphone.

Short film in powerpoint

2009-08-25T01:38:00.000-07:00

There's something appealingly retro about this short film created entirely within Powerpoint.

James in The New York Times

2009-08-24T03:01:00.000-07:00

There's a nice piece in Saturday's New York Times that features an interview with James.

Hamlet@Donmar

2009-08-24T02:33:00.000-07:00

On Saturday we went to see the last performance of Hamlet, which brings to a close the year-long residency of the Donmar at the Wyndhams (Donmar West End).

We *really* enjoyed this show. Jude Law is staggeringly good as Hamlet. I've not been overwhelmed with some of his film work; but it's clear that he's an outstandingly good actor. Interestingly I read his interview with Michael Grandage where he mentioned his love of ballet. I have to say that this really comes across in his performance. It's full of graceful movement - especially with his arms and hands. He's a physical actor!

For such a long and brilliant play, there are so many great moments but let me mention my three favourite:

The "To be or not to be" scene. This was the best I have ever seen. Visually it was breathtaking: Hamlet flattened against a huge brick wall, framed by two collosal doors, behind a film of gently falling snow, and intensely lit echoing the introspection of the words. Moreover, I loved Jude's restrained delivery, which really made you listen to the words carefully (a good thing for such a well-known speech).
The "play within the play" scene. Again, visually superb: the players were in all-white, standing on a white carpet, and bathed in intense white light. This really helped to pull you into the scene, to watch for the King's reaction and to observe Hamlet's emotion and provocation from the side.
The "king's confession" scene. The simplest of scenes: the King kneeling on an empty stage, hands together, praying for forgiveness; but one of the most powerful. I thought Kevin McNally as Claudius was superb.

Now the play transfers to the actual Elsinor Castle in Denmark for a brief run (how cool is that?!), and then on to Broadway. If you have a chance to see it, you should as I think this is a sensational production.

Bye to the Hicks family!

2009-08-14T14:08:00.000-07:00

A sad day today: I just got back from Mike and Kim's place having helped them do the last bit of ferrying around of stuff as they prepare to leave Cambridge tomorrow (and fly back to the US on Sunday). I took Mike for a last beer at The Empress and we had a last curry from the Kismet.

We've really enjoyed having Mike, Kim and the kids here in Cambridge over the past year; it's been great fun. Certainly Hana and Lina will really miss them. Hopefully we'll be able to go to see them in the US :-) Have a safe flight, guys!

Zune HD

2009-08-13T04:06:00.000-07:00

Check out this video of the new Zune HD UI. Wow - that's really cool!

Typed coercions

2009-07-20T06:08:00.001-07:00

I've just uploaded to my web page my latest paper, with Mike Hicks and Nik Swamy entitled "A theory of typed coercions and applications", which is accepted to appear at ICFP in Edinburgh next month. If you're there, make sure you check out Nik's presentation!

The abstract is as follows:

A number of important program rewriting scenarios can be recast as type-directed coercion insertion. These range from more theoretical applications such as coercive subtyping and supporting overloading in type theories, to more practical applications such as integrating static and dynamically typed code using gradual typing, and inlining code to enforce security policies such as access control and provenance tracking. In this paper we give a general theory of type-directed coercion insertion. We specifically explore the inherent tradeoff between expressiveness and ambiguity—the more powerful the strategy for generating coercions, the greater the possibility of several, semantically distinct rewritings for a given program. We consider increasingly powerful coercion generation strategies, work out example applications supported by the increased power (including those mentioned above), and identify the inherent ambiguity problems of each setting, along with various techniques to tame the ambiguities.

Race for Life

2009-07-19T13:16:00.000-07:00

I'm very proud of Hana, who this morning ran the Race for Life 5k run with Mateja. She ran the course without stopping in the totally brilliant time of 30:19! Well done, Hana and Mateja who raised £142.00 for Cancer Research!! [This page is still open for donations!]

A Dolls House

2009-07-19T12:43:00.000-07:00

[Unfortunately, I have been busy so there are a few posts queued up...]

Last Saturday, we managed to catch the Donmar production of A Doll's House. We really enjoyed it. It seems that this version has divided some of the critics, but as someone who didn't know the play at all, the setting of 1900's British politics seemed to fit the play rather well. (It was perhaps unfortunate that some of the dubious political motives had such obvious current parallels.)

Particularly impressive were the performances - everyone was very strong; there was not a weak spot anywhere. For me though, the star was Christopher Ecclestone. He has real presence. He oozed anger and jealousy. He and Tara Fitzgerald turned the notoriously tricky third scene into an intense and entirely believable show of emotion. Fantastic.

Leah Davies, making her West End debut as Emmy, is a star in the making.

F# for C# programmers

2009-07-10T02:27:00.000-07:00

Here's an interesting article to help C# programmers get used to F#.

Linux++

2009-07-10T02:24:00.001-07:00

The tanks are on the lawn. (here)

Novelty note: Whilst we're on the topic of a browser as a multi-principal OS, let me mention my colleagues' work on Gazelle.

Spending 1p

2009-07-09T03:54:00.000-07:00

One of the "features" at Glastonbury are the female urinals. If you're scratching your head at the idea, here's a picture to help you:

Kasabian

2009-07-08T01:31:00.000-07:00

Respect to my buddy, Matt, as he was clever enough to book a couple of tickets ages ago to see Kasabian, who were playing at the Cambridge Corn Exchange last night. Wow! It was a really great gig. We caught a few tracks from them at Glastonbury, but it was fantastic to see them in a smaller (and much sweatier!) venue. They really are very tight live - reminded me of seeing Oasis at Earls Court with my brother in 1995. Tom is, I think, a modern-day Mick Jagger. Sergio plays a very nice Rickenbacker 481.

You should check out their new album (spotify link).

Glastonbury

2009-07-02T03:25:00.000-07:00

About two weeks ago I got a phone call from The Guardian. In a moment of vanity, I wondered what they wanted a comment on! In fact they were calling to tell me that I had won a pair of tickets to Glastonbury!! Hurrah!! It took Mateja and me a little while to do some research to decide to go, but after a reassuring tutorial from Matt "Mr Glastonbury", we decided to go for it.

Thanks to the generosity of Jo and Luke, and Andrew and Lisa, we were able to cobble together enough equipment for the family to go last weekend.

We had a fantastic time! We set off late morning on Friday (luckily Hana's school was closed for a teacher training day) and arrived an hour later than expected at Glastonbury. Unfortunately everyone else had already arrived, so we didn't get into the car park we had a pass for, nor the next, or the next and so on. In the end we were about a mile and a half away from pedestrian entrance D :-( Moreover, it was a mile and a half through fields. In fact, a mile and a half through very muddy fields. After a long and painful hauling of the gear we got in, and managed - against all predictions - to get a great pitch in the family camping area by the entrance.

Although we were a little apprehensive to start with - we all had a wonderful time. We spent most of our weekend in The Kidz Field - which is a huge area full of children's activities. The girls had a ball. This was pretty much their dream location - rides, slides, music, craft activities, all-day entertainment on the stage (including Andy from CBeebies!). Mateja and I could relax and let the girls enjoy themselves.

We did get to see some music (although if you really want to hear lots, then you can't really go with children): Lady GaGa; The Ting Tings; Kasabian; Bruce Springsteen; White Lies; Status Quo. Unfortunately we did miss some acts that we were VERY keen to hear: Blur; Lily Allen; Little Boots (the girls' current favourite - we listened to "Meddle" around 10 times on the way down). But all in all, we returned home on Sunday night, tired, dirty but happy.

Here are some snaps:

Time to put the wellies on!

Did we forget anything? :-)

Let's go find the festival!

Waiting for Lady GaGa in the mud!

A tiny fraction of the tents (we had no idea what 140,000 people in tents looks like).

Andy from CBeebies with enthralled children at his feet:

The wonderful Kidz Field:

Making drums:

Making music with the drums:

The pyramid stage (Kasabian):

The coolest girls watching White Lies:

Muffins for breakfast!

There's a lot of rubbish left by the morning!

Quo-tastic:

A perfect day - tutus and balloons:

We made it back to the car!

Blue is the new black

2009-06-24T03:24:00.000-07:00

It appears that I am thicker than even I thought. The other night, whilst getting the girls ready for bed, I managed to slip down some stairs, falling into the bathroom and landing with my head on the side of the changing table. It was pretty dramatic - a fair amount of blood, which the girls kindly wiped off me whist I lay on the floor. I expected to start feeling faint and pass out, but nothing much happened, so whilst holding a towel to my head I finished getting the girls ready for bed, read them a story, tidied up the bathroom and went downstairs.

Had I not been alone, I would have probably gone to A&E to have it checked, but Mateja was singing at Southwark Cathedral and didn't get back until 11:30. I could have gone then, but I decided to watch an episode of Grey's Anatomy instead :-)

The next morning, as it was still bleeding a little, I decided to go to the GP surgery. I took Hana to school, picked up my bike from its repair, and then cycled in. The nurse had a look. She called in the doctor. She had a look. She decided that it needed a stitch or two, as even though it's currently covered by hair "...how can I put this delicately? Maybe your hairline won't always stay where it is"!

I was send off for a coffee whilst the doctor cleared some of her list, and I then returned and had two neat stitches put in. This year's colour for stitches is blue; the doctor said "...so we don't miss any when we take them out". Nice. So I'm now a little punky for a week.

Congratulations Viktor!

2009-06-19T05:58:00.000-07:00

In November 2007, Peter O'Hearn and I examined Viktor Vafeiadis' PhD thesis. Reading this dissertation closely, I was blown away with quite how brilliant it was. (Peter was similarly impressed.) It is thus particularly pleasing to see that the ACM SIGPLAN have announced it as a winner of its 2008 Doctoral Dissertation Award. [The first, and only, non-US winner!] Congratulations Viktor!

Wottle

2009-06-18T05:59:00.000-07:00

Microsoft is famous for providing "free soda" for its employees. In Redmond, the soda fridges are huge and carry exciting drinks that you either never or rarely see in the UK. (I'm quite partial to Diet Cherry Coke!) Our fridges in Cambridge are not quite so exciting, and moreover the most popular drink by FAR is bottled water. Unfortunately this large consumption of small bottles of water has quite a big environmental hit. We do have glasses and a drinking water dispenser, but I seemed to be the only person who used this. The environmental hit has been a source of concern for our Green Committee.

This week's Big News is that we are deprecating the water bottles! We have upgraded our drinking water dispensers and staff have been issued with "Wottles". Here's mine:

This is a good thing in my opinion, although I wish the wottles came with a drinking spout rather than a simple lid. You can buy more attractive wottles from amazon.

Dear chairman

2009-06-12T03:31:00.000-07:00

Yesterday we had a visit from our chairman - Bill Gates. It was low-key visit; he arrived after lunch, was shown some demos (including one from my colleagues Satnam and Byron), and then he gave the lab a brief talk about what he's up to (ridding the world of malaria) and some thoughts about Microsoft (MSR is very important to the future of Microsoft - hurrah).

In fact it was so low key, I looked up from my screen-ful of F# code and saw in the reception area, Andrew opening the front door for Bill to come in. I managed to pick up my phone and snap Bill meeting our directors and Maggie (the office manager, and real boss of the building!).

Living in the clouds

2009-06-12T01:32:00.000-07:00

Here's a problem with cloud computing: atmospherics!

Arizona in an RV

2009-06-08T05:05:00.000-07:00

Unfortunately it feels like a long time ago, but we still think often of our wonderful trip around Arizona in an RV. Mateja has now made a more lengthy travel-log, which is here.

Project Natal

2009-06-04T03:26:00.000-07:00

Microsoft has recently announced Project Natal, which is an extension to your XBox that provides controller-free control! It's unbelievably cool - take a look. [Basically, you get a Wii-like experience but you don't need to hold any controllers!]

Even better is that Microsoft Research Cambridge has contributed to this project! For the past year, Jamie Shotton and his colleagues have been working hard upstairs on a "Top Secret Project" (most people in the lab didn't know what it was). It turns out it was the vision system at the heart of Natal. Way cool, Jamie.

Given the current climate of researchers being laid off, it's wonderful to see Microsoft demonstrating what having researchers can do for you.

PS: Here's the announcement at E3.

Credit crunch

2009-05-27T01:39:00.000-07:00

There's an interesting article in today's Guardian (here). It seems that the credit crunch has even hit the jewellery purchasing habits of rappers! Apparently - shock horror - some of it is fake!

The best quote (from "Birdman"):

Times are hard. Ain't nobody rockin it like that no more.

Couldn't have put it better myself.

V

2009-05-22T02:02:00.001-07:00

My brother and I used to love the series "V", that was shown in the early 80s. It was about "The visitors" - aliens - who came to Earth, allegedly in friendship. As time passes people work out that all is not what it seems. First, the aliens are in fact wearing a disguise - they are not beautiful Californians, but lizards in rubber human suits. Secondly, the visitors are actually here to feed on the humans. [I know - but it was better than it sounds!]

Imagine my excitement when I discover that ABC are planning a remake. There's a trailer here. Looking forward to this coming to the UK :-)

DSU in the press

2009-05-20T05:36:00.000-07:00

There's an interesting article in the MIT technology review on a new start-up working on dynamic software updating. (here) My colleagues Mike and Iulian are quoted.

Powerpoint comedy

2009-05-18T06:51:00.001-07:00

I stumbled across this guy on youtube. He's a stand-up comedian who uses powerpoint as an essential component of his act :-)

Down the pub

2009-05-18T02:34:00.000-07:00

I spent a nice afternoon/early evening down The Portland Arms with Mike yesterday. We watched Cambridge United flunk their second play-off in two years live from Wembley:-(

I like The Portland, in particular its shabby chic decor. Mike and I looked around at one point: there were about a dozen people in the pub. The pub has rather nice oak panelling - around a hundred years old. Most people were watching football, but a couple of guys were reading The Observer, and the chap next to us was reading a novel by Ernest Hemingway (IIRC "The Fifth Column and The First 49 Stories"). It's very Cambridge to get beer, live football, Hemingway, current affairs, and oak panelling all in your local pub!

After the game, we went for another Great British Experience: A rather good curry :-)

Expenses

2009-05-15T02:11:00.000-07:00

An interesting article by the reporter who started in motion the investigation into MP's expenses can be found here. [For those not in the UK: the #1 news item here is a "scandal" surrounding the payment of expenses to members of parliament.]

[Update: There are some nice pictures highlighting some of the expenses claims that various MPs have made. Boy, and I thought Microsoft was a good employer - clearly Westminster was the place to get real perks!]

It's that time of the year

2009-05-12T07:55:00.000-07:00

Oh yes.

Programming language history

2009-05-08T01:39:00.001-07:00

There's a hilarious "brief, incomplete and mostly wrong history of programming languages" posted by James Iry on his blog. (The entries for C# and Haskell are particularly funny.)

[Thanks to Andrew for the pointer.]

Tony nominations for the Donmar!

2009-05-07T03:17:00.000-07:00

Well done to James; the Donmar has been nominated for 7 Tony awards for their Broadway production of Mary Stuart!

The Donmar has also recently announced its 2009-2010 season (here in pdf). It's an amazing list - no wonder James is so busy, he's put together a fantastic programme. The fuss in the press has been about Rachel Weisz but I'm particularly excited by A Dolls House (Scully!) and also the world premiere of "Red" (about Mark Rothko and starring Alfred Molina).

Susanna Cech Previtali Viva

2009-05-05T09:09:00.000-07:00

I'm just back from lovely Zurich having examined Susanna Cech Previtali's PhD entitled "Dynamic updating of object-oriented software systems based on aspects". The key idea in the thesis is that an upgrade is a cross-cutting concern. Susanna has built a tool that takes two builds of an application and, if possible, produces an aspect that captures the change from the old version to the new version. The old version can then be dynamically updated by weaving in the aspect. Susanna has (impressively) built this system, using the PROSE dynamic aspect system. She has also undertaken a systematic empirical study using many builds of eight popular open-source Java applications.

Her thesis work is very impressive, so it wasn't a particularly hard decision for the thesis committee:-) She'll be working on a final version of the dissertation over the next few months, so I'll post a link when it's available.

Well done, Susanna!

Retina

2009-05-01T07:43:00.001-07:00

I had my eyes tested last week. No change I'm happy to report. My optician now digitally photographs your retina as part of the test. They can even email it to you! I couldn't resist :-)

Left eye:

Right eye:

Spotify uncensored

2009-04-28T09:22:00.001-07:00

[Thanks to Nick for figuring this out.] I was listening to the latest Lily Allen album on spotify today (here). Lily is partial to the odd swearword, and they were being bleeped out, which detracts from the song a little. It turns out that spotify have both versions of the album, here's how to find it.

First, search for Lily Allen, and then click on her name. You now get the overview/top hits/albums page. Top of the album listing is the latest "It's not me, it's you" (but this is the censored version). To the right of the this is a little downarrow symbol. Click on this and you'll get two versions of the album. The second one (here) is the uncensored version (you can see as track 8 is listed as "Fuck You" instead of "F**k You"). I don't know how one would know the difference if none of the track names were deemed offensive.

Anyhow, I repeat that spotify is Way Cool.

Alex Summers' thesis

2009-04-27T07:38:00.000-07:00

I blogged a while back about Alex Summers' work that I had the privilege to examine. It took a little longer than I expected, but the final version is now available (here). I encourage you to take a look!

Well done Lucy!

2009-04-26T14:05:00.001-07:00

We went to London today to cheer on our friend Lucy, who was running in the London marathon. We waited for her just beyond Cannon Street Station, and after much anxiety on our part (we didn't want to miss her), she came running up to us looking in fantastic form for a first-time marathon runner after 23 miles:

It was a fantastic day in London, warm and sunny, and very exciting with all the runners and supporters. After high-fives with Lucy we walked to St Paul's Cathedral, which impressed the girls. We sat on the front steps in the sunshine drinking lattes and smoothies. Moments like this are what makes London so great!

We then walked to the Barbican to meet up with Lucy, David and other friends/family/supporters. Lucy looked incredibly relaxed and we all munched on pizzas of varying degrees of well-done-ness and drank champagne before we ran off to catch our train back to the sticks.

Well done Lucy!

Office in a shed

2009-04-25T13:38:00.000-07:00

There's an interesting article in today's Guardian. It's about "shedworking" which is, apparently, The Latest Thing (TM). I was particularly taken with the OfficePod; although it would require me persuading the girls to forgo their climbing frame...(never going to happen!)

Spotify

2009-04-21T02:25:00.000-07:00

Like everyone else, I'm being wow-ed by the super coolness of Spotify.

Last night, I was re-living my youth and listening to this.

Weapon of mass frustration

2009-04-17T07:25:00.000-07:00

Now Obama has closed down Guantanamo and is publishing dossiers detailing the Bush administration's use of torture, he is perhaps in need of new and effective measures to pressurize nasty people. I humbly suggest a simple and cheap device guaranteed to drive any adult into insanity within a short amount of time: Hama beads.

Anyone with a small daughter will know about these things. They are small, hollow plastic cylinders in a variety of colours. You place them on pegboards to form a design and then iron them (not forgetting to cover them first with special ironing paper (unlike my friend Andrew!)). This causes the beads to melt sufficiently to bond to their neighbours and, hey presto, you've made a picture. Take a look:

Hana and I made this beauty just before leaving for the deserts of Arizona. It drove me mad! The beads are tiny - perfect for six year-old fingers but a friggin' nightmare for an adult. Plus there are 29*29=841 pieces in there! No child can do this many, so I was left with hundreds to do whilst Hana lay in bed sleeping. Plus, there's never quite enough space on the peg board, so when you get to the end, inserting one in the middle pops out 20 around the edges, and vice versa...arghh...Which sadist devised this stuff?!!

RV manhood

2009-04-16T16:09:00.001-07:00

I'm now a real man[*]:

Yep, that's me behind the wheel of an RV :-) Here's a picture of the girls just after we collected the RV.

We're just back from a really wonderful two-week RV-ing holiday in Arizona (and a little bit of Utah) with our great friends "Long walk" Luke and "Two drinks" Jo, and their two kids Ciaran and Hannah. We had a ball. (I'll blog at length in another post.) Our itinerary was: Phoenix -> Grand Canyon -> Lake Powell -> Monument Valley -> Canyon de Chelley -> Sedona -> Phoenix. All in all, I drove 1102 miles (1773km) in our RV (and around 10 pants-wetting-exciting miles (16km) in a 4x4 jeep).

[*] Byron suggested that a real RV man drives at least 40 foot of RV, tows a 4x4, and carries a concealed weapon, but for a chap from Berkshire I still think I qualify.

Erlang

2009-04-16T08:30:00.001-07:00

I just found out that James Hamilton has left Microsoft. This is a real shame - he's a great guy. Scanning through his blog whilst contemplating this, I noticed that he had written an interesting article a while back arguing for a new server-side implementation language, and proposing Erlang as a possibility. See what you think.

Some pictures from the party

2009-03-27T06:50:00.001-07:00

Here's the invite from my party:

Here's the amazing cake that Mateja got for me:

[Note that it's a Dell, and hence running Windows :-)]

And I was so lucky that my mother gave Mateja some very embarassing photos from my childhood, including these:

Photos like these were made into posters and stuck around the walls. Nice.