Re: [T2TRG] [hackathon] Formal Languages at the Hackathon

Stephen McQuistin <sm@smcquistin.uk> Mon, 18 November 2019 07:06 UTC

Return-Path: <sm@smcquistin.uk>
X-Original-To: t2trg@ietfa.amsl.com
Delivered-To: t2trg@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 854C912086B for <t2trg@ietfa.amsl.com>; Sun, 17 Nov 2019 23:06:30 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.897
X-Spam-Level:
X-Spam-Status: No, score=-1.897 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_NONE=0.001] autolearn=unavailable autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=smcquistin-uk.20150623.gappssmtp.com
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id mOZKJKIj_GRA for <t2trg@ietfa.amsl.com>; Sun, 17 Nov 2019 23:06:26 -0800 (PST)
Received: from mail-pf1-x442.google.com (mail-pf1-x442.google.com [IPv6:2607:f8b0:4864:20::442]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 713AF12093A for <t2trg@irtf.org>; Sun, 17 Nov 2019 23:06:26 -0800 (PST)
Received: by mail-pf1-x442.google.com with SMTP id p24so9928956pfn.4 for <t2trg@irtf.org>; Sun, 17 Nov 2019 23:06:26 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=smcquistin-uk.20150623.gappssmtp.com; s=20150623; h=from:message-id:mime-version:subject:date:in-reply-to:cc:to :references; bh=Tgtn+aPKxk8CKpIua84F7MDBMuF8xubrQ8hZRM0d5xI=; b=OuVZYpmGd/S+JBhx4KvgOk53/ZrcrBr8NMVvQ4hQzcFcAaIGN0S0auSfvrtTqQ1IMg WO/hHeliG/CsizPj1f+Div9sxBcLKb4cpQsGZYpxydwIY4UJF3kAspwSBzp+vBd9GVGS D1BheE9A01Us6/AIW+FrTje3aI0j6Dx3CEqTzDC+lbR3CFE6wYQlQ0nr/eB1B5M/m/jP fOCC5M+t5eCYSemBUeYb2OtvavU/rQbwh2DQIToW0XbXndmfCIqmaqLIe7HHMpPykiGb KZ9BNhO8qKPypXs+Kr3rp/TsMPp3uABNPxKzDrxIl3gtt6sco3q1WnPX+G6QVyhxzA2k QNCg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:message-id:mime-version:subject:date :in-reply-to:cc:to:references; bh=Tgtn+aPKxk8CKpIua84F7MDBMuF8xubrQ8hZRM0d5xI=; b=Cyk1PHd7lX+jWBojoh03BjV1sKCR8ucINJKKvRMvvqr5w8jInq/a7iZlZm2RAlMRZM QCEx7oCQbZxYmIqdMW6Wx5T/n6PPz0H4IjlPWYvDHF6kNg2swF4yxbuDUXdTEQRuVyKs jEnVq62wFFUk40Mma9RSGff6xC4Y2LPh+N9zpYlzRCBKy+nTzeMRNEiJUF4xru6irkcQ k2Q9rUKRGhv9+sPzoyJl4n+yheX2/4aBOr9bauQkfiLD6uxzdmUdmil9CXysIqAFBwFq WZz1LcJH21h3b8eOaigZKOOkS09aIr+PSrtdj/WhUEg7AubAPnoVCDZO0aI1FUuoNzt2 fjVA==
X-Gm-Message-State: APjAAAU9VeDLq136OJCneMOserp2K7vnF4osNCV3g4T8f2caf+B9+8fP ZM04vmgwH7Lko+p2L18SKOonEQ==
X-Google-Smtp-Source: APXvYqyruwEN3RJRLK8b38nReiC0AqgCbqGSxUkMsxXvIAIDnAGg7IDfGdKHPb2b7BHoMBQZuAibVw==
X-Received: by 2002:a63:68c3:: with SMTP id d186mr14710243pgc.301.1574060785903; Sun, 17 Nov 2019 23:06:25 -0800 (PST)
Received: from dhcp-98be.meeting.ietf.org (dhcp-98be.meeting.ietf.org. [31.133.152.190]) by smtp.gmail.com with ESMTPSA id f24sm17087902pjp.12.2019.11.17.23.06.21 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 17 Nov 2019 23:06:24 -0800 (PST)
From: Stephen McQuistin <sm@smcquistin.uk>
Message-Id: <FD8E1983-54C6-439E-A838-DA774EEDC1FA@smcquistin.uk>
Content-Type: multipart/alternative; boundary="Apple-Mail=_37E31E01-4A46-46B8-BB67-817DB3D0CF58"
Mime-Version: 1.0 (Mac OS X Mail 13.0 \(3594.4.19\))
Date: Mon, 18 Nov 2019 15:06:19 +0800
In-Reply-To: <b73d9abf-ce92-0498-9604-0ee30d306901@petit-huguenin.org>
Cc: Ted Lemon <mellon@fugue.com>, Carsten Bormann <cabo@tzi.org>, Deborah Brungard <db3546@att.com>, "t2trg@irtf.org" <t2trg@irtf.org>, Alvaro Retana <aretana.ietf@gmail.com>, "cbor@ietf.org" <cbor@ietf.org>, "hackathon@ietf.org" <hackathon@ietf.org>, Antoni Przygienda <prz@juniper.net>
To: Marc Petit-Huguenin <marc@petit-huguenin.org>
References: <4BD0608C-A277-4130-B85C-D7A75FAEFD8F@smcquistin.uk> <C464EE6D-3DF8-4101-AA26-BD38A61F8E7B@tzi.org> <FF14A414-758A-462A-ADF4-3B6EF051FE32@juniper.net> <26630BB7-A8A6-4A35-BF22-22CEDFDBE3E3@tzi.org> <19B88297-3EB0-4FDD-86A0-E6118729312F@juniper.net> <867BC0C8-651A-4EDA-8C24-2E7C877BF624@tzi.org> <76A4AEEE-7773-4031-988E-00466B23C15E@fugue.com> <b73d9abf-ce92-0498-9604-0ee30d306901@petit-huguenin.org>
X-Mailer: Apple Mail (2.3594.4.19)
Archived-At: <https://mailarchive.ietf.org/arch/msg/t2trg/GpSzebH5kbpT-PKj7ZfZM2t2TYg>
Subject: Re: [T2TRG] [hackathon] Formal Languages at the Hackathon
X-BeenThere: t2trg@irtf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: IRTF Thing-to-Thing Research Group <t2trg.irtf.org>
List-Unsubscribe: <https://www.irtf.org/mailman/options/t2trg>, <mailto:t2trg-request@irtf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/t2trg/>
List-Post: <mailto:t2trg@irtf.org>
List-Help: <mailto:t2trg-request@irtf.org?subject=help>
List-Subscribe: <https://www.irtf.org/mailman/listinfo/t2trg>, <mailto:t2trg-request@irtf.org?subject=subscribe>
X-List-Received-Date: Mon, 18 Nov 2019 07:06:30 -0000

Hi all,

Given the amount of discussion about this, a new mailing list has been created:

	https://www.ietf.org/mailman/listinfo/fdt <https://www.ietf.org/mailman/listinfo/fdt> (fdt@ietf.org <mailto:fdt@ietf.org>)

The list is for the discussion of formal languages, as they pertain to IETF documents. This includes discussion of the requirements of these techniques, and of their adoption within the IETF.

In addition, a reminder that we’re holding an informal side meeting on Thursday at 8pm. This’ll be at The Winery at CHIJMES (Google Maps: https://g.page/thewinerysg <https://g.page/thewinerysg>) — CHIJMES is across the road from the meeting hotel; once there, The Winery is downstairs. If you’re planning to come along, let us know so that we don’t miss anyone.

Thanks,

Stephen

> On 7 Nov 2019, at 05:13, Marc Petit-Huguenin <marc@petit-huguenin.org> wrote:
> 
> Maybe we need a new mailing-list to discuss formal languages...
> 
> On 11/6/19 1:11 PM, Ted Lemon wrote:
>> This is getting kind of long for the hackathon mailing list (not that I object to formal languages!).
>> 
>>> On Nov 6, 2019, at 10:02 PM, Carsten Bormann <cabo@tzi.org> wrote:
>>> 
>>> On Nov 6, 2019, at 18:20, Antoni Przygienda <prz@juniper.net> wrote:
>>>> 
>>>>>  When the complexity of the data being modeled dominates your thinking …
>>>> 
>>>> Tony’s dogma: “Complexity of any successful technology _always_ goes up with time” 😉 😉
>>> 
>>> Indeed, that’s why I talked about “dominates your thinking” (as opposed to “should dominate your thinking”).
>>> 
>>> An interesting effect of having a great FDT technique is that it becomes much easier to handle complexity.
>>> A follow-on effect is that, as it is so much easier to put in complexity, you do put in more of that.
>>> Which will hurt you sooner than you think (*)…
>>> 
>>> So I strongly believe that a prerequisite of using FDT successfully is that the formal model of your shiny new RFC should now fit on one slide.  (Which actually works out for RFC 7071 (+)!)
>>> 
>>> Grüße, Carsten
>>> 
>>> (*) I still remember when I first read the ASN.1 for GSM MAP.  All 950 pages [IIRC] of it…
>>> (+) https://tools.ietf.org/html/rfc8610#page-61
>>> 
>>> _______________________________________________
>>> hackathon mailing list
>>> hackathon@ietf.org
>>> https://www.ietf.org/mailman/listinfo/hackathon
>> 
>> _______________________________________________
>> hackathon mailing list
>> hackathon@ietf.org
>> https://www.ietf.org/mailman/listinfo/hackathon
>> 
> 
> 
> _______________________________________________
> hackathon mailing list
> hackathon@ietf.org
> https://www.ietf.org/mailman/listinfo/hackathon