[meeting] [internal] 10.09.2024 - Githubissues

objectionary / eo-phi-normalizer

Command Line Normalizer and Rewriter of 𝜑-calculus Expressions (part of EOLANG family)

https://www.objectionary.com/eo-phi-normalizer/

MIT License

7 stars 2 forks source link

[meeting] [internal] 10.09.2024 #490

Closed deemp closed 1 month ago

deemp commented 1 month ago

By @deemp

Second Stage

@fizruk, should we send a letter regarding the closure of the stage, mentioning people from Huawei? @eyihluyc mentioned that she remembers a similar letter for the 1st stage. In the acceptance chat, they wrote that they will send a Certificate of Completed Work.
- No, we don't need to send a new letter.

Streams

@fizruk, I don't quite understand what's wrong with streams.yaml yet (https://github.com/objectionary/normalizer/issues/470#issuecomment-2326728704)

GitHub Issue

The normalizer or yegor.yaml implementation needs to be updated after the rule changes in the phi-paper.
By next week, we should determine which issues need to be closed and who will handle them.

Third Stage

There were questions about the wording of tasks and results. I asked questions in the acceptance chat.

Calculation

@Anatolay suggested using implicit object names instead of locators.
@Anatolay said that after the article, he will look for counterexamples to Yegor's rules to show that they don't work the same way as the EO compiler.

Article for CPP

@eyihluyc said that she and @Anatolay will stick to the existing revision plans.
@Anatolay may send out a letter after the revisions https://t.me/c/1914768292/2896

Patent

@fizruk, I'm waiting for information