On Mon, 6 Nov 2017 07:03:28 -0800 (PST) vitalije <[email protected]> wrote:
> > It is now clear that it's possible to create kernels without > > interacting with the Jupyter notebook server. In retrospect, Terry > > has likely been trying to tell me this for awhile... > > I believe it is quite opposite of what Terry has suggested. If I > understood well, Terry was suggesting interacting (sending and > receiving messages) with server, and leave kernels alone. Kernels > should be server's concern not Leo's. Server will create and deal > with them upon receiving message from Leo. Leo should not create > directly kernels. Otherwise, Leo will need to re-implement all code > from server that is intended to deal with kernels. > > Terry, please correct me if I misunderstood you. > Vitalije I think in general Vitalije's correct about the approach I was trying to advocate. I know at one point I was conflating the terms kernel and server, which might have contributed to confusion. I guess the component I should have been referring to is the server, not the kernel - I had noted that they might not be equivalent. I've tried to stress that Jupyter itself being written in Python should be irrelevant - a "service" that executes Python in a rich environment (as Jupyter does) is attractive to (some subset of) Leo's Python users, regardless of how the service is implemented. For example here's a web service: http://www.melissadata.com/lookups/latlngzip4.asp?lat=45&lng=-92 that converts lat and lon to zip code and some HTML showing a map I'm hoping we can treat Jupyter as a service like that, converting Python code to results (JSON) and maybe HTML displaying that result. Cheers -Terry -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
