November 27th, 2008
Bonobo - Days to Come
lyrics music
Couldn't find a listing of this, so here you go.
Journey set sail was to leave,
Cause I'm only birds & bees,
Lose and news and all things be,
Sunlight garden low red blossoms,
Moon tides of the sea,
When struggling for a magic grain,
We throw life to the winds like rain,
For goodness sake,
Spare your failings and take the ability,
To strengthen,
Our spirit can stimulate all minds,
Blossoms of days to come,
Blossoms of days to come,
Move away from your western guns,
Travel towards eastern suns,
Far above all earthly goals,
A pledge for creation's soul,
Spirit finds fresh morning and the dew of precious things,
Hope is a Phoenix building wings to fly,
And what we wish shall be,
Like a breathe of fresh air,
Safe and secret powers that no love can spare,
Move away from your western guns,
Travel towards eastern suns,
Far above all earthly goals,
A pledge for creation's soul,
Far above all earthly goals,
A pledge for creation's soul,
Move away from your western guns,
Travel towards eastern suns,
Far above all earthly goals,
A pledge for creation's soul,
Move away from your western guns,
Travel towards eastern suns,
Far above all earthly goals,
A pledge for creation's soul,
Far above all earthly goals,
A pledge for creation's soul.
November 10th, 2008
C
You've got to get used to pointer chains and how to use them, memory allocation and how to use that. Once you've got the hang of that, everything is simple; and until you've got the hang of that, nothing will make any sense.
November 1st, 2008
Coq Ide on OS X
compsci mac
I've been using the Coq proof assistant recently in a module for Comp Sci and found that the latest OS X i386 binary (8.1pl2) on the Coq home page to be broken.
There are a couple of solutions.
The first is to download the previous binary release, v8.1, from here on the Coq site.
You'll need to start X11 before you start Coqide and it seems to crash the first time, but runs fine after that.
I also installed Coqide through fink using the v8.1 packages supplied here, which seems to be less broken than the binary releases. Just read through their readme and you should be good to do.
In case you haven't already, add the Fink path to xterm in X11, create or edit ~/.bashrc so it contains the following:
#!/bin/bash
. /sw/bin/init.sh
Be sure to add the '. /sw/bin/init.sh' line after '#!/bin/bash', but before any other programs are run in the file.
With the Fink installed Coqide you can start from Terminal.app without X11 already running.
Start with 'coqide' in either Terminal.app or X11's xterm, or if you haven't sorted your paths, then '/sw/bin/coqide'.
If you've already got a Unix box or virtual machine on your Mac or something, then another more geeky, but quick, way of getting Coqide working is to X forwarding.
For example, using my Ubuntu server, to install and X11 forward Coqide only took a couple of commands.
On the Linux box:
'sudo aptitude install coqide'
On the MBP:
'ssh -Y user@hostname'
'coqide'
Enjoy.
