Sunday, May 28, 2006

Any Dream Will Do...

Just finished watching Joseph and the Amazing Technicolor Dreamcoat. Mum has had a tape of the soundtrack for many, many years and often played it in the car. As a result I was able (read: compelled) to sing along to each and every song.

Tags:

Saturday, May 27, 2006

Transactional memory with data invariants

Transactional memory with data invariants by Tim Harris and Simon Peyton Jones. To appear in TRANSACT '06 (PDF).

I comment previously on a draft version of this paper. In this 'final' version the authors have removed the wrapper function which converted predicates (:: STM a -> STM Bool) into actions that raise exceptions when the invariant doesn't hold (:: STM a -> STM ()) leaving the interface a little more consistent.

They have extended the STM monad to use phantom types to restrict the operations an STM action can perform (ReadOnly or Full) to help restrict the side effects of invariants. Another addition is support for invariants over pairs of states: the state before the transaction began, and the state about to be committed. This is accomplished with a new primitive: old :: STM a -> STM a which executes an STM action in the state as it was when the current transaction began. Finally, there is some new discussion of drawing on the work in databases where a distinction is made between assertions, which detect error conditions, and triggers, which are part of the programmes logic.

A good paper made even better!

LtU | Del.icio.us

Tags:

Friday, May 26, 2006

Fundamental Constructs in Mathematics Education

Fundamental Constructs in Mathematics Education. John Mason and Sue Johnston-Wilder (Eds.). (buy)

After an introduction to the beingness of the thinghood of constructs (named, described phenomena as far as I can tell), this book launches straight into extracts describing some of the most important and influential experiments in mathematics education. I've read the first chapter which describes a number of experiments that have been used to investigate the way children learn mathematical concepts. So far it has been a good deal more readable than I was expecting.

Tags:

Friday, May 19, 2006

Eurovision 2006

I've just watched the semi-finals of the Eurovision Song Contest for 2006 on SBS. The only comment that springs to mind is that it is a travesty that Poland's entry Ich Troje didn't get a place in the finals.

Tags: Music Listening Eurovision

Thursday, May 11, 2006

Categories and Tags

As on my other blog, I've added support for tags and categories to TR[W[WL]]OACSS using Del.icio.us. Readers with a browser that supports JavaScript should see a list of categories at the top of the sidebar.

It's not terribly useful yet (in particular, the tag and category links lead to the whole Del.icio.us tag, not just those items that are posts on this blog), but we'll see how it goes.

Tags:

Saturday, May 06, 2006

Three new philosophy books

I've just bought three new philosophy books: Logic by Greg Restall (buy); Conspicuous Consumption by Thorstein Veblen (buy); and On The Public by Alastair Hannay (buy).

I happened to spot Logic on the shelf and needed to buy it. Hence, now that I've got a bit of money to spare, I have bought it. I expect it will be brilliant.

I've already read one volume from Routledge's Thinking In Action series and, as previously noted, I really liked it. Hopefully On The Public will be just as good.

I've liked some of the other books in Penguin's Great Ideas series, so I hope that Conspicuous Consumption will be just as interesting.

Tags:

The Fun of Programming

The Fun of Programming edited by Jeremy Gibbons and Oege de Moor. (buy)

My copy of The Fun of Programming came in the other day and I've been looking through it. It has chapters covering a wide range of topics:
  1. functional data-structures, amortised analysis, etc.;
  2. testing and specification with QuickCheck;
  3. programming with folds, unfolds, etc.;
  4. music programming;
  5. representing financial contracts;
  6. graphics programming;
  7. hardware description;
  8. combinators;
  9. arrows; and
  10. phantom types
amongst other topics. This looks to be a fascinating mixture of methods (data-structures, testing, folds, arrows, etc.) and applications (music, graphics, financial contacts, hardware description, logic programming, etc.) if a little thin for its price.

Both the software from the book and details about the symposium from which its content comes are available on the Oxford Computing Laboratory web-site.

Tags:

The Cloudbuilders

We've just read a sci-fi story called The Cloudbuilders in my ICT curriculum class which, as far as I can tell was written by Colin Kapp in 1968. While a little formulaic (though, being nearly 40 years old, it probably helped to define the formula) it was an interesting read and did result in an interesting discussion of technology education touching on educational approaches, little white lies, paternalism, etc.

You might be able to find more information through Google but there doesn't seem to be a great deal on the first page.