Jeremy Kun

Ah that makes sense, we should be able to unify the parallelism across the two exporters. The only obstacle there will be having the FPT-style batching code separated nicely from...

🤩 Just FYI, I have commit access in LLVM, so I can review and submit any upstream changes you have to polynomial dialect

FYI, I'm planning to start working on this actively next week when I'm back from leave.

It's ambiguous because the inputs are just called "ciphertext" and "plaintext". I think it can be clarified in the documentation for the op (and perhaps clarified via a canonicalization that...

Yeah, I put it there before deciding where it should live. (Separate repo? In a "HEIR" GH org? In the main repo?)

Added heir-translate. Last step I think is to migrate j2kun/heir-play to this repo and release it on PyPI

I can work on that next

Just pushed heir-play==0.0.3 to pypi. This is still manual for now, we can probably add a CI for it if/when we make changes to it next (i ever).

It's possible downgrading the ipython version broke it in regular jupyter too... Maybe give that a shot to see

I filed a bug with the colab team for why this won't display properly in colab. In fact, I was able to create a syntax error in the input cell,...