[1/2/20011][8:39 AM]
I'm offline

Wednesday, November 18, 2009


The NUM has always regarded education and knowledge as a powerful tool for the working class and as this site develops it is hoped that this will be of assistance in providing the visitor with an understanding of how the world is seen from the eyes of the National Union of Mineworkers.

The National Union of Mineworkers is alive and kicking, and is still representing miners, their families and their communities. The NUM is still very active industrially and politically. It is over twenty four years since the start of the Great Miners' Strike of 1984/85. We warned then that if our arguments for a role for coal in our energy requirements were not heeded then the country would pay a heavy price. Twenty four years on we have been proved absolutely correct.

Most of the nation's collieries have been closed, we are now at the mercy of foreign importers and gas and oil prices are rocketing. Our own gas reserves have been depleted at an alarming rate as we have squandered them in massive quantities in gas-fired power stations when we could have used coal. At the same time we have been squandering our indigenous coal reserves, with which this nation was blessed, by sterilising them in closed coal mines. At the same time we have been squandering the talents of our skilled workforce by making them redundant.

In the next few years we will have to import gas and oil from politically unstable or war torn regions of the world such as Russia, Iran, Saudi Arabia, Algeria and Equatorial, New Guinea in some cases through pipelines wide open to terrorist attack.

We will present the compelling case for Britain's coal industry more fully as the site develops and place the blame for a looming energy famine where it belongs, with those who have and are putting our energy needs in peril for purely political and vindictive reasons.

Don't forget to comment when you are done reading

Friday, November 13, 2009

Symbolic Analysis Laboratory

To become practical for assurance, automated formal methods must be made more scalable, automatic, and cost-effective. Such an increase in scope, scale, automation, and utility can be derived from an emphasis on a systematic separation of concerns during verification. SAL (Symbolic Analysis Laboratory) attempts to address these issues. It is a framework for combining different tools to calculate properties of concurrent systems.

The heart of SAL is a language, developed in collaboration with Stanford and Berkeley, for specifying concurrent systems in a compositional way. It is supported by a tool suite that includes state of the art symbolic (BDD-based) and bounded (SAT-based) model checkers, an experimental "Witness" model checker, and a unique "infinite" bounded model checker based on SMT solving. Auxiliary tools include a simulator, deadlock checker and an automated test generator.

Don't forget to comment when you are done reading

Sunday, November 8, 2009

Chris Levy - What You Feel

Time and space,
There’s a lonely place,
There’s no sound,
Just a heart that pounds,
Life’s unknown, where’s the way back home?
In my mind, there’s a silent cry.

What you feel, what you know,
You’re not in control,
If you just let it go,
There’s a piece you’ll know.

Got to be,
Something bigger than me,
How to find,
Just some peace of mind?
When in sight, part of you gives light.
In my mind, the same tape rewinds.

Don't forget to comment when you are done reading

Saturday, November 7, 2009

pic aku

Don't forget to comment when you are done reading