Little Boxes

Little boxes for little ideas.

About this site

Welcome to the website of Toby Hunt - a postgraduate in ECS at the University of Southampton. Theoretically I'm a member of the DSSE group, though I tend more towards aimless hacking than software engineering. I also appear to be a researcher for the HPC group, although being part of two research groups does seem a little excessive considering I've yet to publish anything.

This site contains a mixture of vaguely research-related links and material pertaining to my PhD studies, and assorted miscellanea pertaining to nothing in particular.

Note: Internet Exploder cannot render some of the CSS used on these pages correctly. I have included an IE conditional comment hack to turn off anything which will chronically break rendering, though an alternative browser is recommended for best effect.

Research topics

Aspect oriented programming

This is just a collection of links for now. I'll create a seperate page once I've generated enough material to warrant one.

Jeeg: The homepage for Jeeg, an extension of Java 1.4 which attempts to replace the synchronized, wait() and notify() constructs with past-tense linear temporal logic. The supplied preprocessor is very much a beta product with a number of notable limitations. The last update to the site was in 2003 and at least one of the original researchers has moved on to other projects.
AspectJ: A fully aspect oriented version of Java, originally designed by Xerox PARC and now a project of the Eclipse community. AspectJ supports most practical kinds of crosscutting and advice, though there may be some seemingly odd restrictions in some places due to the weaver working at the bytecode rather than source level. Also the pointcut syntax may feel alien to Java programmers, borrowing its style more from C than Java.

Previous dabblings

Dirrty dirrty haxx

Health warning: The following may cause serious damage to your brain.

Mushroom

An esoteric language designed by me, involving integers, stacks and not a lot else.

JMushroom 1.10 beta: The latest beta release of the JMushroom interpreter. The ZIP file contains an executable JAR, example programs, a manual and an up-to-date draft of the language specification. This software is for beta-testing only - please do not redistribute.

“Q”

Observe, there is considerable issue with Q...

UltraCompact: 80 characters wide, and full of juicy goodness.
Indented: The more "friendly" indented version, for those who value their whitespace.

(Yes, I am aware that the tail on the lambda is backwards. If it really bothers you, please feel free to fix it.)

Unfortunately Q will only compile under Java 1.5, due to what appears to be a limitation of the parser in previous versions. If anyone manages to get anything other that Sun's SDK 1.5 to swallow the source, I'd be interested to know.

Miscellanea

Everything else I fancied putting on this site.

Bookmarks and Links: Places I visit, or have visited, on the web. Includes my webcomics reading list, plus a collection of links to useful reference sites.