1 |
-----BEGIN PGP SIGNED MESSAGE----- |
2 |
Hash: SHA1 |
3 |
|
4 |
On 10/09/2013 02:44 AM, justin wrote: |
5 |
> Hi all, |
6 |
> |
7 |
> it is again the time to introduce a face to the crowd. |
8 |
> This time it is Ruud Koolen (redlizard) from the Netherlands. |
9 |
> |
10 |
> He is a skilled programmer with knowledge about system and network |
11 |
> administration, and has deeper interest in theoretical computer science. |
12 |
> |
13 |
> On Gentoo he contributed to "RAP" and expressed interest to expand his |
14 |
> toolchain and base-system work from Prefix to Gentoo in general. |
15 |
> Hopefully we will see many contributions to come. |
16 |
> |
17 |
> This is how he describes himself: |
18 |
> |
19 |
> "I am a master student and (hopefully) soon-to-be PhD student of |
20 |
> computer science and engineering; as such, I am interested in |
21 |
> theoretical computer science and mathematics, and am doing research in |
22 |
> formal methods. |
23 |
> |
24 |
> On the more down to earth software development level, I enjoy working on |
25 |
> behind-the-scenes work and base infrastructure, such as toolchain and |
26 |
> base-system topics. I plan on doing much work on gentoo prefix, where I |
27 |
> have been doing exactly that working with Benda Xu (heroxbd) on the |
28 |
> "prefix with libc" project. |
29 |
> |
30 |
> Outside the technical topics I am quite a fan of card-, board-, and |
31 |
> role-playing games." |
32 |
> |
33 |
> Please give him all a very warm welcome! |
34 |
> |
35 |
Congrats redlizard! You have already been a valuable asset to the |
36 |
prefix team for a while now, I'm glad that you finally got a cool email |
37 |
address to go with it :-) |
38 |
|
39 |
- -Zero |
40 |
-----BEGIN PGP SIGNATURE----- |
41 |
Version: GnuPG v2.0.22 (GNU/Linux) |
42 |
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/ |
43 |
|
44 |
iQIcBAEBAgAGBQJSVWAEAAoJEKXdFCfdEflKovMQALSOc9UmR66/r2RBpQFlysHD |
45 |
/4q3TUkhTmeLTDdl2QMh4xvqL7P2rxJ3EXygf891lfFDfKt35Rrt9fQq184EbKS3 |
46 |
Du7G/botj77Zd8hajJG0zQtN9wJnKdpO6LmLGnhXv4JfUO0Oh1P6GwzCrhgsaKIg |
47 |
nFkCmointoSWKmzzij2aUkPX9/nk3hYYzvlnbUwhFJq86ht6YMkfI/ojT2pLmy0k |
48 |
WQqoXo58Yo9IFgjblY2WgUCEDN41Chwl6tF8kJkS+IF5ADfVlIuAhKWizELSf1mw |
49 |
HwEGPEO9D7OlV+TdPyJpuSOOaQy5fucrqSbRTDXFR8sHxrlV3OmdAimmuTXg6Kz2 |
50 |
2UcuoZrVE/R0BzBAqRmzORVhSEXZbAp1Xhmet6S/WNZEvsjJaKkSs7GYJBg/xse2 |
51 |
UcSZ/ZxkelV9bbUwPWclGgbriQ5yD0LvXQBUbHZjOU/WgalCzlHgsnpK67WCmoWs |
52 |
f97Ji7Y9mLJ+fXOFk9x2d9iUUWVxbV7MQGlZbMsOATzEvIJNCq7dsMhCNmAxdutR |
53 |
1rZUDcY72tgkqsoj4jEo5pocA3QgwI0YWXxphXOA9UoeI1+8y0fIUJ7DWQel0rjA |
54 |
/gRhEET+QlntzPkBWE7Wi4rdL5Edd82VsOoMduqW9Ueu/tPByvlyaUKXqbBcF+gz |
55 |
tqSztSSLPGHn/UIjmGnV |
56 |
=C1Uu |
57 |
-----END PGP SIGNATURE----- |