Follow

ssh key file names should be x (public) / x.private instead of x (private) / x.public to make it much harder to accidentally grab your private key in the shell. This toot brought to you by I did that thing.

Sign in to participate in the conversation
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.