What's new?

Plex, SSL and Nginx

How to set up a SSL-encrypted gateway in front of the Plex media server using Nginx as a reverse proxy

I'm a co-author on a paper which was presented at RTNS this year. Sadly I didn't have time to attend the conference, but it's nice to have been able to contribute!
Re-Sampling for Statistical Timing Analysis of Real-Time Systems

ExtJS 4.1.1a Repository Update

Another update to the repository today. ExtJS is bumped to version 4.1.1a, and the latest version of GXT - 3.0.1, also gains a new root in the repository.

Dynamic Disqus Instantiation

I needed to use Disqus from a GWT app, so I needed to solve the problem of loading threads on demand as virtual pages in the app were changed.
A small amount of reverse engineering and experimentation led me to construct a utility class.
I also posted this answer on Stack Overflow.

Followrz

http://followrz.com
A quick and easy way to sort your Twitter followers
Get a better understanding of who’s following you
Prioritise who you want to build relationships with
Download the data and keep records

Spotify for Linux media keys

Spotify can be controlled on Linux using DBUS commands. These can be mapped to keyboard shortcuts.

Lock-Free IPC

I was doing some reading a while back into lock-free algorithms for multi-threaded communication using buffers. The general idea is to use a circular buffer in shared memory to allow one process (or thread) to write data into a buffer so that another process can read it.

ExtJS 3.3.1

Another update, ExtJS is now at version 3.3.1 in the public repository.

GXT 2.2.1 in extjs-public repository

I've updated GXT to version 2.2.1 in the public repository on Google Code.