Computing at School

Hurrah! The government appears to finally understand that there is a difference between teaching IT and teaching computing, and that we need to move from the former to the latter in schools. Join the campaign at Computing at School. The Guardian is running a digital literacy campaign. Computing is the new Latin!

Scotland Loves Anime

A belated shout out to Andrew Partridge, organiser of Scotland Loves Anime, which played at the Edinburgh Filmhouse 14&endash;16 October. With my family I saw Coicent, Towanoquon, Five Numbers, and Oblivion Island: Haruka and the Magic Mirror. I particularly liked Coicent, illustrated above, because it is set in Nara and I recoginised the deer and the temple that feature in it from my visit there as an invited speaker at RTS, back in April 2005. But the real surprise was when Andrew, introducing Oblivion Island, recognised me sitting in the audience, and reminisced about learning Haskell and monads in first year at university, where he was a student in my first-year class. He's done a great job with Scotland Loves Anime, and it's wonderful to see the wide variety of activities our students initiate.

List.It, FeedMe, NB, Exhibit

Last October, we had a visit from David Karger, speaking on "Building User Interfaces that Entice People to Manage Better Information"; only now, alas, am I getting around to posting it on my blog. He spoke on four systems: List.It, a note keeping tool that runs in browsers; FeedMe, a tool for sharing interesting things you find on the web, NB, a collaborative tool for teaching environments, and Exhibit, a Javascript library for posting Excel spreadsheets as web pages. (The screenshot above is from Exhibit.) What I particularly liked about his approach was the interplay between design and experiments to determine how users interact with the systems.

Usability of Programming Languages

I've mentioned a few times my desire that programming languages have a firmer foundation in science, notably psychology. Of course, there is a large body of work in this area that most programming language researchers (in particular, me) know nothing about. Here is a pointer to a course on the subject, taught at Cambridge by Alan Blackwell (above). Blackwell worked with Thomas Green. Green is the author of one of the few papers on the subject I know that has a clear, usable result: people find it easier to work with a flat sequence of conditions than with a nest of 'if' statements. Thanks to Lambda the Ultimate for a pointer to Blackwell's course.

Marshmallows and Pensions

[An open letter sent to the School of Informatics of the University of Edinburgh.]

We write to urge you to join the strike on 30 November, sponsored by UCU and EIS and timed to coincide with actions by unions across the UK. If you are not a member of UCU or EIS, we urge you to support the strike by not coming in to work and by refusing to cross picket lines.

In 1972, psychologist Walter Mischel conducted an experiment at Stanford University. Over 600 children, aged 4 to 6, were put into a room free of distractions, given a marshmallow, and told they would be left alone for fifteen minutes. They were free to eat the marshmallow, but if they held out for fifteen minutes, they would be given a second marshmallow as a reward. One third held out for the bigger payoff. A follow-up study, 18 years later, revealed that the one-third who deferred gratification were remarkably more successful across a range of activities, including scoring more than 200 points higher on SAT college admission tests. Holding out for the second marshmallow is a salient indicator of success in later life.

If ability to delay gratification correlates with success, one might expect successful people to take a long-term view. For instance, one might expect academics in a leading institution to rate receiving a decent pension more highly than the hassle of supporting a strike. But ask someone in the Informatics Forum if they are planning to strike, and they are likely to say "No, I have a meeting booked for that day." To whom do they owe more? The person they are meeting? Their future self? Or how about future hires, who will be hit hardest by the cuts, and future students, who deserve to inherit a university system that remains world-class?

Over the last year, USS has imposed a drastic cut in pensions: 36% of the value of the pension for Mary, a new lecturer promoted to senior lecturer after ten years; and 12% of the value of the pension for John, someone just like Mary except he's currently employed rather than a new hire. This is a classic divide-and-rule tactic. While staff may be less inclined to fight a 12% cut than a 36% cut, the two-tier system is unfair and unlikely to last: historically, two-tier systems are updated within a few years by moving everyone to the lower tier. Details of the cuts are listed below.

What about our students? EUSA, the student union, is supporting the strike. They know that these cuts will weaken universities. During the last strike, in March, sometimes there were more students than staff manning the pickets. If our students support the strike, shouldn't we support them?

Aren't pensions gold-plated? The UK historically spends less on pensions than other European nations. Private-sector pensions have degraded over the past few decades; we should support efforts to restore those to decent levels, not agree to decimating public-sector pensions as well. It's not fair for public employees to give up their pensions to pay for bank bailouts.

