Yesterday, two small cute games, both coded in python and pygame, finally entered the repositories. Both were submitted to the PyWeek Python Game Programming Challenge. Bouncy the Hungry Rabbit is a game targeted to small children, in which you play a hungry rabbit in a garden with yummy veggies and a farmer who’s not keen on you eating them Whichwayisup is a kinda traditional 2D platform game with a slight rotational twist, which means that up and down, left and right are constantly changing as you go ahead in the game. One of the interesting things about this game is that it is, AFAIK, the first package in Debian licensed under the CC-by 3.0 (Creative Commons 3.0 Attribution license).

We had a great weekend this last weekend here in Montreal. Yesterday, June 24, was Saint-Jean-Baptiste Day here in Quebec -- the national holiday of this cool and fun nation. St. Jean Baptiste is important to me in a lot of ways. Of course, it's cool that it's the national holiday of our adopted new home. But John the Baptist, the patron saint of Quebec, is also our family's name saint. ''Prodromos'' means "forerunner" in Greek, and it's one of the titles of St. John. Most of all, it's the day that Maj and I moved to Montreal. We came in on St. Jean Baptiste Day, 2003, and we've been here ever since. We drove my beautiful 1972 Citro n DS from San Francisco, where my niece Elena had just been born, all the way out here. We arrives on June 24th and wandered around the McGill Ghetto looking for our sight-unseen sublet. It's hard to believe it's only been 4 years -- it seems like so much longer. We had a good day yesterday. The three of us went to Piknic in the afternoon and hung out with our friends Jeremy and Lina and their two great kids Clea and Sylvie. We had a lot of hummus and pasta salad and bread and cheese and generally had a great time. Meg and Catherine came and hung out for a while, and also our friend Kristen, who's 7 months pregnant and has a 10-month-old. Good luck on that one. Most of all a pretty day enjoying the outdoors in our new home town, as well as fun dancing to house under a big Calder statue. How great is that? tags: montreal quebec stjeanbaptiste prodromou piknic jeremy lina

72 hours from Flickr I forgot to mention that we had a really nice time on Friday evening going to the 24 Hours of Flickr party at the SAT. Heather Champ, community leader at Flickr and welcomer to partiers, put it well: "We have three requirements for Flickr parties: the food must be good, the drinks must be copious, and the schwag must be ample." And that's exactly what happened. All the usual Montreal suspects were out in force: YULblog types, Web entrepreneurs, Web pranksters. It was great seeing m-c and c-c, who wore their awesome Flickr Socks -- although they each had a matching pair. I also talked to Allen Morris, which was really fun. He's a developer living now in Saranac Lake, one of the towns in the Adirondacks I find strangely compelling. We exchanged GPG key signatures and talked a lot about the Bay Area (California), where we both once lived. Probably my best talk was with Heather Champ and Derek Powazek. We talked about their joys of creation of JPG Magazine, the despair of leaving it, and looking forward to the future. We also chatted a lot about print on demand technologies, which we're evaluating for Wikitravel. Heather took the photo of my friend Ben Cerveny at Burning Man that's become his avatar icon on about every social software platform I know of. It must be good to capture someone in the way they want to think of themselves. I took my own self-concept picture by putting the camera on the dashboard of my Citroen. Heh. All in all a good party. One thing I was interested to find out was that there's a Yahoo! Quebec, which launched last month and I guess just slipped by me. Sadly, if you click on the "English" button, it takes you to... Yahoo! Canada. Hey, Yahoo! There are actually a lot of anglophones here! Just in case you were wondering. tags: yahooquebec 24heuresflickrmontreal 24hoursflickrmontreal flickr montreal party

