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
- Request for workers :-) Stephane Bortzmeyer
- Re: Request for workers :-) Stephane Bortzmeyer
- Re: Request for workers :-) Stephane Bortzmeyer
- Re: Request for workers :-) Cullen Jennings
- Re: Request for workers :-) Marc Petit-Huguenin
- Re: Request for workers :-) Stephane Bortzmeyer
- Re: Request for workers :-) Stephane Bortzmeyer
- Re: Request for workers :-) Stephane Bortzmeyer