Paul's Journal

Two days before Christmas I was invited by my colleague, Krzysztof, and his wife to come over to their place during Christmas to have a (Polish-style) Christmas supper/lunch. This meant that I didn’t have to be home alone on campus for Christmas, just hacking a bit, slumbering and watching some movies/series.

The trip to their home involved quite a walk from the university campus through villages and alongside the Water of Leith, but it was perfect weather to do so (in contrary to the weather on the second day of Christmas). We had a nice supper and I want to thank them for the invitation and the meal.

Work Progress

I feel I have made a lot of progress since the last time I reported. In the past week I have been able to implement a big part of the MathLang checker and create a lot of output generators useful for debugging such as a debugging library for printing data structures, an ASCII tree (a la the output of the tree command) representation of the AST and an AST-DOT-file generator which in turn can be transformed to many formats. I have worked it all out for a simple example that I have just added to my MACS site.

It’s been a while since I have posted. There was nothing specific to report really, besides the fact that our team (during these holiday weeks consisting only of Krzysztof and me) is making quite some process on the MathLang-Core suite.

It’s clear by now that the paper only poses an intuitive understanding of the system and that the semantics and details still have to be worked out. So, while pioneering the system, I have reworked almost any part of my implementation twice already.

Last Saturday I went to the ocean to have look there and made some pictures. Note that during my stay here I will continuously supplement the Edinburgh album with photos without posting about it everytime (fortunately :)).

VPN

I’ve been successful in setting up a VPN connection with the Spacelabs network yesterday using the openvpn system, which seems to work nicely (and simple!). Instead of being behind a NATing router/firewall with a nasty web proxy that sometimes throws IE-style “Page not found” pages at me and a not so well working SMTP relay, I’m completely free again. That is, being virtually present on the Spacelabs network and thus the Internet.

Debian/Ruby

It’s nice to see more Ruby related remarks/posts on Planet Debian. That said, I would like to (ab)use the opportunity to advertise the Debian/Ruby Extras team that is set up for making a team effort of maintaining Ruby libraries and apps (not the core/interpreter). The Subversion infrastructure, build system, documentation and tools have matured a little now, but we still (always probably) could use more help in this area and also the Ruby policy and other issues.

For more information, we normally have our discussions on the #debian-ruby channel (on the FreeNode IRC network).

The past few days I have been accumulating knowledge. I have encountered quite some new concepts and stuff they use here, but also old knowledge had to be refreshed. I have looked again at XML technologies as W3c XML Schema, RelaxNG, XSLT and XML in general. I had to dive into OCaml since that’s the main language used here. Fortunately I can make use of my past Haskell experience there. So now I have yet a new language to add to my used-programming-languages list.

I have used my webspace provided by MACS to set up a page about all my internship work related stuff. It gave me another opportunity to make use of webgen again, what a great tool! Simple text files in a directory structure are converted to a site with such ease. A title, menu and navigation bar, all done automatically and it’s all static HTML in a nice XHTML 1.1 compliant package.

MathLang

I have read all the available presentations and papers on MathLang that I could find. At the TU/e I was taught the Weak-Type Theory by professor Nederpelt (which is a basis for this mathematical language), so I have some background in this area. I’ve tried to write a page about what MathLang is. I’ll probably have to improve the descriptions and make the whole thing clearer.

The Plan

My first task will be to write a MathLang-Core concrete syntax compiler that can generate the still to be defined XML format. The AST used in this compiling process should also be prepared so that the MathLang type checker can run on it. Once the compiling to XML is done, I might be able to use XSLT to transform it back to the original syntax, hence proving the equivalence of the two syntaxes. For monitoring my progress, see my online log.

I wasn’t able to do anything meaningful the first days of my stay. On Friday I had a meeting with Fairouz Kamareddine to talk about what I should do in preparation of my assignment (which will be fully determined next Friday) and what the team is already working on with respect to MathLang.

Shopping

In the weekend I went shopping in a large supermarket (the here infamous ASDA) together with Xiaobin, one of the Chinese guys I live with. I hadn’t realised until that moment that I had to buy some stuff I already had at home, just so that I could drink and eat: mugs, pans, bins, glasses, forks, knives… I hope somehow that I am able to take it home with me, it wasn’t exactly very cheap.

After the shopping frenzy we went to the city centre together which was very busy with people shopping for Christmas. I bought a second power plug converter (type C to G) so I don’t have to leave all my stuff in my room unplugged just so that I can power my laptop at the university and have to set the time on my alarm clock when I return home.

Walking

On Sunday I cleaned up and rested a bit. During the afternoon I got a bit cold and went out for a large walk around and over the campus. During the walk I’ve made some pictures which are available on my Edinburgh album, which I hope to keep filling with pictures the next few months. I’ll probably have to split it up and improve the gallery, but this is what I have for now.

Cycling

Since I have arrived I haven’t seen any bicycles! Zero, zip, nada! People either walk or take the bus. I sure am going to miss cycling. Even if I can get my hands on a bike, it’s probably not safe to use it since the entire traffic system here is not accustomed to take you into account riding on such a thing.

The flight to Edinburgh went just fine. I believe it’s my first time flying 10 minutes ahead of schedule because everyone was already in the plane. I left on 12:35 CET, landed on 12:35 GMT, so no time lost :). After arriving I was dying for something to eat (which I took with me in my coat but it wasn’t really reachable in the plane). So I ate, got some money and took a taxi to the Heriot-Watt University campus.

The university campus

I got dropped off on the campus at the main reception. There I was able to store my luggage and I was kindly directed to the Mountbatten building, home of the school of MACS. There I met Fairouz Kamareddine and two of my direct colleagues: Manuel Maarek and Krzysztof Retel. Fairouz quickly arranged that I got registered as a HW(Heriot-Watt) student, got my MACS account, the accommodation, etc.

With keys, luggage and instructions I took off to the Lord Thomson Hall to find my room. At 17:00 I was completely settled in already. I met my (all Chinese) four kitchmates (yes, it’s a strange word) and went back to the university refectory for dinner. My room is a quite small, at least, smaller than I am used to (about half the area), but it has a bathroom (with shower), gets cleaned weekly and all the heating is included… so I am not complaining.

I must say that the people on campus are very nice. I can ask anyone if I need to know something and I always get help or a kind reply. There are really a lot of foreign students here (about 25%) who all share the same fate.