Montreal Web Development Book Club Montreal Web scene stalwart Heri Rakotomalala -- the man with the magic name, originally from Madagascar, along with Montevideo and Marfa, one of the M-places on my travel wishlist -- recently started a Montreal Web Development Book Club. It's a meeting for people interested in the practical side of the Web to talk about the books they read and let that drift into talk about the work we do and ideas we have. I think the book club is an awesome idea. Book clubs are a great grass-roots intellectual meetup that we don't often celebrate in the post-flash mob BarCamp-ized world. The great thing about a book club, for Web people, is that it filters out the bullshitters and dilettantes. If you're going to a book club, you're going to have to know what you're talking about, and you're going to have to care about the subject. The book gives focus that keeps the conversation from drifting to tangential topics. Flakes and hangers-on just don't have the stamina for it. Also, we met at La ka, so it was nice to have some beers in a good place on a hot night. Why not? We managed to talk about a lot of good books, too. Jean-Fran ois <something> (I didn't get his last name) talked about In Search of Stupidity, a look at the last 25 years of marketing and business blunders in the high-tech realm. Our industry is subject to a lot of decisions that seem absolutely self-defeating in hindsight, and the book goes in-depth on 15 case studies -- like Wordstar, Ashton-Tate and Borland. It sounds like a great cautionary tale for Web 2.0 startup mavens. Heri talked about the book Information Architecture for the World Wide Web -- the infamous "Polar Bear Book". It sounds like a really good book for doing initial planning for a Web site, but I'm really interested in tools for profiling an IA effort. We get about 2 million unique visitors a month at Wikitravel, for example, which is a huge amount of usability data I could be mining. But I don't really have the tools for it, so I don't do it much. I'd love to know, for example, about people who land on a Wikitravel page from a search engine and then leave. What were they looking for? Why couldn't they find it? Also, users who browse through our pages clicking on links, then resort to a full-text search. What did they think they were clicking on, and what were they looking for instead? Did they find it? How can we put that in front of them in the first place? Most of all, I want to know how and why people start editing Wikitravel pages, and why they stop. Of people who click the "edit" button, only 1 in 17 click "save". (That is one bit of clickpath analysis I've done.) Why? I've often been tempted to put a survey up when someone navigates away from our edit page. "Why didn't you save? Tell us so we can fix it for other people." I talked about the book I just finished reading a few weeks ago, Everything is Miscellaneous. It's the latest book by Dave Weinberger about how we impose order on information to make it easy to understand and retrieve. It's an awesome book -- really fun -- especially for someone married to a knowledge management expert. I don't think I gave a good enough description of the book to ignite the club's interest, but I hope they check it out, because it's really readable and good. At the end of the meeting Heri took a poll and decided that we'll continue doing the book club on the last Monday of the month. I've already picked out my book for next month: RESTful Web Services. I've heard good things about this book (admittedly mostly from the co-author Leonard Richardson) and I want to give it a look-see. So book-club fodder it is. ''Update: Heri has his own book club report here.'' tags: bookclub montreal heri webdev montrealwebdevbookclub

Synfig is a powerful, industrial-strength vector-based 2D animation software package, designed from the ground-up for producing feature-film quality animation with fewer people and resources.

Yesterday, upstream released a new version that solves a lot of known problems. Paul Wise has worked  hard and has prepared the new package. (Thanks for your work!!!)

Now, we need your help testing this new version. You can install the new packages (version 0.61.06-1), test them and report bugs.

