Re: Request for workers :-)

Marc Petit-Huguenin <> Sun, 07 January 2007 07:16 UTC

Received: from [] ( by with esmtp (Exim 4.43) id 1H3SH2-0001se-45; Sun, 07 Jan 2007 02:16:56 -0500
Received: from [] ( by with esmtp (Exim 4.43) id 1H3SH0-0001sY-OW for; Sun, 07 Jan 2007 02:16:54 -0500
Received: from ([]) by with esmtp (Exim 4.43) id 1H3SGz-0002dq-Ff for; Sun, 07 Jan 2007 02:16:54 -0500
Received: by (Postfix, from userid 1006) id A60E03A0210B; Sat, 6 Jan 2007 23:16:46 -0800 (PST)
Received: from [] (localhost.localdomain []) by (Postfix) with ESMTP id 0EB733A0210A; Sat, 6 Jan 2007 23:16:43 -0800 (PST)
Message-ID: <>
Date: Sun, 07 Jan 2007 08:16:41 +0100
From: Marc Petit-Huguenin <>
User-Agent: Icedove (X11/20061220)
MIME-Version: 1.0
To: Stephane Bortzmeyer <>
References: <>
In-Reply-To: <>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Spam-Score: 0.0 (/)
X-Scan-Signature: c1c65599517f9ac32519d043c37c5336
Subject: Re: Request for workers :-)
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: DIscussion on state machine specification in IETF protocols <>
List-Unsubscribe: <>, <>
List-Archive: <>
List-Post: <>
List-Help: <>
List-Subscribe: <>, <>

Hi Stephane,

Stephane Bortzmeyer wrote:
> Thanks to everybody who joined the list and Happy New Year for those
> who are now in 2007 (yes, I know there are other calendars, although
> there is no IANA registry for them).
> Since one of the first aims of this list was to test wether or not
> there was sufficient interest for the IETF to dedicate a BoF and may
> be a working group to it, I would like to check if some people here are
> ready to work on Comosgol. I do not ask if you're interested (I assume
> that subscribing to the list is a proof of interest) but if you can
> dedicate human resources on tasks like:
> * working on the Internet-Draft,

Yes.  I'll repost in this mailing-list the comments I sent you in private.

> * working on the current implementation, Shadok, or on another one
> (having two different implementations would certainly be a good
> thing),

I cannot code in Haskell, but I packaged Shadok for the Debian GNU/Linux
 distribution (i386 and amd64).  I am just waiting for a version number
to upload them on a public repository...

> * proofreading,
> * writing state machines in Cosmogol (with an emphasis on state
> machines used in RFC) to stress the language and feel its limits,

I started to convert in Cosmogol the state machines in RFC 3261.  I also
have somewhere the state machine for draft-ietf-behave-rfc3489bis-05.

Do you plan to have some sort of repository of Cosmogol state machines
for IETF protocols publicly available?

> * studying in depth the "competitors" like SDL / Z100 to report about
> wether or not they would be a better match for the IETF and why.

Marc Petit-Huguenin

Cosmogol mailing list