I'm Alex Kearney, a PhD student studying Computer Science at the University of Alberta. I focus on Artificial Intelligence and Epistemology.
I talk a lot about travel, and dev, and grad-school, and indieweb, and yeg, and article, and tech, and japan 2019, and japan, and art, and other things.
I found two old friends while I was sorting my lego.
I'd love to see the distribution of random seeds chosen for ML experiments. I bet 42 is over-represented.
Losing power during the winter is an eerie thing. Really reminds you how much our way of life depends on utilities.
A socially distant visit
closing tabs is self-care
Everyone is talking about finding gray hairs from the stress of 2020.
I just found a white beard hair, so maybe I’ll age into a wizard instead.
Behold the loaf
Check what your key id is:
gpg --list-keys
The output will display: rsaXXXX/your_key_id_here
The key fingerprint will also be listed below.
Check a key fingerprint:
gpg --with-fingerprint <public_key.asc>
Let's say that you have a secret key on a card device (e.g., a yubikey) and you don't want it on the device anymore.
gpg --delete-secret-keys <key-id>
You can verify the key has been removed by running
gpg --card-status
which will display all the info about the card. Under general info sec# should now be listed instead of sec> this means that the secret key is now stored offline and not on the device.
If you're using MacOS, add this to your bash configuration, typically ~/.bash_profile.
# Restart the GPG agent
gpg-connect-agent KILLAGENT /bye
gpg-connect-agent /bye
gpg-connect-agent updatestartuptty /bye > /dev/null
# SSH authentication managed by GPG
if [ -S $(gpgconf --list-dirs agent-ssh-socket) ]; then
export SSH_AUTH_SOCK=$(gpgconf --list-dirs agent-ssh-socket)
else
echo "$(gpgconf --list-dirs agent-ssh-socket) doesn't exist. Is gpg-agent running ?"
fi
I took some cuttings before the frost and they just rooted. I feel like a plant magician.