Zulip Chat Archive

Stream: lean4

Topic: cleaning your hard disk

view this post on Zulip Kevin Buzzard (Jan 05 2021 at 19:35):

Is this still a thing? I am expecting the answer "yes" and furthermore I am expecting it just to be a fact of life.

view this post on Zulip Wojciech Nawrocki (Jan 05 2021 at 19:38):

Yes, while the interfaces have changed the server will still execute whatever the user tells it to and potentially spawn arbitrary processes.

view this post on Zulip Sebastian Ullrich (Jan 05 2021 at 19:39):

Fun fact: this issue was created before people started happily curling elan into their shells

Last updated: May 07 2021 at 13:21 UTC