<div dir="auto"><div>For standards bodies to consider.<div dir="auto"><br></div><div dir="auto">I’m moving towards generating X3DOM/React/JSX from JSON/DOM/HAnim, but I don’t know React or JSX at this point.</div><div dir="auto"><br></div><div dir="auto"><div><a href="https://arxiv.org/abs/2307.10034" target="_blank">https://arxiv.org/abs/2307.10034</a></div><div dir="auto"><br></div><div dir="auto">Apparently, this is being presented at POPL2024.</div><br></div><div dir="auto"><br></div><div dir="auto">Enjoy!</div></div></div><div dir="auto"><div><div dir="auto"><br></div><div dir="auto">John</div><div dir="auto"><br></div><div dir="auto">“<div><br><table style="font-family:Lato,"Helvetica Neue",Helvetica,Arial,sans-serif;border-collapse:collapse;width:344px;color:rgb(67,66,69);font-size:17px;font-style:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-transform:none;white-space:normal;word-spacing:1px;text-decoration:none"><tbody><tr><td style="font-family:Lato,"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:17px;line-height:24px;vertical-align:top;padding-bottom:10px"><table style="font-family:Lato,"Helvetica Neue",Helvetica,Arial,sans-serif;border-collapse:collapse;width:342px;padding:0px;font-size:16px"><tbody><tr><td style="font-family:Lato,"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:17px;line-height:24px;vertical-align:top;padding:0px 10px 0px 0px;width:36px"><img alt="" height="36" width="36" src="https://avatars.slack-edge.com/2022-03-15/3268296946832_9f8a2c0b4cfe58927768_72.jpg" style="border:medium;max-width:100%;margin-top:3px;display:block;border-radius:4px;width:36px;height:36px;min-width:36px"></td><td style="font-family:Lato,"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:17px;line-height:24px;vertical-align:top;padding:0px 0px 20px"><table style="font-family:Lato,"Helvetica Neue",Helvetica,Arial,sans-serif;border-collapse:collapse;width:296px"><tbody><tr><td style="font-family:Lato,"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:17px;line-height:24px;vertical-align:top;padding:0px"><table style="font-family:Lato,"Helvetica Neue",Helvetica,Arial,sans-serif;border-collapse:collapse;width:296px"><tbody><tr><td style="font-family:Lato,"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:16px;line-height:18px;vertical-align:top;padding:0px"><span style="font-size:0.8125rem;text-decoration:none;font-weight:900;color:rgb(29,28,29);margin-right:8px">Giorgio Ghelli</span><span style="font-size:0.6875rem;font-weight:normal;color:rgb(113,114,116);text-decoration:none">January 16th at 11:55 AM</span></td></tr></tbody></table></td></tr><tr><td style="font-family:Lato,"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:16px;line-height:24px;vertical-align:top;color:rgb(29,28,29);padding:0px"><div style="font-family:Lato,"Helvetica Neue",Helvetica,Arial,sans-serif;line-height:20px;font-size:0.8125rem">Tomorrow I will be presenting at POPL2024 the results of one year of work with colleagues of other European universities. In short, we wrote formal specification of Modern JSON Schema, with specific attention to unevaluated* keywords and to dynamic references, and we discovered many unexpected things, not last the fact that dynamic references, in their 2020-12 incarnation, make validation a PSPACE-complete problem, which was frankly unexpected (and may even be exploited for DoS attacks). Our formalization of dynamic references derives from discussions that I had in this group, and our understanding of annotation-dependent evaluation derives from following your discussions and experimenting with the tools that you realized, hence we owe a lot to the members of this group. The paper is available on<span> </span><a href="https://arxiv.org/abs/2307.10034?context=cs.DB" style="color:rgb(18,100,163);text-decoration:none!important;font-size:0.8125rem" target="_blank">https://arxiv.org/abs/2307.10034?context=cs.DB</a>, and we would really appreciate any kind of feedback. We would be delighted to answer any question or to present it again to the group - we presented some preliminary results a couple of years ago. The paper touches many points that I would like to discuss with you, if you believe that there is interest about our methods. In any case, thanks again for all your efforts in the JSON Schema project.</div></td></tr></tbody></table></td></tr></tbody></table></td></tr></tbody></table></div><div dir="auto"><br><table style="font-family:Lato,"Helvetica Neue",Helvetica,Arial,sans-serif;border-collapse:collapse;width:344px;color:rgb(67,66,69);font-size:17px;font-style:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-transform:none;white-space:normal;word-spacing:1px;text-decoration:none"><tbody><tr><td style="font-family:Lato,"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:17px;line-height:24px;vertical-align:top;padding-bottom:10px"><table style="font-family:Lato,"Helvetica Neue",Helvetica,Arial,sans-serif;border-collapse:collapse;width:342px;padding:0px;font-size:16px"><tbody><tr><td style="font-family:Lato,"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:17px;line-height:24px;vertical-align:top;padding:0px 10px 0px 0px;width:36px"><img alt="" height="36" width="36" src="https://avatars.slack-edge.com/2022-03-15/3268296946832_9f8a2c0b4cfe58927768_72.jpg" style="border:medium;max-width:100%;margin-top:3px;display:block;border-radius:4px;width:36px;height:36px;min-width:36px"></td><td style="font-family:Lato,"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:17px;line-height:24px;vertical-align:top;padding:0px 0px 20px"><table style="font-family:Lato,"Helvetica Neue",Helvetica,Arial,sans-serif;border-collapse:collapse;width:296px"><tbody><tr><td style="font-family:Lato,"Helvetica Neue",Helvetica,Arial,sans-serif;line-height:24px;vertical-align:top;padding:0px"><br></td></tr></tbody></table></td></tr></tbody></table></td></tr></tbody></table></div></div>
</div>
</div>