At this moment, we have two bugs (#370461 and #370459) blocking it and we are waiting your bug reports to know if we can close them.

You could find a lot of samples on  Synfig samples page, but maybe you want to test it with a Debian related animation!

• encrypted everything the way d-i does it (boot unencrypted - rest dm-crypt+LUKS). Check
• strong passphrase for encryption. Check
• seperate laptop ssh key. Check
• sshd only public daemon running. keylogin only. Check
• other stuff that ‘listens’ either killed or firewalled away. Check
• weak password on user account. hmmm
• screensaver/autolock after 3 minutes. Check
• sudo-to-root passwordless. hmmm

Am I on the right track? should I turn up my paranoia on the ‘hmmm’s or is it in general acceptable? Oh - and of course - a layer of security by obscurity is always nice. So let us throw dvorak keymap in also.

It's been a topsy-turvy week, but I'm finally getting my head above water again here at our new home. A lot has happened, which I'll try to capture here, but I'm not sure I can get it all. On Tuesday, Maj, Amita June and I spent the morning in Central Park in New York City. It was a beautiful day -- the rains had cleared overnight, and it was warm and crisp everywhere. We went to the big playground near Columbus Circle, which had about 1000 kids from 2 to 14 running in every direction, and a huge water spray fountain which meant that most of those kids were soaking wet. We went and grabbed lunch at the Whole Foods Market on the circle itself, and ate it out on the grass. AJ and Maj went back to the hotel for a nap, and I got a haircut for the awards ceremony that night. Then I had coffee with Tim Wu, creator of the concept of net neutrality and a writer for Slate. We had a great talk about net neutrality, the future of Wikitravel (Tim wrote a critical piece in Slate in April), and new projects we're both working on. It was really pretty fun. Unfortunately, I took too long talking to Tim, and not enough time buying myself a pair of pants for the awards ceremony. So by the time we were done, I was in a huge hurry. I ran down to the Old Navy on W 34th, picked a pair of black khakis off the shelf, and jammed in a cab to get back to our hotel room in time. Maj was done up to the nines, so I jumped in the shower, shaved, threw on my sport jacket and slacks, cut off all the tags with nail clippers, and ran out the door. The event itself was pretty incredible, and I don't want to flood this blog post with all of my comments and recollections. So I'll add a more detailed report later today. tags: newyorkcity maj amitajune travel wikitravel timwu wholefoods webbyawards webbies

Drive time Suffice it to say that we were out really, really late. We got up at 6AM the next morning to make our 8AM train back to Montreal, and it was clear to everyone (even Amita June) that if we tried to make this train it would be one of the worst days of our life. But there's only one train from NYC to Montreal per day, so we'd have to stay in town another night, and then have the same problem the next morning. So Maj canceled our Amtrak train tickets -- which were 100% refundable, even a couple of hours before the train leaves. Bravo, Amtrak! Then I got to work trying to rent us a car to drive home. It turns out that it's hard to get a rental car for a one-way trip from New York to Montreal. I tried Budget and Avis and National, and none of them would let me rent one-way into Canada. Annoyingly, none of their Web sites gave straight error messages on the subject -- I got "no cars available" or "unable to find your destination" (!) -- and I had to call the 1-800 numbers for each one in turn. I finally got a car from Hertz, on-line, and there was even a little note in my confirmation email to the effect of "ONE WAY TRAVEL CONFIRMED". I guess there's a reason that some companies get to be number one -- the more flexible you are, the more grateful your customers are going to be. I, for one, am planning to use Hertz in the future. I picked up the car at the W 55th Hertz office, and it took me 45 minutes to get back to our hotel at 7th and W 47th. The garage at Hertz goes onto W 54th, which is a "Thru Street" -- no turns allowed until you're halfway across town. And, it was bumper-to-bumper, of course. I finally gave up and made an illegal turn, and was promptly pulled over by a motorcycle cop. D'oh! Luckily, he let me off with a warning. Our trip out of New York was uneventful, but pleasant. It was a beautiful day, and the Catskills and Hudson Valley are a beautiful place to drive in the early summer. Deep, cool woods and bright green fields -- they're lush and fertile-looking. We stopped in Lake George for an early-afternoon dinner, and then had a pretty sunset drive through the Adirondacks up to the border. We got in late -- 10:30PM -- but it was overall a pretty good trip. And nice to have left at 2PM rather than 6AM. tags: rentalcar amtrak newyorkcity hertz

MANA Yesterday Mark, Allegra, No ma and Anoushka stopped back through Montreal as they wended their way home to Lausanne?. We had a nice lunch at Zyng and then took a walk down av Mont-Royal, where a pedestrian fair is going on this week. They got off yesterday evening, which makes the last of our RoCoCoCamp visitors to leave. tags: mark allegra no ma anoushka

Pecha Kucha Montreal I'm very interested to hear via Boris and James that we'll be having a Pecha Kucha night here in Montreal. It's going to be on 14 Jun 2007 at 20:20h (8:20PM) at the SAT. Pecha Kucha is an unconference for designers (not necessarily Web designers). I think it sounds like a really interesting event, and I hope to go. tags: pecha kucha unconference montreal

I'm sitting in our suite in the Doubletree on Times Square in New York City, catching up with some email and generally trying to pull myself together. It's been a remarkably busy week and this is the first time I've been able to sit down to blog for a while. We moved to our new house at 4690 rue Pontiac last Wednesday, and most of my time last week was taken up either packing things (clothes, computers, dishes), unpacking the same things, or taking things that I didn't want to pack/unpack to various charitable organizations. Our move-in went smoothly -- the hardest part was moving our old fridge and stove to our new house, then moving the fridge and stove and deep freeze from our new house to the old apartment for Julia and Antoine to use. The new house came with a lot of new goodies, too. We bought a new couch for our new livingroom, and a new king-size bed for our new bedroom. On top of all that, I signed us up for Vid otron cable Internet instead of our old reliable Bell Canada DSL, and it's turned out to be quite fast and easy to use. So on top of the excitement of having a new place to live, there have been a lot of new toys to play with. Thankfully, our cats and our daughter have adapted quite well to their new environment. Amita June has a new bedroom, but she's been through so much travel -- hotel rooms and friends' homes -- that she's able to sleep just about anywhere. Topaz and Xe (the cats) don't usually adapt very well, but Maj kept them in the upstairs bathroom for a few days The thing that's surprised me the most about moving into the new house is how seldom we go upstairs. All our bedrooms are downstairs, as well as the new office/den, and we seem to get a lot of our needs met down there. The upstairs area is really really nice, though: lots of light and air. But the stairs are a real energy barrier. I guess my legs are going to get stronger and I'll get used to running up and down them several times a day. Probably the biggest disappointment of the move-in was that our new paint job, which had been so lovingly planned, got pretty marked-up in certain parts of the house -- specifically, the halls and stairs. We'll be doing some touch-up painting ourselves, but it is still kind of a bummer to see all these nicks and scratches on the otherwise pristine walls. tags: moving newhouse 4690ruepontiac

Train in vain We're in New York City for the awards ceremony for the Webby Awards. Wikitravel won the Webby award for best travel Web site of 2007 -- quite an honor. We came right after our move-in, so it feels a little rushed. We're just here for about 72 hours. We'd thought about going down to visit family in New Jersey, but we really need to finish getting unpacked and settled in to the new house. We're planning on coming down for a relaxed family visit in NJ later this summer, instead -- maybe combining it with a trip to the Jersey Shore. Although there are plenty of flights between Montreal and New York, and it's only about a 6- to 8-hour drive, we decided to try something different this time. We took the Adirondack (Amtrak) train, which runs down the shores of Lake Champlain and the Hudson River Valley. My theory was that the train trip would let us stretch our legs, read, and get some work done, and that AJ could run around and enjoy herself, rather than being cooped up in a car or airplane seat. Although the train was the slowest option (it's scheduled as a 9-hour trip), it might end up being the most comfortable. I think the results were mixed. Indeed, the trip was a comfortable one, and Amita June got to run up and down the aisles and climb all over the empty seats. However, we got stopped at the US border due to an elevated terror alert, and what was supposed to be a 30-minute scheduled customs stop dragged into a two-and-a-half hour inspection. By the time we got to New York, we were more than two hours late. Among other things, this meant that I missed the opening cocktail reception for the Webbies, which was kind of a bummer. It was dumping down rain in torrents when we finally got to Penn Station, though, so I think that the rooftop reception probably wasn't all that much fun. I got soaked trying to get us a cab, but we had a decent ride to our hotel -- the functional but unexciting DoubleTree Suites on Times Square. We had a hard time finding a hotel that would be even remotely affordable, in Manhattan, and had junior suite rooms. Suites are great when you're traveling with a toddler -- it means you can put them to bed at 8PM and then go in the other room to stay up the rest of the evening. We had a decent room-service dinner -- Caesar's, nachos, 2 Heinekens -- and crashed out. This morning I woke up to a text message from my friend Ben Cerveny. He's also in New York for a few days -- he figured out that we were both going to be here using the cool Dopplr service. I rousted up Maj and Amita June -- late sleepers, lately -- and we all went down to Greenwich Village to meet Ben at The Grey Dog. The caf had decent coffee and pretty hearty breakfasts. We stayed for about 2 hours. We ambled over to the Center for Architecture to check out a few exhibits and stretch our legs. It turned out to be a great place to bring a toddler -- not too crowded, and pretty noise-tolerant. Amita burned herself out running through the exhibits. We left Ben behind and headed back to the room for naps and computer time. I was going to try to go to the Webby event for film and video tonight, but there was some complicated signup thing I was supposed to do, and I ended up failing to do it. It's probably just as well -- Maj isn't feeling great. So we're going to just get some dinner together and call it an early evening. tags: newyork wikitravel travel

