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

Antoni Przygienda <prz@juniper.net> Wed, 06 November 2019 17:21 UTC

Return-Path: <prz@juniper.net>
X-Original-To: cbor@ietfa.amsl.com
Delivered-To: cbor@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 0C0C7120090; Wed, 6 Nov 2019 09:21:05 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.7
X-Spam-Level:
X-Spam-Status: No, score=-2.7 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIMWL_WL_HIGH=-0.001, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=juniper.net
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 neiJLFNLOBNs; Wed, 6 Nov 2019 09:21:03 -0800 (PST)
Received: from mx0a-00273201.pphosted.com (mx0a-00273201.pphosted.com [208.84.65.16]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 76878120089; Wed, 6 Nov 2019 09:21:03 -0800 (PST)
Received: from pps.filterd (m0108159.ppops.net [127.0.0.1]) by mx0a-00273201.pphosted.com (8.16.0.42/8.16.0.42) with SMTP id xA6HHVVL000771; Wed, 6 Nov 2019 09:20:59 -0800
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=juniper.net; h=from : to : cc : subject : date : message-id : references : in-reply-to : content-type : mime-version; s=PPS1017; bh=f5w85fNAfaHAR2105XxT7EYAW6ol9geVNNPRSWx1Rr8=; b=iA/6pS8OjjFbwYmBkf+p+QCv/k15mjbHwA1cC3wskyaaHSqxORriF4/tKtu1cSZdIegY Xzk+8fgnejF6n+XDMLqrQCQfUt9o8Rq9c9kJSatR243j03ffMD+JVwe/m39sSfdk+1Oa M07PJ6UhZm1XLJxTMXeKpnV41+UIVbsbsDxX1uoeHfu1O3cq1mcdCxeUojh9MgAHBPcQ 0dktk9HI+EPZUPXCmOdh0ijZLXqD8yTiXL1UiX+Kg/Li+m57SqLqPxMmRByiB8/phcRC 59YSpd1EXOiino84gmmUgwY+DIKpeA55fJjeN8MC8pRUkbNGurni5jnwiBch8VS83noR pQ==
Received: from nam05-dm3-obe.outbound.protection.outlook.com (mail-dm3nam05lp2051.outbound.protection.outlook.com [104.47.49.51]) by mx0a-00273201.pphosted.com with ESMTP id 2w41vd82qe-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=NOT); Wed, 06 Nov 2019 09:20:59 -0800
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=dJK+z7pKmjZizbjubI6J51oNRFijSYVoRBtI7yl3vJ6cdA/J4Tf34F/q8f9QXlbQj+M+3Bh7Fg/nfO/5kKB6xBjcCPAuQOF1a74KEjX18NITJfSS9QdqSZ8+yeDng9PeJYx0XUzfznizKpcz/O1innyvec47JtdHX104UdALxvOpK2jxWbVe3t9zyKnW6EaWzlO6yRDmsDt/WxZiatnEjKl7kE/S5s/I0Bm7n8kdjxB7KgMposTWNFWBa73dk1KDpMBumxNAY8UUGJwVHFqg2odoWww7KZ9h06/1nz6CX5RXj6AjW0KafIdO+5qhsqTEu0+hDgPoYskAREmC8SZGmw==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=f5w85fNAfaHAR2105XxT7EYAW6ol9geVNNPRSWx1Rr8=; b=jiBzIuFPPgemy+OEyVCcdUOk6kJk/uSgfWNJiigfcnYOX61gGi3irtr6FyEwYS5PenbfX8WG+E9PTECncYF0ZDjKsnr+7DthAmP0iaChMjKlXw3V5+C1B5O/f90H37W9L3CpjsdjhFT2wHXjTcGuvjyfw8woHZi8OOtF9qqrv3tf6UVKEPlbKjMSqrq2Of9iblfGuFPZS6H+RB33BIMbJ7BzFcj6vTY5/wmQogkYQl7jij1NOswcbPQRrIVkw6VnyImGb/2PKXpOQnHY3PM8nllH4d9NC0Az5mFJUWv6swQjJW+XwlUr4I/LDD/2TlIXUegrRHqkYQji2/PFofzL2Q==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=juniper.net; dmarc=pass action=none header.from=juniper.net; dkim=pass header.d=juniper.net; arc=none
Received: from SN6PR05MB5613.namprd05.prod.outlook.com (52.135.109.221) by SN6PR05MB5391.namprd05.prod.outlook.com (52.135.111.23) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2430.16; Wed, 6 Nov 2019 17:20:57 +0000
Received: from SN6PR05MB5613.namprd05.prod.outlook.com ([fe80::1cff:aada:b864:8c83]) by SN6PR05MB5613.namprd05.prod.outlook.com ([fe80::1cff:aada:b864:8c83%7]) with mapi id 15.20.2430.020; Wed, 6 Nov 2019 17:20:57 +0000
From: Antoni Przygienda <prz@juniper.net>
To: Carsten Bormann <cabo@tzi.org>, "hackathon@ietf.org" <hackathon@ietf.org>
CC: "cbor@ietf.org" <cbor@ietf.org>, "t2trg@irtf.org" <t2trg@irtf.org>, Deborah Brungard <db3546@att.com>, Alvaro Retana <aretana.ietf@gmail.com>
Thread-Topic: [hackathon] Formal Languages at the Hackathon
Thread-Index: AQHVlIpUHHz09UBtGESbEgrp8q5at6d+R96A//+ODYCAAIvGgP//fCCA
Date: Wed, 06 Nov 2019 17:20:57 +0000
Message-ID: <19B88297-3EB0-4FDD-86A0-E6118729312F@juniper.net>
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>
In-Reply-To: <26630BB7-A8A6-4A35-BF22-22CEDFDBE3E3@tzi.org>
Accept-Language: en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
msip_labels: MSIP_Label_9784d817-3396-4a4f-b60c-3ef6b345fe55_Enabled=true; MSIP_Label_9784d817-3396-4a4f-b60c-3ef6b345fe55_Name=Juniper Business Use Only; MSIP_Label_9784d817-3396-4a4f-b60c-3ef6b345fe55_Enabled=true; MSIP_Label_9784d817-3396-4a4f-b60c-3ef6b345fe55_SiteId=bea78b3c-4cdb-4130-854a-1d193232e5f4; MSIP_Label_9784d817-3396-4a4f-b60c-3ef6b345fe55_ContentBits=0; MSIP_Label_9784d817-3396-4a4f-b60c-3ef6b345fe55_Method=Standard; MSIP_Label_9784d817-3396-4a4f-b60c-3ef6b345fe55_ActionId=a4095b3b-40e5-4dd9-8620-0000a21454a9; MSIP_Label_9784d817-3396-4a4f-b60c-3ef6b345fe55_SetDate=2019-11-06T17:19:47Z;
user-agent: Microsoft-MacOutlook/10.1f.0.191103
x-originating-ip: [66.129.239.12]
x-ms-publictraffictype: Email
x-ms-office365-filtering-ht: Tenant
x-ms-office365-filtering-correlation-id: 4c2e9983-ff8e-4e3a-2fe8-08d762ddb005
x-ms-traffictypediagnostic: SN6PR05MB5391:
x-microsoft-antispam-prvs: <SN6PR05MB53918166EF8F03653ACFA0B0AC790@SN6PR05MB5391.namprd05.prod.outlook.com>
x-ms-oob-tlc-oobclassifiers: OLM:3826;
x-forefront-prvs: 02135EB356
x-forefront-antispam-report: SFV:NSPM; SFS:(10019020)(346002)(396003)(376002)(136003)(366004)(39860400002)(199004)(189003)(76116006)(316002)(66066001)(26005)(81156014)(6486002)(6506007)(6246003)(86362001)(486006)(11346002)(99286004)(2501003)(2616005)(7736002)(476003)(446003)(8676002)(81166006)(5660300002)(8936002)(76176011)(558084003)(14454004)(58126008)(25786009)(186003)(33656002)(102836004)(229853002)(54896002)(6306002)(36756003)(6512007)(3846002)(71200400001)(66476007)(6116002)(256004)(478600001)(71190400001)(66946007)(66556008)(64756008)(6436002)(4326008)(54906003)(66446008)(91956017)(2906002)(110136005); DIR:OUT; SFP:1102; SCL:1; SRVR:SN6PR05MB5391; H:SN6PR05MB5613.namprd05.prod.outlook.com; FPR:; SPF:None; LANG:en; PTR:InfoNoRecords; A:1; MX:1;
received-spf: None (protection.outlook.com: juniper.net does not designate permitted sender hosts)
x-ms-exchange-senderadcheck: 1
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info: zqJZeakn9qEUjyhGtyFg7KES6Sho9ZduGwISRexoUMfEF5WZj69sWzG4KY8/o42OU4IMfqQsfAHrj2ZNCn87Qnqp4+xIlcvNRBVT9QRXzATPQaGFRY1UMF0voJJaKOfvPwLVfkEKneUwgjLIAjB/l/IlB3qvAxaczlMTTCpSuIzx/WAlDA06N1gf9TQKWocD2WOEQrDCJ5O2ab7/rwTKZLOqybQ01TyA2WfNQoaT05LTKWG0Y5vKP/AS3x60m5041Z/V40y0Bnp2pw7jG4FAMuBjtOed0nBTT2KNNsAB9WcT5PoRFbvrSZUK9MviyihEs5DO579QiXcow8I87V7uzTD4pja8vK6G3Hrx7/Sb5qy3/Kre16y/Js1hiJ9wov1f0iXkx2EcEbSYzbxqVUdb3FdRjdwk/sIWN4BsAKqWae/oUL9l/E02YcBueYN2vtM8
x-ms-exchange-transport-forked: True
Content-Type: multipart/alternative; boundary="_000_19B882973EB04FDD86A0E6118729312Fjunipernet_"
MIME-Version: 1.0
X-OriginatorOrg: juniper.net
X-MS-Exchange-CrossTenant-Network-Message-Id: 4c2e9983-ff8e-4e3a-2fe8-08d762ddb005
X-MS-Exchange-CrossTenant-originalarrivaltime: 06 Nov 2019 17:20:57.4849 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: bea78b3c-4cdb-4130-854a-1d193232e5f4
X-MS-Exchange-CrossTenant-mailboxtype: HOSTED
X-MS-Exchange-CrossTenant-userprincipalname: R5L4OdefDfXwwsO0cPp6AIYV1t4fUKZNNAHyjXoo5thpIO2xAlf1rlCv64P1vdIp
X-MS-Exchange-Transport-CrossTenantHeadersStamped: SN6PR05MB5391
X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.95,18.0.572 definitions=2019-11-06_06:2019-11-06,2019-11-06 signatures=0
X-Proofpoint-Spam-Details: rule=outbound_spam_notspam policy=outbound_spam score=0 adultscore=0 phishscore=0 priorityscore=1501 mlxscore=0 suspectscore=0 spamscore=0 clxscore=1011 bulkscore=0 impostorscore=0 malwarescore=0 mlxlogscore=716 lowpriorityscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-1910280000 definitions=main-1911060166
Archived-At: <https://mailarchive.ietf.org/arch/msg/cbor/cmCIAo6l0qzQebuKQWUnjGDTaFk>
Subject: Re: [Cbor] [hackathon] Formal Languages at the Hackathon
X-BeenThere: cbor@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "Concise Binary Object Representation \(CBOR\)" <cbor.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/cbor>, <mailto:cbor-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/cbor/>
List-Post: <mailto:cbor@ietf.org>
List-Help: <mailto:cbor-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/cbor>, <mailto:cbor-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 06 Nov 2019 17:21:05 -0000


>    When the complexity of the data being modeled dominates your thinking …



Tony’s dogma: “Complexity of any successful technology _always_ goes up with time” 😉 😉



--- tony