Scared of the Peacock Revolution since 2006
Yesterday, I had a rather belated 21st party. Only 11 months late, so not too bad. It included a quiz! That most people failed at, just like what was planned :D
To continue my amusement, I am posting it here as well. There's a pretty PDF version available, as well as a boring, plaintext version. The actual Keynote file had transitions and stuff, but you had to be there to get those.(More)
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.(More)
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.(More)
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.(More)
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(More)
Not only can you get jumpy elePHPants as well as normal size ones, but there are pink ones too!(More)
This was a triumph, I'm making a note here.(More)
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