Jeremy Soller on Nostr: npub12dhrt…lq6qy I doubt even a formally verified programming language could safely ...
npub12dhrt3fkk7cpdfulpcxav2mnvqsev2dczqahwtm2xakk6fvvwugs6lq6qy (npub12dh…q6qy) I doubt even a formally verified programming language could safely launch a batch file on Windows