Post APT2ehtXc0Pf8YR5OK by bortzmeyer@mastodon.gougere.fr
(DIR) More posts by bortzmeyer@mastodon.gougere.fr
(DIR) Post #APSKsfHTjOsR6KTgKe by bortzmeyer@mastodon.gougere.fr
2022-11-10T09:10:58Z
0 likes, 0 repeats
Good morning, London! Fourth day of #IETF115, with a big public transport strike. People who could not stay at the Hilton and choosed a distant location will have trouble to come.
(DIR) Post #APSYQAnMshzTnkhaka by bortzmeyer@mastodon.gougere.fr
2022-11-10T11:42:43Z
0 likes, 0 repeats
Side meeting on the use of formal stuff to write Internet standards. (Currently, they are in natural language.)#IETF115
(DIR) Post #APSYXvnKXMlJavNqyG by bortzmeyer@mastodon.gougere.fr
2022-11-10T11:43:43Z
0 likes, 0 repeats
Side meeting on the use of formal stuff to write Internet standards. (Currently, they are mostly in natural language with some ABNF, CDDL, etc.)#IETF115
(DIR) Post #APSZ1tapHskdSBp6R6 by danyork@mastodon.social
2022-11-10T11:48:28Z
0 likes, 0 repeats
@bortzmeyer On the use of *formal* tools for standards? Do we need more formal tools? (Or should we be helping people use more *informal* tools like markdown?)
(DIR) Post #APSZJQ5that5B2iFdo by bortzmeyer@mastodon.gougere.fr
2022-11-10T11:52:45Z
0 likes, 0 repeats
@danyork The meeting is very broad, from sructured languages (like ABNF but for other uses) to mathematical methods to describe and analyze protocols.
(DIR) Post #APSattp0kjSTkrlz2u by bortzmeyer@mastodon.gougere.fr
2022-11-10T12:10:16Z
0 likes, 0 repeats
"Specifications are the unicorns of the formal verification world."🦄 #IETF115
(DIR) Post #APSengsYMQgJgzizL6 by bortzmeyer@mastodon.gougere.fr
2022-11-10T12:54:11Z
0 likes, 0 repeats
Discussion of the creation of a Research Group on these formal methods. Why are they not used in the #IETF?"If you need a PhD in type theory to use the tool, it is a problem for most IETF participants."The proposed charter clearly mentions that formal tools must not get into the way of open discussion.#IETF115
(DIR) Post #APT1miVN7xLpOMO1XU by bortzmeyer@mastodon.gougere.fr
2022-11-10T17:11:42Z
0 likes, 0 repeats
regext working group (#EPP and #RDAP, a group for domain name registries) at #IETF115 For instance, redacted fields in RDAP, replacing vCard with JScontact in RDAP, etc.
(DIR) Post #APT2ehtXc0Pf8YR5OK by bortzmeyer@mastodon.gougere.fr
2022-11-10T17:21:24Z
0 likes, 0 repeats
Provision of international email addresses in #EPP proves difficult…#IETF115
(DIR) Post #APT2rysFnLOZYtAB96 by bortzmeyer@mastodon.gougere.fr
2022-11-10T17:22:06Z
0 likes, 0 repeats
By the way, speaking of #EPP, if you have no idea what EPP is and does, you may be interested in my article: https://www.afnic.fr/en/observatory-and-resources/expert-papers/what-happens-when-you-register-a-domain-name/
(DIR) Post #APT4kKAOwekZBw81Lc by bortzmeyer@mastodon.gougere.fr
2022-11-10T17:44:58Z
0 likes, 0 repeats
Long discussion of cardinality of email addresses in EPP: zero or more, at least one, just one? Werner Staub regrets (and I agree) that EPP limits the number of email addresses (specially when one is in the domain itself, it cannot be used if the domain fails). So, the problem is no specific to internationalized email addresses.#IETF115
(DIR) Post #APT4rFhXwhARMxw34S by pmevzek@framapiaf.org
2022-11-10T17:46:12Z
0 likes, 0 repeats
@bortzmeyer I don't believe it is related to EPP in fact in any way, it will be exactly the same in any other protocol. The problem is that there are 3 parties (registry + 2 registrars) and how to have interoperability if one registrar is like fully "internationalized" to his bone, and not the other. Part of the problem is also decades old policies (insisting on emails for transfers) that make no sense anyway now (because of GDPR and other things)
(DIR) Post #APT50sRDIFpU7Bsvzs by pmevzek@framapiaf.org
2022-11-10T17:47:51Z
0 likes, 0 repeats
@bortzmeyer I go even further than that: there should be other types of reaching someone. At least one registry (DENIC) I think add other options besides email and phone. But before that the question would be: where is that data stored, how it is accessed (because if we go to current whois/RDAP state...) and for what it is used. Most of data about contacts in registry DB are useless nowadays, specifically everything not being the registrant.
(DIR) Post #APT5I8pfanARstYZfc by pmevzek@framapiaf.org
2022-11-10T17:50:58Z
0 likes, 0 repeats
@bortzmeyer "EPP limits the number of email addresses (specially when one is in the domain itself, it cannot be used if the domain fails)". If policies insist on "authentication" by email, if multiple ones, all need to reply? what if one say yes and one no? As for "on the domain itself", EURid just decided to implement a new check forbidding that, when registering a new domain, contacts can't have emails on it. One would argue there should be rules on nameservers too then...
(DIR) Post #APT5bAEabWdrjbHchM by bortzmeyer@mastodon.gougere.fr
2022-11-10T17:54:29Z
0 likes, 0 repeats
Now, a leap to the future, a proposal to use #RDAP in outer space, for information about space objects https://sanaregistry.org/#IETF115
(DIR) Post #APUFdmdE0ZJA6IebcO by artlog@linuxrocks.online
2022-11-10T18:18:50Z
0 likes, 0 repeats
@bortzmeyer Reading the linked page i faced this sentence :'Unlike the very well-known HTTP, EPP is a discrete protocol ..'discrete like discrete mathematics but here i'am not sure what to understand or was it discreet ?
(DIR) Post #APUFdnLtKV2MKpYHEu by bortzmeyer@mastodon.gougere.fr
2022-11-11T07:21:45Z
0 likes, 0 repeats
@artlog Indeed, it seems the translator made a mistake. I'll investigate.
(DIR) Post #APYyHM5zGFnw00cuLw by futureidentity@mastodon.gougere.fr
2022-11-13T14:00:48Z
0 likes, 0 repeats
@bortzmeyer I think the charter statement is reasonable. It’s fine for adopters or third party experts to do that formal verification and feed the results back into the specification process. (I mean, how often is it the developer who runs FV on their own code?)
(DIR) Post #APclEt89SaRioYyK0m by bortzmeyer@mastodon.gougere.fr
2022-11-15T09:53:33Z
0 likes, 0 repeats
@artlog Indeed. It was discreet (inconspicuous) and the article has been fixed, thanks for the report.
(DIR) Post #APgIpt3cZg63GQyzZI by artlog@linuxrocks.online
2022-11-16T20:34:40Z
0 likes, 0 repeats
@bortzmeyer happy to have a postive impact on the world of knowledge.inconspicuous ? learning a new word.I will keep it in mind to place it inconspicuously in a conversation ;-)