Here is an update address to join the PETSc Discord space https://discord.gg/Fqm8r6Gcyb
> On Jul 5, 2023, at 10:04 PM, Barry Smith <bsm...@petsc.dev> wrote: > > > We are experimenting with using Discord as our PETSc chat space. PETSc > users are welcome to join us there https://discord.gg/TAmq3kvB > > Barry >
