Some of my personal code is hosted at http://github.com/snim2, this includes a rather long .emacs configuration, which may be useful to other emacs users.


As multicore processing and distributed systems are currently hot topics, many researchers and technologists are turning their attention to programming language and systems support for concurrency and parallelism. Tony Hoare's Communicating Sequential Processes (CSP) is one of many formal models of computing that is specifically designed to model communication between concurrent, parallel or distributed parts of a program. In particular, CSP disallows shared memory and provides facilities for synchronous communication between (CSP) processes. This eliminates certain types of error (such as race conditions) and encourages a very elegant programming style. This style fits well with a number of common problems in concurrent, parallel and distributed systems.

Read more... python-csp website


PhD Thesis Template

I maintain a LaTeX template for the University of Wolverhampton PhD thesis style here. Although the template is for our thesis style specifically, it shouldn't be difficult to customise it for other universities. My template is based on the excellent Monash metathesis written by Donald Craig.


pytoradex

pytoradex is a set of Python wrappers around the Oak series of sensors made by Toradex.