Nick Hu

I fixed the resolution problems with the text by making the 2D canvas which is drawn on top get rescaled. I also added some basic occlusion of text labels: ...

> Any invertible monoid gives rise to a Frobenius-like structure (monoid needs to be oriented, wire may be framed): > >   In what sense is this Frobenius? The...

According to that issue thread, the Firebase UI library is compatible with Firebase v9 compat (see https://firebase.google.com/docs/web/modular-upgrade). We should try to avoid using this compatibility layer wherever possible, but for...

I feel like it should be possible in limited circumstances (e.g. if the workspace diagram didn't change, then undo/redo could preserve the current view)

If we do this, I think it makes sense to ellipsis-ise diagrams too, beyond the render size; e.g. if we don't draw up to the boundary of the diagram, we...

I have a working draft of this, currently it passes 47/53 test cases for contraction.

Here is some performance data of running the benchmark for `label identifications high dimensions/8` w/ shared label identifications allocations (eebc0a8e7ebdc986120acec375182b5ad03d42c7) w/o shared label identifications allocations old collapse https://share.firefox.dev/3GSqazn (6.7s) https://share.firefox.dev/3WmidYC...

I made a small mistake in eebc0a8e7ebdc986120acec375182b5ad03d42c7, so that it never actually memoized anything (but it did avoid reallocations). Fixed in 15f2cd1fcf3d5e05a6592be45ca93bb73413d6a5. I noticed a lot of potential for speedup...

I think tokio is pretty hard to integrate with WASM, at least last time I checked... good luck

FYI we are obliged to include the full license text in the somewhere in the binary (i.e. the website), and this is why the about dialog exists in the first...