Author: harry

Posted on

Lockhart’s Lament

spiral.jpgI have to thank Philip Wadler for spotting the Lockharts Lament article!

If you are worried about how mathematics is being taught today then read the following article Lockharts Lament. The first few pages describe the problem perfectly. Our education system is being designed by people who have little or no understanding of the task at hand.

Perhaps mathematicians are being arrogant and calling what they do an art. I personally think it’s as much an art as painting, sculpture or poetry. Its quite sad that Wikipedia doesn’t have mathematics listed as an art. Surely there is nothing more expressive than mathematics. Have a look at some of the images here. Anyone with a little mathematics and a lot of people with no mathematics will find these images beautiful.

If art has anything to do with expression then for some there can be nothing more expressive than an equation. Mathematics is fundamentally about describing the world around us and more besides. Physicists use mathematics to as a tool to understand the world around us. This practical applications does not mean that it’s not an art. Ask a physicists if they consider mathematics to be an art and I would bet that most think it is. The E=mc2.jpgmost famous equation today is E=MC^2. The beauty in this is astonishing but its not the most beautiful equations to some, F=MA may be more beautiful depending on your point of view. The fact that these equations are of huge practical importance seems to make some think that mathematics is not an art but merely a tool. Mr Lockhart’s article puts it well

“Music can lead armies into battle, but that’s not why people     write symphonies.”

The sooner we start treating mathematics more like an art and making it interesting the better, until that day almost every student being churned through our education system will hate the watered down shadow of a system our educators deem to call mathematics.

Posted on

Cannot open your terminal ‘/dev/pts/0’ – please check.

I always get this error when I am working i a chroot trying to use screen. In the past I have fixed it using the following command.

mount -t devpts devpts /usr/CHROOT/dev/pts

When this fails another alternative is the following:

script /dev/null
screen

Its a bit of a hack but it gets the job done.

Posted on

Atom Schema or DTD

There is none. Stop looking!

Neither W3C Schema’s or Relax NG are capable of describing the the Atom specification so if you want a compliant validator you’ll need to write your own.

For a thread on the issue see:

No W3C Schema for Atom

I also ran into an interesting thread where James Clark puts forward Relax NG as a serious alternative to W3C Schema.

Relax NG vs W3C Schema

Having dealt with both I can say I prefer Relax NG. Its simpler.

Posted on

SSH stdin is not a tty

I started getting the following error when trying to ssh into a chroot on a debian machine.

stdin: is not a tty

I fixed it using the following entry in /etc/fstab

devpts /dev/pts devpts mode=0620,gid=5 0 0

I’m positive this is not the way I should have fixed it but it works!

Posted on

DMOZ Corruption

Having tried for several years to get into DMOZ and getting rejected every time I always wondered why. There are literally dozens of sites doing exactly the same thing as me, indeed.com, simplyhired.com etc and they are listed. These site have a lot of clout and a lot of money whereas I am a one man band with little cash.

Imagine my surprise when I came across Corrupt DMOZ Editor. I may just have been a bit naive when I assumed that DMOZ was the real deal but this blog has given me food for thought.

Google and various other large sites use DMOZ for seeding their search or for their own directories etc. So If there is any truth in this and DMOZ is rife with corruption then anyone using the data is perpetuating the problem. Putting on my cynical head I can see how DMOZ could be easily corrupted. What I would like to know is if there is any truth in it or not. If so I can forget about DMOZ.

I actually admire what DMOZ is trying to do. I am not sure if it as relevant as it was but I do believe that there is a place online for a human edited directory. DMOZ needs to change though. It is becoming less relevant as time goes by and it would be a shame to see it all go to waste.

The more I dig into this topic on Google the more I feel dismayed. It looks like a lot of the top editors are corrupt and are disabling account of the lower editors that are not. To paraphrase Charles Adams “Bad Editors drive out the Good”,

Here are a few more interesting entries on the topic of DMOZ.

This guys site got banned after he refused to pay a bribe!

Removed from DMOZ for not paying Bribe

The following DMOZ editor’s account was disabled when he tried to do something about the guys website above.

Editor Banned for doing the right thing

Time for ODP to Close (Danny Sullivan)

ODP Founder Coments (Danny Sullivan)

Lords of ODP

Posted on

Debian alternatives and Java

The alternaitives system in Debian is a pain in the arse! It’s one of those things that when you need to use it you spend twenty minutes trying to figure out why various paths etc have changed and then you need to figure out the syntax to change to the path that was working before you installed Tomcat or some other related system that downloads a bunch of stuff and sets itself up as default for the rest of the system. It’s a tad irritating.

I am not saying I know a better way to do it but it still pisses me off. Anyway to use a sane version of java I had to run the following command to get eclipse working again.

$:~# update-alternatives –install /usr/bin/java java /usr/local/sdk-5_05/jdk 1
$:~# update-alternatives –list java
/usr/lib/jvm/java-gcj/jre/bin/java
/usr/local/sdk-5_05/jdk
$:~# update-alternatives –remove java /usr/lib/jvm/java-gcj/jre/bin/java

I now have eclipse working again and tomcat installed. I was going to use jetty6 over tomcat but because Debian comes bundled with a binary tomcat distribution I have decided  to use it. This decision may cost me dearly later.

Posted on

Glibc Double free or Corruption

Don’t go blaming Glibc. You wouldn’t catch me thinking I had something wrong with my c-libs etc. No Way!

Anyway I was getting glibc errors that appeared randomg etc. It turned out I was using HTML::Strip in a non standard way. When you have finished with parse method call you need to call (eof) on the HTML::Strip instance or it all goes horribly wrong.

Posted on

Unison Strike

It makes me sick!

I walk past the Unison building every morning and for the last few days there have been several beggars stood outside asking me for more money.

It galls me to think that the beggars posing as workers think they deserve more money. Damn few of the rest of us are getting anything. In fact we are all TAKING A PAY CUT. Thats what it means when times are tough. But Oh No, if you’re in a union, in particular if you are in the public services you can bend us all over a barrel. Didn’t anyone teach these people economics 101.

1. You force the government to give you a pay rise.
2. The government still needs to pay for hospitals, police, roads etc
3. They raise taxes and print a few billion notes to cover costs.

We’re all feeling the pinch. Petrol is up, food is up, gas is going up and the private sector is suffering. What makes these unions think they deserve the money more than anyone else. They don’t!

I sincerely hope I am not alone in thinking that Gordon Brown should tell them all to grow up. I’m sick of pampered public sector workers thinking they’re having a harder time than anyone else in the country. Their two day strike has cost some families two days more childcare. Did they think about this, I would imagine that the ones organizing the strike have and the more pain they can inflict to get what they want the better.

My personal opinion is that anyone striking for more pay in the current climate should be positively encouraged to find alternative employment elsewhere (fired).

It’s time society and government stood up to unions, that are nothing more than self interest groups and lobbyists, shafting the rest of society. Don’t get me wrong, I have nothing against an honest gripe and workers putting down tools, but this is taking the piss.