ElePHPant Haven

I have moved! Physically, that is. From there to here. I now have some amazing things like "space", "sun" and "working doors". I hear those are good things to have. Anyway, as seems to be the tradition, I get to have another flat warming. Though the sun does a good job of that already.

This one will be on the 9th of March starting at around 1300, going until people leave or get kicked out. Dinner may even occur during that time.

There will be wifi, which may even be upped to the phat 100/10 pipe by then, a special guest ("I'm a special guest!" the special guest said while reading that) and maybe some sort of party food. Like fairy bread. I should totally have fairy bread. The wifi's probably going to be passworded, since I can't be bothered turning that off and I don't think this base station can make a guest network. You can type the password in by hand if you want it. Oh yeah, no booze. Apparently that's still not a given.

Finished my Honours. Brain is still complaining. You can read my report on explaining type errors in Haskell if you really want to.

I gave a talk at Vive tonight. The original idea was to have it on discerning God's will. It kinda turned into I have no idea what. As is common when I give a talk I write entirely myself (so, not the one I gave during youth alpha), you get my notes! So no ad libs and stuff. Maybe I should start recording them.

I even got a picture of this one! Thanks to Guy.

Explaining Type Errors in Haskell

I propose conducting research into improving the error messages provided by the Haskell type system. This would be done by implementing a different algorithm for the type checking system that provides more information about type errors.

This finally happened. I mean, I started on it last November, then spent most of the time when I was the only one in the office on it too. However, that's all in the past and it's live and downloadable! WOO!

So, yeah. this happened.

:D

These seem to be becoming a yearly occurrence. They'll probably stay like that for a while too.

I was going to record it this year, so I could then transcribe what I actually said rather than post what I wrote, but I forgot to grab my phone as I went up. So you get my unedited notes instead. Hooray!

Maybe next year I'll actually figure out how to record things from the console, or just stick in an aux/monitor and use that.

I'm shameless ripping this from Lauren, though I may not have answers for all the prompts.

2011 is gone, so it's time to answer some questions about it that may or may not serve any point.

I got made exempt from requiring an undergraduate degree to get into Honours! Just need the compsci people to let me into the courses now, though there's no reason why they shouldn't :)

Confirmation of Programme
For your records, here is a confirmation of the programme(s)
   and course(s) for which you have applied:

Programmes
BSCHON - Bachelor of Science with Hons

Major
Computer Science

BSC - Bachelor of Science

Majors
Mathematics
Computer Science

Courses
COMP 425: Computational Logic
COMP 489: Research Project
MATH 432: Matroid Theory
MATH 435: Computability and Complexity
MATH 483: Special Topic
SWEN 423: Object-Oriented Paradigms
SWEN 430: Compiler Engineering

Not only can you get jumpy elePHPants as well as normal size ones, but there are pink ones too!

I gave a talk tonight at the SilverStripe meetup on SilverStripe and PHP5.4. A PDF copy of my slides is available here.

This was a triumph, I'm making a note here.

I am the only one to blame for this
Somehow it all ends up the same
Soaring on the wings of selfish pride
I flew too high and like Icarus I collide
With a world I try so hard to leave behind
To rid myself of all but love
to give and die

The server that runs the Welshs Books point of sales system decided to pick a sad and failed to finish booting. It's a Mac Mini running Mac OS Server 10.6(.7). After taking it home, setting it up headless and doing some magic I got it to finish booting and could SSH in over an ethernet cable.

Since I'm a nice admin with full root access to a system I don't use, I figured I may as well run softwareupdate while it's sitting on my desk (cause the ADSL it's normally on sucks). Instead of turning on internet sharing, I started finding out how to get the server to join my wifi. Normally this involves clicking on a menu item, pasting my password and hoping I got my password right. Turns out it's a lot harder to do via the command line.

Contrary to popular belief, I am not ≥25, but am only 19. Though that's changing sometime soon. As such, you should all get me "leaving teenager-ness" gifts, or something. I've even made a small list of some of the things I may want and my previous list is probably mostly still accurate, though you could be creative as well. Creativity is occasionally fun, I'm just no good at it :)