On 5/6/20, jonas.hahnf...@gmail.com <jonas.hahnf...@gmail.com> wrote: > In case you're interested how I found out about this: > https://www.hahnjo.de/blog/2020/05/06/recursively-timeing-processes.html
Good to know, thanks! (And the resulting improvement is indeed impressive.) Cheers, -- V.
