Valentin Churavy

I would also encourage a package first, IIUC your design is new-ish and different from current packages that provide "Integers in the type domain". Even apart from the fact that...

The code here probably comes from some old Distributed arrays code I was working on many years ago. Base implementation has slightly changed since there is now an output style....

An thought I just had... The main thing we want here is for documentation for tags to work. We can't rely on the persistence of Github Actions. But tags do...

Could we do https://docs.github.com/en/actions/publishing-packages/publishing-docker-images#publishing-images-to-github-packages instead of having t maintain a separate account?

> Sure. Could you set up the permissions for that and set the relevant secrets? (if needed, I don't know how it works) I don't know how it works either,...

As said on slack, someone would need to write a html widget that works in Pluto or Jupyter. Alternativly we could improve the non-interactive functions to expose the new typed...

There is already `cthulhu_typed` and `cthulhu_warntype` https://github.com/JuliaDebug/Cthulhu.jl/blob/6fa3530f5ea95dbf9dea42b4311c2189975bc096/src/codeview.jl#L95

In some way, this feels equivalent to implementing `autodiff` but for non-scalar returns and fixing my old mistake of always passing in `one(T)` as the seed. I think of `autodiff(Reverse`...

> It can't be inside a Duplicated or BatchDuplicated because we have no primal `Seed` and `BatchSeed`? Just throwing some ideas into the air.

The first variant, since that is already the convention used for the activity of the return.