In this day and age, can we afford it? The UK is renowned for its world-class universities: Cambridge, Oxford, Imperial, Edinburgh, Manchester. Look at a list of the top-ten universities in the world, and you will see only universities from the US and UK. That excellence is a huge driver of innovation and growth. If the UK stops its investment in universities, it won't be long before we feel that loss throughout the economy. So the question should be, can we afford to shortchange universities, particularly the younger generation that is hardest hit by these proposals?

It may be easier to give in, but the right plan is to keep our pensions and our universities strong for future generations. Let's hold out for the second marshmallow.

Yours,

Philip Wadler
Nigel Goddard
Alan Bundy


A summary of the changes.

Introduction of a two-tier system. Current staff who pay into the pension fund for forty years receive a pension of one-half their final salary; new hires who do the same receive a pension of one-half their average salary. Basing pensions on average rather than final salary may be sensible, but to do so with no adjustment in multiplier suggests employers are using this as an excuse to slip in a large cut; it means new hires receive about 2/3 the benefits received by old hires. Further, if this follows the course of other two-tier schemes, the upper tier will be eliminated in favour of the lower, and old hires as well as new will see their pension slashed.

Capping cover for inflation. Previous arrangements offered full cover for inflation; new arrangements offer full cover to 5% and half cover to 15%---that is, a 10% increase when inflation is 15% or higher. Inflation averaged 16% per year between 1974 and 1980; a cut of 6% per year over six years compounds to a 31% reduction, lasting over the remaining lifetime of the pension.

Altering the index of inflation. The Retail Price Index (RPI) is replaced by the Consumer Price Index (CPI). RPI is calculated with an arithmetic mean, CPI with a geometric mean, which is always less. CPI runs about 0.7% lower than RPI; a cut of 0.7% per year over twenty years compounds to a 13% reduction.

Changes to conditions. Staff that take a career break of 30 months will be demoted from the final-salary to average-salary scheme, about a 1/3 cut; this particularly affects women. The same will happen to staff that are made redundant, a double whammy: if you lose your job, you also lose a large proportion of your pension.

Robin Hood

I'm a fan of Bill Nighy, doubly so after viewing this video on the Robin Hood Tax, also known as the Financial Transaction Tax or FTT. Watch the video now, if you haven't already: it's informative, amusing, and short. And brilliantly acted.

The standard argument against the tax is that any country implementing it unilaterally would drive business away. But the UK already imposes a Stamp Tax of 0.5% (as compared to the 0.05% of the FTT) on share trades, and this doesn't appear to have done the London Stock Exchange irreparable harm. Further, the tax can be arranged to apply to any transaction carried out by a UK business, regardless of where the transaction itself occurs; few companies would abandon the country just to save 0.05% on currency and derivative trades. Some other counterarguments appear here.

Happy 13th, Expression Problem

Thanks to Francois Garillot and an intriguing thread on Lambda the Ultimate for reminding me that the Expression Problem reached it's 13th birthday last week. No bar mitzvah is planned.

Alfred Ernest Marples, Baron Marples of Wallasey, is very sad because the Public Data Corporation wants to lock public data away behind fees.

This site describes the issues, and makes is easy you submit your opinion to the public consultation via a form.

Please respond now! Time runs out on 27th October 2011. It's just like the Mayan apocalypse, but for open data.

Goldman Sachs

I've heard it said that protestors at Occupy Wall Street aren't sure what they're protesting against. If they read this article by Matt Taibbi in Rolling Stone, they'd know.

Israel and Palestine

In the wake of Abbas's speech at the UN, I was delighted to receive a statement in support of Palestinian independence signed by prominent Israelis.

The Land of Israel is the birthplace of the Jewish people where its identity was formed.
The Land of Palestine is the birthplace of the Palestinian people where its identity was shaped.We, the citizens of Israel, call on the public to support the recognition of a democratic Palestinian state as a condition for ending the conflict, and reaching agreed borders on the basis of the 1967 borders. Recognition of such a Palestinian state is vital for Israel's existence. It is the only way to guarantee the resolution of the conflict by negotiations, to prevent the eruption of another round of massive violence and end the risky isolation of Israel in the world.

My thanks to David Harel, one of the signatories, for passing this on. Harel is a prominent computer scientist, winner of many awards including the ACM Karlstrom Outstanding Educator Award, the ACM SIGSOFT Outstanding Research Award, the ACM Software System Award, the Emet Prize, and the Israel Prize.