If you’re a student at the University of Copenhagen, you’ll probably have noticed that we recently switched to new, horrendously hard to remember usernames for logging into punkt.KU (affectionately known as license plates).
In order to better cope with change, I present to you a few tools to help make the transition smoother.
[...]
I recently switched browser to Google Chrome, and one of the things I started missing from Firefox was a few of the Greasemonkey scripts I had installed.
Now, luckily, most simple extensions can be installed directly with no problem in Chrome, but a few of them sadly can’t.
One of the ones that couldn’t was YouTube Title Adder, so I thought I’d go and port it to Chrome.
Now, a few hours later, I can present you with a new, and slightly improved, YouTube Title Adder for Chrome.
[...]
I’ve been fiddling a bit with jQuery for a small project of mine,* and ended up needing to position an element somewhere on the screen. This gets fiddly in CSS when you don’t know the exact size of the element, but in jQuery, it’s a breeze. At least with my little plugin. [...]
