[meeting] [internal] 11.07.2024

phi-paper

Streams require custom rules, not user-defined rules.
Streams are a non-trivial example
Nickolay shared his concerns about streams
Yegor said he will manage streams with his team
Nickolay didn't talk to Yegor after that
Perhaps Nickolay will discuss with Yegor again if he has a chance
No need to discuss for now because we have something to do
@deemp will set up the Spring pipeline (https://github.com/objectionary/normalizer/issues/256)

We MUST be done by September 8
Deliverables:
- The academic paper submitted to a conference
- proof of confluence of PHI
- results of application of normalizer with built-in atoms to 20+ EO programs
Nickolay suggests that we're done by August 15 so that we have a big buffer to review and submit deliverables
Need to ask Ivan to review deliverables then
Need to ask Ivan whether examples with streams are OK since they don't require user-defined rules
Not asking Ivan now because we don't have much to show
Need to ask Ivan about the target platform so that we can help build normalizer static binaries