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.
October 15th, 2008
007
lyrics music
Dem a loot, dem a shoot, dem a wail,
A Shanty Town,
Dem a loot, dem a shoot, dem a wail,
A Shanty Town,
Dem rude boys out on probation,
A Shanty Town,
Them a rude when them come up to town,
A Shanty Town,
August 25th, 2008
Born of a broken man
lyrics
Like autumn leaves,
His sense fell from him,
An empty glass of himself,
Shattered somewhere within,
His thoughts like a hundred moths,
Trapped in a lampshade,
Somewhere within,
Their wings banging and burning,
On through endless nights,
Forever awake he lies shaking and starving,
Praying for someone to turn off the light.
August 6th, 2008
band, music, numinous, recording
I've recently acquired a MOTU 828 Mk2 sound interface; which is a really nice quality piece of kit with a crapload of I/O. Basically, this means I should be able to record drum stuff and other band things to a good quality without paying loads for studio time. I'll see how it goes, I've got a lot to learn about drum micing, etc. In addition, there's a new Numinous video diary type thing online, here it is for your viewing pleasure!
July 28th, 2008
HR Business Dynamics
code, site
I've recently been working on the backend for a simple site, HRbusinessdynamics.com. Will designed and wrote the front end and I've plumbed in a simple, lightweight way of managing the content and downloadable resources.
It looks like Will and I will have a few more similar projects to come, which is great news and a good excuse to get to grips with Python.
July 28th, 2008
Numinous Log
band, log, numinous, youtube
Numinous, the band I play the drums in, have started recording bits and pieces from our practices et al. The idea is that, as we're not very good at writing news, we can just film things and publish that instead. We'll see how it goes, in the meanwhile; enjoy the first video from our 25th July pracice.
July 27th, 2008
drums, music
I finally visited Drum Wright to get some new drum stuff. Ended up buying some very nice K Custom Hybrid 14" hi-hats and a cheap 8" splash which sounds oddly like a miniature China!
July 13th, 2008
Update
code, image, site
So, I've decided to update the look of the site as it's been half finished for a few months now; not sure it'll stay like this. I've also added 'Audio' on the right panel, which parses one of my user feeds from Last.fm.
Here's a pic of the site at the time of writing...
May 27th, 2008
Threaded
code, site, t-shirts, threaded, uni
For the Web Programming and Scripting module last semester we had to make a website where you could customize, preview and order t-shirts. The name is a play on the computing term thread and a homage well-known online t-shirt seller...
Overall, I went a little overboard, you can see the result here.
(P.S. If you get as far as the order page, don't hold out on actually receiving any tees...)
February 25th, 2008
quote
"Turn off your mind, relax and
float down stream"
Tomorrow Never Knows
January 30th, 2008
game, uni
THE ERA AND TIME OF
THIS STORY IS UNKNOWN.
AFTER THE MOTHERSHIP
"ARKANOID" WAS DESTROYED,
A SPACECRAFT "VAUS"
SCRAMBLED AWAY FROM IT.
BUT ONLY TO BE
TRAPPED IN SPACE WARPED
BY SOMEONE...
January 28th, 2008
music, thought
Peach, Plumb, Pear.
January 17th, 2008
music, quote
"And the rest of our lives will the moments accrue
When the shape of their goneness will flare up anew
And we do what we have to do, re-loo re-loo
Which is all you can do on this side of the blue
Oh it's all that you can do on this side of the blue"
Joanna Newsom
December 23rd, 2007
music
W,a,g,o,n,c,h,r,i,s,t. Oooh, haha.
December 17th, 2007
music
She must be a thelma or Louise, she must be a post modern sleeze.
December 16th, 2007
film, quote
You're one to talk, you bloodless money grabbing freak
December 2nd, 2007
code, uni
December 1st, 2007
thought
It's not foggy...
December 1st, 2007
10:40pm
poem
Do not take the back off me and pull me apart,
No tools will fix me, It's my will that's ill.
There's no magic key,
I'm not broken,
I've stopped.
by Ellie Boyle
