You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
David Tanzer (Jun 15 2020 at 17:51):I created a page to list bugs and feature requests. That has a link to the Github URL for bug reports.
David Tanzer (Jun 15 2020 at 18:51):@Jacques Distler has been open to discussing new ideas for features, at a design level. That's useful as it's his call as to whether something is compatible with official Instiki - which matters as it would not desirable for us to maintain a custom version. As to whether a feature actually gets built, that will depend upon the availability of someone in the community to do the work. But the design question comes first.
David Tanzer (Jun 15 2020 at 18:54):As a medium-term goal, I plan to set up a test environment and learn about the rails MVC model. This is for some features that I want to build for an admin tool.