Re: Request for workers :-)

Marc Petit-Huguenin <marc@petit-huguenin.org> Sun, 07 January 2007 07:16 UTC

Received: from [127.0.0.1] (helo=stiedprmman1.va.neustar.com) by megatron.ietf.org with esmtp (Exim 4.43) id 1H3SH2-0001se-45; Sun, 07 Jan 2007 02:16:56 -0500
Received: from [10.91.34.44] (helo=ietf-mx.ietf.org) by megatron.ietf.org with esmtp (Exim 4.43) id 1H3SH0-0001sY-OW for cosmogol@ietf.org; Sun, 07 Jan 2007 02:16:54 -0500
Received: from www.implementers.org ([69.55.225.91]) by ietf-mx.ietf.org with esmtp (Exim 4.43) id 1H3SGz-0002dq-Ff for cosmogol@ietf.org; Sun, 07 Jan 2007 02:16:54 -0500
Received: by www.implementers.org (Postfix, from userid 1006) id A60E03A0210B; Sat, 6 Jan 2007 23:16:46 -0800 (PST)
Received: from [192.168.0.102] (localhost.localdomain [127.0.0.1]) by www.implementers.org (Postfix) with ESMTP id 0EB733A0210A; Sat, 6 Jan 2007 23:16:43 -0800 (PST)
Message-ID: <45A09E59.2050205@petit-huguenin.org>
Date: Sun, 07 Jan 2007 08:16:41 +0100
From: Marc Petit-Huguenin <marc@petit-huguenin.org>
User-Agent: Icedove 1.5.0.9 (X11/20061220)
MIME-Version: 1.0
To: Stephane Bortzmeyer <bortzmeyer+ietf@nic.fr>
References: <20070106210304.GA14966@sources.org>
In-Reply-To: <20070106210304.GA14966@sources.org>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Spam-Score: 0.0 (/)
X-Scan-Signature: c1c65599517f9ac32519d043c37c5336
Cc: cosmogol@ietf.org
Subject: Re: Request for workers :-)
X-BeenThere: cosmogol@ietf.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: DIscussion on state machine specification in IETF protocols <cosmogol.ietf.org>
List-Unsubscribe: <https://www1.ietf.org/mailman/listinfo/cosmogol>, <mailto:cosmogol-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www1.ietf.org/pipermail/cosmogol>
List-Post: <mailto:cosmogol@ietf.org>
List-Help: <mailto:cosmogol-request@ietf.org?subject=help>
List-Subscribe: <https://www1.ietf.org/mailman/listinfo/cosmogol>, <mailto:cosmogol-request@ietf.org?subject=subscribe>
Errors-To: cosmogol-bounces@ietf.org

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
Home: marc@petit-huguenin.org
Work: marc@8x8.com

_______________________________________________
Cosmogol mailing list
Cosmogol@ietf.org
https://www1.ietf.org/mailman/listinfo/cosmogol