[meeting] [joint] 16.02.2024

[deemp]

Organizational questions

1. Move the weekly meetings to Friday at 15:00
2. The (new) PM from Yegor's side should join us soon and, hopefully, participate regularly in our meetings.
3. Weekly progress reports on email are not necessary, but we can do it monthly. Yegor will send to Nickolay a list of email recipients for his side.
4. We should probably prepare an intermediate stage report around end of March, since first stage is very long (6 months).
5. We should work on patent idea soon. Nikolai will consult with IU's patent department.
   • Yegor's idea: rewriting + evaluation that allows further rewriting

Normalizer

1. We have completed normalizer with Yegor's rules.
2. We are waiting for the pipeline against EO compiler to succeed and collect optimization metrics.
3. Dataless formation clarification (Fix the metric for dataless formations #138):
   • "Primitive formation" = formation with delta (e.g. numbers, strings)
   • "Dataless formation" = not primitive and does not have (direct) primitive attributes (attributes bound to primitive formation)
4. Confluence tests are in progress, should be ready by next meeting. (Confluence testing #136)
5. Need to add support for builtin arithmetic functions to support Celsius-Fahrenheit example (Support example from phi-paper #139):
   • Target is the demo of this example, fully working with step-by-step elaboration (Support elaboration of dataization #199)
   • Demo for this is planned in 2 weeks, on March 1

Formalization (proof)

1. Complete for minimal calculus, will demo next week, on Feb 23 (it seems to be a holiday, do we still have a meeting?)
2. We are working on the formalization of Yegor's rules (Formalize confluence for Yegor's rules proof#24).
3. Soon we will draft a paper for ITP 2024 (Write a short paper for ITP 2024 proof#23).