Hi,
Thanks for starting this! It's very much appreciated.
Discussing these things, reaching common ground and documenting
decisions and findings
during this process is IMO one of the most important things to do before
we move on.
I'm really sorry to write this wall of text, but there are so
Hey Kaspar,
On Mon, Dec 09, 2019 at 11:28:19PM +0100, Kaspar Schleiser wrote:
> > Hm, to be honest, I'm not so sure of what kind of efficiency we're speaking
> > here. CPU time or memory? Probably both, right? Regarding the CPU
> > efficiency,
> > I would assume that this also dictates the