"Diogo F. S. Ramos" <[email protected]> writes:

> Here are the results:
>
> STRIPPED
>   size: 4408K
>   startup time (`$ racket -e 42'): 500ms
> UNSTRIPPED
>   size: 10254K
>   startup time (`$ racket -e 42'): 298ms
>

Hi Diogo; 

Thanks for running those experiments. The results are pretty
surprising. It would be interesting to start both from a cold cache,
e.g. by running

echo 3 | sudo tee /proc/sys/vm/drop_caches 

beforehand

d


-- 
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]

Reply via email to