Gentoo Archives: gentoo-dev

From: Tom Martin <slarti@g.o>
To: gentoo-dev@l.g.o
Subject: [gentoo-dev] New developer: Alexandre Buisse (Nattfodd)
Date: Mon, 28 Nov 2005 19:56:46
Message-Id: 20051128195032.GA29659@pohl.domain_not_set.invalid
1 Hi list,
2
3 Nattfodd's joining to help with the text-markup herd. His real name is
4 Alexandre Buisse and he lives in Lyons, France, where he is studying
5 for computer science in the √ącole Normale Superieure de Lyon. He's
6 aiming to achieve either a Ph.D. in logic, although he's also
7 considering model theory, lambda calculus or "Curry-Howard things.
8
9 He is experienced in C and OCaml, which he considers his main languages.
10 He's also competent with Perl, Python and Common Lisp. In addition, he's
11 looking to learn Haskell and Coq (an Ocaml derivative designed for
12 creating formal proofs of mathematical theorems).
13
14 Alexandre has a patch in Hurd/L4, he is a co-maintainer and creator of
15 funk, a kernel in Ocaml (http://www.gna.org/projects/funk) and he
16 participated in the Google Summer of Code in writing a generational
17 garbage collector, GMC, for the Perl 6 VM (http://www.parrotcode.org).
18 He is also part of the Bed team (http://www.gna.org/projects/bed),
19 aiming to create a vim-like editor in Ocaml. There, he is responsible
20 for the GTK and Cairo side of things. And just to top it all off, he's
21 writing a cairo-based window manager, yauwm.
22
23 So, please welcome Alexandre to the team.
24
25 Thanks,
26 --
27 Tom Martin, http://dev.gentoo.org/~slarti
28 AMD64, net-mail, shell-tools, vim, recruiters
29 Gentoo Linux