From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from lists.gentoo.org ([140.105.134.102] helo=robin.gentoo.org) by nuthatch.gentoo.org with esmtp (Exim 4.50) id 1Egp7G-0007yX-Bk for garchives@archives.gentoo.org; Mon, 28 Nov 2005 19:56:46 +0000 Received: from robin.gentoo.org (localhost [127.0.0.1]) by robin.gentoo.org (8.13.5/8.13.5) with SMTP id jASJrwhe011790; Mon, 28 Nov 2005 19:53:58 GMT Received: from smtp.gentoo.org (smtp.gentoo.org [134.68.220.30]) by robin.gentoo.org (8.13.5/8.13.5) with ESMTP id jASJoasS008187 for ; Mon, 28 Nov 2005 19:50:37 GMT Received: from 193-172.dsl1.guernsey.net ([213.133.193.172] helo=localhost) by smtp.gentoo.org with esmtpa (Exim 4.43) id 1Egp1I-0001Ve-Bk for gentoo-dev@lists.gentoo.org; Mon, 28 Nov 2005 19:50:36 +0000 Date: Mon, 28 Nov 2005 19:50:32 +0000 From: Tom Martin To: gentoo-dev@lists.gentoo.org Subject: [gentoo-dev] New developer: Alexandre Buisse (Nattfodd) Message-ID: <20051128195032.GA29659@pohl.domain_not_set.invalid> Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-dev@gentoo.org Reply-to: gentoo-dev@lists.gentoo.org Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="C7zPtVaVf+AK4Oqc" Content-Disposition: inline User-Agent: Mutt/1.5.11 X-Archives-Salt: 290acb6f-9be4-483b-a228-ec15c2afc2d0 X-Archives-Hash: 845db5878c1f9d32ef53178de335b028 --C7zPtVaVf+AK4Oqc Content-Type: text/plain; charset=utf8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Hi list, Nattfodd's joining to help with the text-markup herd. His real name is Alexandre Buisse and he lives in Lyons, France, where he is studying for computer science in the =C3=88cole Normale Superieure de Lyon. He's aiming to achieve either a Ph.D. in logic, although he's also considering model theory, lambda calculus or "Curry-Howard things. He is experienced in C and OCaml, which he considers his main languages. He's also competent with Perl, Python and Common Lisp. In addition, he's looking to learn Haskell and Coq (an Ocaml derivative designed for creating formal proofs of mathematical theorems). Alexandre has a patch in Hurd/L4, he is a co-maintainer and creator of funk, a kernel in Ocaml (http://www.gna.org/projects/funk) and he participated in the Google Summer of Code in writing a generational garbage collector, GMC, for the Perl 6 VM (http://www.parrotcode.org). He is also part of the Bed team (http://www.gna.org/projects/bed), aiming to create a vim-like editor in Ocaml. There, he is responsible for the GTK and Cairo side of things. And just to top it all off, he's writing a cairo-based window manager, yauwm. So, please welcome Alexandre to the team. Thanks, --=20 Tom Martin, http://dev.gentoo.org/~slarti AMD64, net-mail, shell-tools, vim, recruiters Gentoo Linux --C7zPtVaVf+AK4Oqc Content-Type: application/pgp-signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.2 (GNU/Linux) iD8DBQFDi1+Ij5KihLXE/4kRAuwdAJ0ZLAVKAyFTaRv8ik6SiF/fqUVKLACgq3ir NMyWDeDkLy7ddResI+WMwkw= =EzPI -----END PGP SIGNATURE----- --C7zPtVaVf+AK4Oqc-- -- gentoo-dev@gentoo.org mailing list