06:24 <vaninwagen> Afaik it didnt endformationage

06:25 <vaninwagen> Foaly thanks for submitting. Gordon took over, it should be fixed on master :)

15:17 <tmbdev> Is there a Jupyter notebook kernel for pony?

15:29 <SeanTAllen> tmbdev: not that i am aware of

15:33 <tmbdev> thanks. what about an interactive shell?

15:34 <tmbdev> I could write a kernel on top of that

15:37 <SeanTAllen> there is no interactive shell. pony is compiled but you could set up a script to compile on the fly as you go.

15:40 <tmbdev> that wouldn't keep state

15:40 <tmbdev> other compiled languages still have interactive shells, like Go, C++, and Haskell, so it is possible

15:41 <SeanTAllen> i'm aware its possible. pony has no REPL at this time,

15:42 <tmbdev> are there apis for compiling and or losing code on the fly?

15:42 <tmbdev> loading

15:42 <SeanTAllen> no

15:42 <SeanTAllen> there is no hot code loading

15:42 <SeanTAllen> There is an issue open asking for someone to write an RFC for hot code loading: https://github.com/ponylang/rfcs/issues/58

15:43 <tmbdev> ok, thanks, I'll have a look

15:43 <SeanTAllen> you're welcome

15:57 <slfritchie> FWIW, tmbdev, a friend of mine suggested that perhaps using 'cling' as a basis for a Pony REPL might make the job easier. {shrug} I've no idea, but I'd never heard of cling before, and it sounds nifty. https://github.com/root-project/cling

16:05 <vaninwagen> I always thought the LLVM jit we use in the tests might come in handy for a REPL

16:20 <vaninwagen> tmbdev: i once did https://github.com/mfelsche/ponyrun which is restricted to linux and is basically cheating

16:53 <endformationage> I've been thinking about Pony's capabilities-secure feature as of late, and I'm curious. Is Pony available to be used with any capability-based secure operating systems?

17:10 <SeanTAllen> endformationage: im not sure i understand the question. do you mean, are any of the operating systems it currently supports capabilities secure?

17:15 <endformationage> Yes.

17:16 <SeanTAllen> There is a bit of capabilities stuff in FreeBSD but none of them are "capabilities secure"

17:16 <endformationage> The context I'm coming from is having learned about Genode - https://genode.org/

17:19 <endformationage> I think porting Pony to such a system could be really interesting, providing capabilities-sec all the way down, and with refcaps, seems there'd be nothing else like it?

17:25 <SeanTAllen> Probably but thats a lot of effort for platforms that have no real world usage

17:25 <SeanTAllen> * little real world usage

17:38 <tmbdev> Cling is itself rather tricky and complex to install. I would hope that a pony repl would be smaller and simpler

17:39 <SeanTAllen> Step 1 towards a REPL would be hot code loading.

17:40 <tmbdev> I'm not sure. incremental compilation in llvm usually works quite differently

17:41 <tmbdev> it's not hard as far as the llvm is concerned, but typing and binding becomes tricky

17:45 <SeanTAllen> As you stated before, incremental compilation loses state.