Re: [T2TRG] [hackathon] Formal Languages at the Hackathon
Carsten Bormann <cabo@tzi.org> Wed, 06 November 2019 21:02 UTC
Return-Path: <cabo@tzi.org>
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 A020C1200FF for <t2trg@ietfa.amsl.com>; Wed, 6 Nov 2019 13:02:27 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -4.2
X-Spam-Level:
X-Spam-Status: No, score=-4.2 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_DNSWL_MED=-2.3, SPF_HELO_NONE=0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
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 6986FD61BKOi for <t2trg@ietfa.amsl.com>; Wed, 6 Nov 2019 13:02:25 -0800 (PST)
Received: from gabriel-vm-2.zfn.uni-bremen.de (gabriel-vm-2.zfn.uni-bremen.de [134.102.50.17]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 53E00120072 for <t2trg@irtf.org>; Wed, 6 Nov 2019 13:02:25 -0800 (PST)
Received: from [192.168.217.102] (p548DC893.dip0.t-ipconnect.de [84.141.200.147]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by gabriel-vm-2.zfn.uni-bremen.de (Postfix) with ESMTPSA id 477f9q3ZmHzyT7; Wed, 6 Nov 2019 22:02:23 +0100 (CET)
Content-Type: text/plain; charset="utf-8"
Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\))
From: Carsten Bormann <cabo@tzi.org>
In-Reply-To: <19B88297-3EB0-4FDD-86A0-E6118729312F@juniper.net>
Date: Wed, 06 Nov 2019 22:02:23 +0100
Cc: "hackathon@ietf.org" <hackathon@ietf.org>, "cbor@ietf.org" <cbor@ietf.org>, "t2trg@irtf.org" <t2trg@irtf.org>, Deborah Brungard <db3546@att.com>, Alvaro Retana <aretana.ietf@gmail.com>
X-Mao-Original-Outgoing-Id: 594766941.191627-8c16912029267332d129620913db40a9
Content-Transfer-Encoding: quoted-printable
Message-Id: <867BC0C8-651A-4EDA-8C24-2E7C877BF624@tzi.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>
To: Antoni Przygienda <prz@juniper.net>
X-Mailer: Apple Mail (2.3445.9.1)
Archived-At: <https://mailarchive.ietf.org/arch/msg/t2trg/K_2CP20x_q0R-YCs9p1_MdZth-M>
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: Wed, 06 Nov 2019 21:02:28 -0000
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
- Re: [T2TRG] [hackathon] Formal Languages at the H… Carsten Bormann
- [T2TRG] Fwd: [hackathon] Formal Languages at the … Carsten Bormann
- Re: [T2TRG] [hackathon] Formal Languages at the H… Antoni Przygienda
- Re: [T2TRG] [hackathon] Formal Languages at the H… Carsten Bormann
- Re: [T2TRG] [hackathon] Formal Languages at the H… Ted Lemon
- Re: [T2TRG] [hackathon] Formal Languages at the H… Marc Petit-Huguenin
- Re: [T2TRG] [hackathon] Formal Languages at the H… Antoni Przygienda
- Re: [T2TRG] [hackathon] Formal Languages at the H… Stephen McQuistin