Re: [hackathon] Formal Languages at the Hackathon

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