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.
Fabrizio Genovese (Apr 16 2020 at 16:17):Why don't we start discussing what do we have to do to coordinate and apply for a massive grant to make this happen?
Fabrizio Genovese (Apr 16 2020 at 16:18):Think about it. There's plenty of people here from all sorts of academic institutions. Some of them are even in a position where their influence matters. There's ppl working in business. There are programmers. Virtually, we have what we need to make our voice heard, at least.
Fabrizio Genovese (Apr 16 2020 at 16:19):So let's stop talking about how the system "should look", and let's start talking about "how do we get the money to start working on it seriously"
Fabrizio Genovese (Apr 16 2020 at 16:19):That's my proposal :D
(=_=) (Apr 16 2020 at 16:30):Fabrizio Genovese said:
So let's stop talking about how the system "should look", and let's start talking about "how do we get the money to start working on it seriously"
Morgan and I have convergent ideas about how the system "should look", which I've observed earlier on, so that's already settled. In terms of how to get the money to start working on it, I think something along the lines of an expansion of Bob's program in QNLP to try to extract some insights from recent work in NLP is a first step.
Morgan Rogers (he/him) (Apr 16 2020 at 16:37):It might seem a bit more idealistic, but on the graphical side, I've often thought that a similar system could be useful for graphically representing a large code base; is there a way we could talk a large software company like Epic (I mention them only because I have a friend who works there) into investing resources into a non-proprietary framework if it were a joint project with other funding sources?