Scared of the Peacock Revolution since 2006
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.
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.
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 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!
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 :)