When you have a dictionary in Python like this : mydict={'first':1, 'second':2, 'third':3} and you want to get the values into a list with a certain order you can do this : mylist=[mydict['first'], mydict['second'], mydict['third']] However, that can get a bit verbose if there are a lot of entries. For every entry you have to repeat ‘mydict’. An elegant way of solving this is using the map function : mylist=map(mydict.get,['first', 'second', 'third'])
A few weeks ago, I took my parents on a trip to Windsor castle, Stonehenge and Blenheim. The weather was great and the traffic was fine as well.
The moat at Windsor castle, now a garden
I just got back from a brilliant 4 week trip to Australia. It’s a brilliant country, well worth a visit.
Opera House
Here’s another picture of India. The staircase in a house in Jaisalmer is being cleaned.
Inside a house in Jaisalmer
The New York Times has a great HTML reader : http://prototype.nytimes.com/gst/articleSkimmer/ They’re in financial trouble, but they seem to get how the Internet should work.
Copyright (c) 2025 Michel Hollands