[GoLUG] PSA for VSCode: SSH plugin lets the remote end run arbitrary local commands

[kc-golug at chadwicks.me.uk]

27 Sept 2026 22:39:51 Hendrik Boom <hendrik at topoi.pooq.com>:

> This note deters me from doing any of this, locking me out of
> current mathematical research.

I wonder if this can be done with Ada SPARK?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://golug.org/pipermail/golug_golug.org/attachments/20260928/8cb4f1f1/attachment.htm>