Mariano Guerra 2022-03-30 09:20:29 Rego was inspired by Datalog, which is a well understood, decades old query language. Rego extends Datalog to support structured document models such as JSON.
Rego queries are assertions on data stored in OPA. These queries can be used to define policies that enumerate instances of data that violate the expected state of the system.
https://www.openpolicyagent.org/docs/latest/policy-language/
Shubhadeep Roychowdhury 2022-03-30 18:19:28 dnmfarrell 2022-03-30 22:02:02 Konrad Hinsen 2022-03-31 06:12:57 Lightweight visualization: making data easier to parse visually, but without hiding its structure nor any of its components.
Alexander Chichigin 2022-03-31 12:01:03 https://arxiv.org/abs/2203.16211
Lay-it-out: Interactive Design of Layout-Sensitive Grammars
Fengmin Zhu, Jiangyi Liu, Fei He
Layout-sensitive grammars have been adopted in many modern programming languages. However, tool support for this kind of grammars still remains limited and immature. In this paper, we present Lay-it-out, an interactive framework for layout-sensitive grammar design. Beginning with a user-defined ambiguous grammar, our framework refines it by synthesizing layout constraints through user interaction. For ease of interaction, a shortest nonempty ambiguous sentence (if exists) is automatically generated by our bounded ambiguity checker via SMT solving. The soundness and completeness of our SMT encoding are mechanized in the Coq proof assistant. Case studies on real grammars, including a full grammar, demonstrate the practicality and scalability of our approach.
yeT 2022-03-31 17:40:01 https://www.trymito.io/ reminds me of some of the early episodes covering stream sheets, the spreadsheet paradigm always seems to crop back up
Shubhadeep Roychowdhury 2022-04-03 16:39:10 Kartik Agaram 2022-04-03 21:55:07 I almost gave up 2000 words in, but there's something here.
Serendipitious timing for you, @Mark Dewing.