Certifi.ca re-certified For the last month I've had a TODO item on my list: New SSL cert for certifi.ca. Of course, I let it slide and slide -- definitely not an urgent item, right? Well, not until the cert expired last Sunday. Oops. It took me a while to get certifi.ca a new cert -- I wanted to get it with the name of the new corporation I've started to manage my OpenID sites, called Control Yourself, Inc. or, in French, Contr lez-vous, Inc.. (I'm not even sure if contr lez-vous makes any sense, actually.) The folks at Comodo had a hard time with the Quebec corporate registration and asked for a lot of extra documentation, which dragged things out a few days. On top of that, I got distracted by the move, so I haven't had much time to think about SSL certs. But I got the cert late last week, and ended up with another problem: when I replaced the old cert and "ca-bundle" files with the new ones, Apache mysteriously failed to start up -- at all. It just kerploded with no error log information. I was unable to find any documentation on why this would be the case. I spent some extra time debugging this afternoon, and came to an embarrassing conclusion. The program I used to feed a password to Apache (using SSLPassPhraseDialog) was giving it the password for the old key. Doh! Fixing that made Apache start up just fine. I wish I had a good way to attract Google searches for this, but maybe this sentence will work: If your Apache server with mod_ssl fails mysteriously right after startup, make sure that the passphrase is generated correctly. tags: apache certifica comodo sslpassphrasedialog mod_ssl passphrase

Creative Commons shrinks a bit Kudos to Creative Commons, who have retired their controversial Developing Nations and Sampling licenses. Critics have pointed out that all CC licenses allowed a basic universal right -- verbatim, non-commercial copying -- except for the Sampling and DevNations. I think the move has helped to focus CC somewhat. Although Creative Commons started as a way to explore novel methods for letting people share certain rights to their works, this move will set a baseline for what's an acceptable CC license and what's just not enough. As Lawrence Lessig says in the announcement: There is a strong movement to convince Creative Commons that our core licenses at least permit the freedom to share a work noncommercially. Creative Commons supports that movement. We will not adopt as a Creative Commons license any license that does not assure at least this minimal freedom at least not without substantial public discussion. It's a good idea, and I'm glad CC is taking this tack. I hope that those people who've criticized CC in the past for not having such a baseline will take the opportunity for a rapprochement. tags: cc devnations sampling creativecommons richardstallman

Funds for Standout Jobs Congrats to Montreal entrepreneurs Fred Ngo, Ben Yoskovitz, and Austin Hill. Their new high-high-end recruiting engine, Standout Jobs, just got an angel round of funding to the tune of $1.5 million. Yeah, they're only Canadian dollars (see Journal/1 Brumaire CCXV), but that means a lot more today. Fred, Ben and Austin have all done a lot to advance the local technology community. I'm glad to hear that their project is taking the first steps to success. tags: standoutjobs fredngo benyoskovitz austinhill

I ve got my first real rails application working correctly a simple online bookmark system, which is scuttle-lookalike. (This is part of my master-plan to remove PHP utterly from the few remaining places where it exists upon my server(s), so it isn t as pointless a project as it appears to be!) It is pretty neat, and it handles most of the things you d expect. Fetch it from CVS and install it with the following recipe:

cvs -d :pserver:anonymous@cvsrepository.org:/home/cvs login
cvs -d :pserver:anonymous@cvsrepository.org:/home/cvs co bookmarks
cd bookmarks/
mysql --user=root -p -e "CREATE DATABASE Books_development" 
rake db:migrate
ruby script/server

Once that is done point a browser at http://localhost:3000/ and you should see something like this. (If there is no admin user setup it will display a signup link, once there is an admin defined this will go away. When you re an admin you can view/edit/modify all the bookmarks which are set to private .) I m new to rails, and ruby for that matter, so if this is packaged badly, or is missing something to make it work please do let me know. Updated: Changed from download to the CVS repository. I also have a collection of tools for exporting from Insipid & Scuttle if they are useful let me know.

AMD has announced that is going to deliver open graphics driver for ATI graphics card. Good news.

Incredible and Fantastic for music lovers!

This looks like random blabbering, right? A very specific random blabbering that has somehow appeared in blogs of at least tens (if not hundreds, maybe even more) blogs of techies all over the place. What is it?
For the more tech-friendly readers, it has some resemlance to a number - a long number, a 32128 bit one. And for those of you who are not Computer Science minded, you might actually prefer to see it as a simple base-10 (that means, decimal system) number: 13'256,278'887,989'457,651'018,865'901,401'704,640. I don't know how to spell it in English, but I do in Spanish (why? Because we have this difference: In Spanish, a billion is a million millions, and a trillion is a million billions - unlike English, where a billion is a thousand millions and a trillion is a thousand billions). So, lets do the excercise in Spanish:
Trece sextillones, doscientos cinuenta y seis mil doscientos setenta y ocho quintillones, ochocientos ochenta y siete mil novecientos ochenta y nueve cuatrillones, cuatrocientos cincuenta y siete mil seiscientos cincuenta y un trillones, dieciochomil ochocientos sesenta y cinco billones, novecientos un mil cuatrocientos un millones, setecientos cuatromil seiscientos cuarenta
Hah! I guess my fifth-grade teacher would be quite proud of me!
Now, I hereby pronounce my transcription of this utterly long and basically random-generated number into the beautiful Spanish language copyrighted by me, and publicly available under the Creative Commons Attribution-ShareAlike 3.0 Unported License, as it is a very valuable and hard literary work.
But, really, what is it? Well, this mindboggingly long number is the key with which most HD-DVD movies processed so far is encrypted with. Of course, the Motion Picture Ass. of America (MPAA) does not want this (again, randomly generated) number to be out there in the wild, so they say the number is copyrighted by them - This does not hold up, as it has been widely shown before (i.e. Intel dropped its 286/386/486 numbering scheme because a number is not copyrightable or trademarkable - and AMD was perfectly able to legally sell 386/486 chips). So, I have put more work into this number than what they have. I deserve the credit - the transcription is mine. Use it freely.
Oh, and of course, some more examples:

• Spell it with pictures!
• Bumper stickers!
• You like Flash-based content, or you use youtube-dl like I do? Enjoy the forbidden number song - Oh-nine Eff-nine!

[update]: Yes, sorry, I was counting with half of my brain shut down and the other half brain trying to fetch some coffeine, or something like that. It's a 128 bit number, not 32!

In my sources.list you can find:

deb http://ftp.debian.cat/debian/ sid main contrib

Good news to Catalan Debian users.

As many of the Planet Debian readers know, I bemoan Galeon 1.2 and therefore Woody. For a long time I haven’t found an appropriate browser replacement for Galeon 1.2 in Sarge, so I never switched my home workstation called “gsa” (Pentium II, 400 MHz, 572 MB RAM) to Sarge, since Woody was rockstable and just worked. Though, after a few Galeon 1.3/2.0 rants, someone pointed me to Kazehakase, which indeed is a fine Galeon 1.2 replacement. But I noticed that Kazehakase in Sarge was in an early stage and the Kazehakase from testing (now Etch) were already much more matured. So in comparison to Sarge with Etch I won’t have the problem of not having a mature and sage web browser in main. And due to security support for Woody ceased a few months ago and Etch is now declared stable, it’s time to reinstall my last Woody box with Etch. For that, a repartioning of it’s two hard disks (8 GB and 40 GB) sounds like a good idea and so I had look, what’s on all those partitions where I once had a shot on quite a few Linux distributions and other unix-like operating systems. (Although I was already a big fan of Debian at that time, I wanted to look over my own nose and ordered a few CDs of free operating system at LinISO.de.) So here’s what I found, never really used and will throw away quite soon:

• RedHat 9
• Mandrake 9.2beta2
• FreeBSD 4.8
• OpenBSD 3.3
• one more, not yet identified (or perhaps even never formatted) Linux partition

That should give enough space for an Etch installation without touching the Woody installation first. Thanks to Venty, I’ve got a DVD drive for that box, so I can install from DVD. And for toying around with all those other neat and free operating systems nowadays, I’ve got my MicroClient Jr. named “c2”.

Coq: Happy to See it as a Geek Toy Daniel, I'm really happy you defined Coq a geek toy. Usually such pieces of software are more seen as academic toys, seeing it promoted as a geeky software is a joy to me. I'm a developer of Matita, a concurrent system of Coq (yet less mature a of today). I'm happy to give some more info about Coq (and hence about Matita, which is based on the same logical foundation of Coq). Coq is not really a programming language (even if the CoqArt book says so, to attract the developer community), it is mainly a proof assistant; i.e. a software in which you give definitions, state theorems and prove them. The added value of the system wrt plain pen and paper is that it grants that you won't be able to produce incorrect proofs (of course you are still free to prove useless theorems ). It is more expressive than predicate calculus, technically it is based on the Calculus of (Co)Inductive Constructions, but the most important differences are that you can give inductive definitions of predicates (or define recursive data structures) and the system will let you play with them freely automatically constructing recursors on these data types. You can even define infinite data structures (using co-induction) mimicking lazy types available in languages as Haskell. Regarding the synergy of Coq with OCaml: yes, you can prove in Coq the correctness of OCaml program, but actually not more than you can do with programs written in other programming languages (see for example Why, Krakatoa, and Caduceus for some practical tools to prove properties about Java and C programs). Yet the synergy with OCaml is even more than that: once you proved properties like the existence of, say, a prime number greater than a given prime number, you can ask Coq to generate for you (using a feature called extraction) an OCaml program which consumes as input a prime number and returns the next one. More generally you can extract programs from (suitable) proofs. Some info on the Debian side: thanks to smimou Coq has been in Debian for a long time now and Why/Krakatoa/Caduceus are coming soon. Happy hacking!

I was reading the brochure about the BMW 530i Touring (which seems to be the BMW name for what is known as a "Station Wagon" in Australia or an "Estate" in Europe). I looked at the brochure on the "Touring" because I am interested in a Station-Wagon - the Sedan version of the 5 series is almost the same in every way other than size and shape.

Here are some of the interesting features:
Adaptive headlights, they turn in to a corner when the car is cornering (showing where you are about to go instead of showing you the scenery off the road) and the high-beam switches off when an oncoming vehicle is detected.

Head-up display for speed, navigation, and other driver-relevant information.

Park distance control (PDC). Gives audio and visual alerts when you are about to hit something at low speed.

Eight air-bags of which only the necessary ones will inflate in a collision, and the inflation power will be determined by the severity of the collision.

Dynamic stability control (DSC), traction control, corner brake control, and more. Described as "all of the known features of DSC".

Seat-belt pre-tensioners in the rear and pyro-technic tensioners for front seat belts.

Rain sensor that turns on headlights, and optional head-light washers.

According to it's brochure the 7 series has bumpers that regenerate their original shape in collisions of speeds up to 6Km/h and a tire defect indicator. Apart from that there doesn't appear to be much benefit over the 5 series apart from more luxury features.

To get the PDF files from BMW Australia (without following my links which BMW will probably break soon) you have to fill in a form with "contact details". To enter that form you need a browser that works with their javascript (which means not Konqueror) so that you can enter your postcode and be prompted with a list of suburbs that match the post-code. The second-last page of that process allows you to download PDF files and it seems to indicate that your data will not be stored if you don't continue past the stage where you download the PDF files. It would be good if BMW could get smart and make their PDF files as easy to download as Mercedes does.

In terms of safety features it seems that the 7 series offers little over the 5 series. By comparing the brochures it seems to me that the Mercedes S series (as described in my previous blog post) has many more safety features than any BMW. Assuming that the BMW documents are accurate they don't seem to compare well with the Mercedes S class. From a quick search on drive.com.au (the best web site for buying used cars in Australia) it seems that the Mercedes keeps it's value better than the BMW - other people apparently share my opinion of the relative merits of the cars.

In future posts I'll summarise the features of some other cars that I consider interesting.

The S Class Mercedes has some really interesting safety features, see this 6.8M PDF file for details. If you are interested in technology then you want to read it just to learn about all the cool features - it's got more technology than a Prius!

The S class includes the following features to protect the occupants in the event of a crash:

• Tire pressure monitors
• Electronic Stability Program (ESP) to selectively apply the brakes to reduce the risk of skidding
• Active suspension
• Pre-Safe is a management feature that recognises a potential collision by the steering and braking patterns of the driver and prepares the vehicle for an impact. This can involve adjusting the sun-roof, the seat-belts, and the driver's seat position to prepare for impact, closing the side windows, and inflating air chambers in the sides of the seats.
• Head rests that automatically adjust in the event of a rear impact

The following features reduce the risk and/or severity of a crash:

• Night view (infra-red) display gives a display of potential obstacles ahead without dazzling oncoming traffic
• Distronic Plus is a brake assistance package that includes automatic braking based on radar surveillance of the traffic ahead
• 4Matic is a new feature that combines AWD with the traction-control feature that has become common on all expensive cars. This means that when any combination of wheels starts to spin on water or ice the brakes will be applied to them so that the wheels that have good grip can still be used for acceleration.

After a crash there are more safety features that can help you:

• The engine can be automatically turned off after an impact and if necessary the fuel supply can also be cut
• The hazard lights and emergency interior lights can be automatically activated
• The side windows can be partially lowered, if your car lands in water deep enough to submerge it then you MUST open the windows as soon as possible - otherwise water pressure may make it impossible to open the doors - people forget this so it's good to have an automatic feature
• Automatic door unlocking after an impact (good for rescuing unconscious occupants)
• Cutting points marked on the windscreen and rear window for the benefit of emergency workers who need to cut the roof off with the "jaws of life"

These features are documented as being available in the latest S Class, I haven't investigated what is available in the cheaper models and I'm not even sure where to find information on the safety features available in older models (a second-hand E class is more in my price range). But if I won the lottery a S class Merc would be high on my list of things to buy!

If you know of other cars that have a similar set of safety features to the S class and cost less then please let me know.

I will probably write a blog post about the BMW safety features in the near future. I couldn't do so immediately because the BMW web site sucks. They have a form for me to fill in contact details so that they can post me a brochure (I want to read it NOW ONLINE). The form doesn't like my postcode and refuses to proceed (it should at least have an option for them to contact me via email or phone).

The Weston Mercury - Tropicana vote - where was your councillor?

Fantastic work by Archant's local newspaper, actually calling councillors and asking them to account for the way they voted on a controversial seafront development. I'm surprised so many of the Worle councillors failed to vote for various reasons. I also think it's a bit poor that the vote was so late at night.

BBC NEWS England Cornwall Row over response to overcrowding

An amazingly brutal and probably honest answer about the local rail company's approach to commuter trains.

BBC NEWS England Train company says sorry to users

Train company admits "too much capacity was removed from the timetable".

Sustainable Building Sourcebook Contents

A book about green building in Texas USA. The whole thing seems to be online (sponsored) and it has some useful explanations about things like thermal mass.

The Weston Mercury - Town centre demolition

Dolphin Square is ugly, but I think it's actually one of the better examples of 60s rectangular town centre building. It's not listed or anything and it's so near the beach, I don't doubt it will be demolished. What will happen to our supermarket there? I hope there will still be one in the town centre area.

RADBURN, NJ

A recent planning process commented that my part of the village is a 'Radburn-style' development and that's why some parts have parking problems at the moment. I didn't know what that meant, so I looked it up. It means that the main access to our houses are footpaths and cars are left in cul-de-sacs around the edge of the development. That explains some of the apparently-confusing naming/numbering decisions. This is the site of the original Radburn.

Top 10 annoying commuting issues

Martyn in top form, ranting about his trip to work. I'm so glad my commutes are mostly cycling across countryside now.

Everyday Cycling - British Cycling Confirms Major Cyclosportive

Want to ride the TdF London-Kent route on 1st July?

Bagel Belly Blog: Travel trouble

Savs's long lane to Leicester. My comment: don't ever believe the route planners. Every one I've seen so far optimises for theoretical speed or distance, when what we really need is resilience and fuel economy too. The A47 vs A11/A14 choice is an extreme example: A11/A14 has far more free-flowing junctions and dual-carriageway than the A47.

I've been taking the train frequently lately so decided to sign up for the Amtrak Guest Rewards Program -- kind of like a frequently flyer program but without the flying. When filling out their online join form, I was asked to select a title from what turned out to be a rather extensive list:

Please Select Admiral Airman Brother Captain, USA Captain, USN Chief Master Sgt. Chief Petty Officer Chief Warrant Officer 4 Col. Commander Dr. Father Gen. Hon. Jurist Doctorate Lady Lieutenant Commander Lt. Lt. Col. Lt. Gen. Maj. Gen. Major Master Chief Master Sgt. Miss Mother Mr. Mrs. Ms. Pastor Prince Princess Prof. Rabbi Rev. Father Reverend SIR Senator Senior Chief Sgt. Sgt. Maj. Sister

That will be Princess Benjamin Mako Hill to you, Mr. Conductor.

* I was thinking to attend currently on-going Linux Asia 2007 event before I saw that Microsoft is ‘Interoperability Partner’! Now, I am still thinking what the hell is Interoperability? Can any one let me know? I see clearly that its Money things! Looking at speakers list only Philip (I heard that he is not going!), Dr. Louis, Zaheda Bhorat and Divya Prakash are Only worth attending! Good thing is that ILUG-D is not going to participate this event