I finished the proof of concept XML-RPC gateway for MiNDS>, it gives access to both the minds.storage and minds.news features. I’m going to package it up over the weekend. It’s still very rough but it _does_ work and I think it’s a good solution.
Started classes on grammar systems today. The first lecture was pretty awesome. I think a lot of these ideas will influence the direction of my thesis. Considering the original research came from operating system problems, it’ll be interesting to see if I can return it to it’s roots 
It may even have been previously done, so I have to do a literature search.
Szliard and I went out for a beer with Prof. Markus Holzer on Tuesday. He’s a fantastic researcher and really interesting to talk to. His research was the basis for my work on k-TPA which I’m now looking at more positively. I think I can prove an upper bound of ET0L for k-PDA (i.e. PDA not our restricted TPA) using results from grammar systems, more precicely that CD*,*CF(t)=ET0L. I reckon that k-PDA can simulate a CD*,*CF(t) system and vice-versa. I don’t know how the result will hold for k-TPA, but I’m going to assume that it’s reasonably similar or will follow.