Internship
I have fixed my Hobix setup, so I can write again. There was some problem/incompatibility with the new Ruby 1.8.3 in sid concerning the YAML implementation.
A lot has happened in the past 7 weeks so I don’t know really where to start. I think I’ll start with the current hot item in my life: the internship that I am arranging. I’m planning to visit Scotland, Edinburgh in particular. There, at the Heriot-Watt University I will work on MathLang under the supervision of Fairouz Kamareddine (in Scotland) and Rob Nederpelt (here at the TU/e). MathLang is a mathematical language that will provide support for checking well-formedness and allow for better formalisation while also being usable in the digital world. What my exact assignment will be, I do not know yet, I will hear the specifics soon. For now I know that it has something to do with LaTeX, TeXmacs and Guile GNOME implementation-wise.
I really am excited about going there for three months already, but there is still a lot of stuff to arrange, both financially and formally. I received an extra scholarship today from a faculty institute which helps a lot in the financial department. Now, if I could just have all the form stuff done, I am ready for the local long-term holiday arranging kinda stuff :). Stay tuned…