Re: Hurd GSoC 2013 projects

[Justus Winter]

Hi everyone :)

Quoting Thomas Schwinge (2013-06-01 11:00:40)
> First, congratulations again for getting your applications accepted!  In
> no particular order: 陆岳 (Yue Lu) »Improve the GDB Port for GNU Hurd«,
> <http://www.google-melange.com/gsoc/proposal/review/google/gsoc2013/hacklu/1>;

Hi Yue Lu, as someone who was frustrated by gdb on the Hurd in the
past, your project is highly appreciated. May I ask how you like to be
addressed? I'm fuzzy about what your first and what you second name
is...

> Fotis Koutoulakis »Porting the GCC go language frontend on the GNU/HURD
> kernel«,
> <http://www.google-melange.com/gsoc/proposal/review/google/gsoc2013/nlightnfotis/1>;

Hi Fotis, this is very nice. I grew quite fond of Go and will use it
for my project as well. I have written a model checker in Go and look
forward to use it on Hurd. If it would be possible to write
translators in Go this would enable one to write say a translator that
enforces a security policy and have that policy code verified. FWIW
the code is at https://bitbucket.org/teythoon/vgo

> Copyright assignment. [...]

Will do that.

> Weekly reports.

Check.

> Next steps.  It's now the community bonding period, in which you're to
> continue interacting with the projects' community, and slowly begin
> working towards your GSoC projects (subject to first finishing your
> university work, of course).

Anything Debian-specific stuff I can do to bond more strongly with
Debian?

> For example, now it's high time to make
> sure that you have the development environment/infrastructure for working
> on your GSoC project: a suitably powered machine, etc.

I took the opportunity to upgrade my main machine. SSD arrived today
and since I'm going to work a lot with Qemu, this machine could use
the two extra gigs of ram that are laying around here but that I
cannot install in the current mainboad b/c it's so tiny. Replacement
mainboard is due to arrive here this week.

> Justus, anything you need?

Yes. Maybe. I read about the UDD and [0] suggests that one could
access from wagner (alioth). I thought about querying it for relevant
bug reports. Is that worth doing? If so, how do I get an account on
this machine?

Viele Gruesse,
Justus