sea's blog → Algebra, Lisp, and miscellaneous thoughts

Table of Contents

GPG keys

My personal gpg key

My public key is:

-----BEGIN PGP PUBLIC KEY BLOCK-----

mQINBF57/LYBEACq9BoJ06+CGnoszXW1wq3q33q61PT4k+knE+roSsK8JXJ1WrIS
mxVGuqx9DxSS8aHbpt91McRlWfrHsPCFSSTFnvC0/OUzDOGq5/l5pE0Xejn/RwJ7
R3zyHf0wPkumhqtVN/j7jkziWbnoJoprW2cgCPho7Ium9MCMJyHVsyzPuuOuhVU0
BJq9+zfNrcQByuFil1LfsnaQ96GHLlFCm+qvTOiOcrM3v8/KamikpOOIv/3lD4Sn
BlBRjw/ijjj2GGc6Ja6Tv8sFFWsWyBmZrLrbNIRwXogR34frj2IeCwbSCQrrDyKC
NM7CRFJvucy6jWxC7fzi5qEqEpH0BFtymTBEdnhxEQSkskiDyuCQ8xOK/bu6VwmX
hXZRSRhN890aO8/9clLv4/V45E3CaRy68Ipyw4KZlsIm0iyyRvuT2qWGlXb35kqC
tq1O3tiDQE29Lo9r53h+XjJqytr0dRAO5/I/oa1hnZuc4eAavndwr7PENop/nNoZ
/MqYDy150Pbueo4uR2jzz+Nb6kGt7oJbblmKAf7D1McUqszUgsizp0C4DyZeoPAI
RrZ/fIOqh8HGUq2u3IZG/5ryjsfMtGSOTVCTepjzBqaFnHo4STJzePhuelYR1WjN
DeRlvYnFUntn3veOL4RinVIpXDw+gCj4dD8NUD+HJDVEK/LvpMckqZs+QwARAQAB
tCFPc2thciBMaWRlbHNvbiA8c2VhQGZyb3N0emVyby5jYT6JAkwEEwEIADYCGwMC
F4AWIQQMf29dRZC1l5osSv7flT5yQqCi/wUCZkE0RwQLCQgHBRUKCQgLBBYCAwEC
HgUACgkQ35U+ckKgov85JxAAiwJ6R2aTGx+e0nq3O1VPIa9HtFD/dLV3fUP+af6P
T0kRJ3dIlkvTlhrDLxOg3m+Gz/41CrBRisTSjFc36R1I+2j7rmyTmJFQP3VuSiKW
QXajbuR0iKLJLjotJFIC+d2MyBkqGvo/VJ7480P438dVkpCTCLo7PC636TvksrsK
nAl37L/MKnuQB0fhLVBBQPs+eKOy25w0ST5PbrNJ3VCMj6pzqp/9l6rq92ZRuIDd
1ZmNhkYX7m2zPTVViscyA5bYpXnTyjManl2SYjbHwOmZYId53ytCTJqhYCXom89U
R124oGsEo4xFi8tKAL0bcaEknaEHA1KIaqS2rOkDCh7kg+dMNN96+3m0nA8ftx06
MiaCJq1i6VtZ82T9Vxv9YYAwuuKe4g5AzzzET3RB1U1Om43JFokT0m0p2WPbfCEZ
Gfvv43yW/5b5BI9kU2YvGHGbHBgDta8LjHzpQxfY1TTJT+pM89pnbZ1KW/K/5FZ3
MvlhTlHI59fMYLcH0+1zyQ3c8zyCzagCdRAZbhnli/bOiqyL42C7PgnMAHMbVEOC
xQpIryNRpmdJtRsheSC8pFJMI1DQOHznK2G9Nrg+2mLgmnvIpjbRpNqKf+EaK/Lh
RZ5Gkl7Q5kBtQ4jx1+854PTHTWeW1QgvZux0kvlk8kRvMT7ojDt3m35BbnMF8tF/
RSS0I09za2FyIExpZGVsc29uIDxvc2thckBmcm9zdHplcm8uY2E+iQJMBBMBCgA2
AhsDAheAFiEEDH9vXUWQtZeaLEr+35U+ckKgov8FAmZBNEsECwkIBwUVCgkICwQW
AgMBAh4FAAoJEN+VPnJCoKL/c+8P/2qJPNSYpSbO4ALuWJfMVLcbYlX/JjGkfK4C
88SLejSVwpyzLXyNz3j6VC94nRsTSWFKaIBBmsMLa06pT2e7yLyGrGNvkReZtgxR
G6empgr9tnLaBmjUxuZ+OfpzFzpoXxCHk+yB4pkUvFPuOR9YvEvWs0JX0qAcGoEf
EOnp3rrtTJUSdRWF/3jA+3rh423HIyIKRliQSNg6HEkZ+G3pAKPqc9/pizgQRmpe
eQ4bkOydHvKqIjlNhPAg4LDsCdG/UsiRX+OyFT3VFhcdhQpEC2Q28h5s6grqQWMj
aKN0lTAfP/GPggc8Xm9qITnP4ocpWf85FXJOyfQYoDBlztRxCBBYOdRPRFKmBjuN
qlOmTwBTCGdieAvARCqHiJlXvS8Vle4JwZa3TPZRd16yabuTj2hJpWF7/x1Sp2a0
+SaBAL80a3/ZoXjNviPQirTVnoGb6AKv9m/NxeqW5EN1GhpZT22zF4CxGZjlv3Sk
KsUw6nJXhHC9TbbQHZVfhg8Zq6R4aiOTs8ZjTEkzZTtgNuBmSyr0VGnZR7IRYlKc
JzRFhDuIQ5MHrTyWok1A/v61xoQG2nSBmvd6qM9+O8vRDrrmngaTa9w8avTHNvfT
JlFzTCFXu8gD8qONf8mjWu0shsg2XQU/kx5yEbHsEymIkn0rV6wtuaaojglK615B
yySHhmd+uQINBF57/LYBEACwEok3LZ+F9CRTD2aSVXKWFrGoVCl9RsqM4C2rOmFi
mlwM/X73NtMaOK4deBybPkPOtdTrzQLsD4lMpfaqZcZL0WCxSXhjlqlbFeDfPNeH
xRqs6XGPW3/YT1g/jUk8MrcVcZdOyfS1fgI9AnDAoYuQja/oz1c2AKaxs4t/yeWR
QqoTeCQaN37Cs2KDQzFfOXZHa0YF/vrTFxbJdCv43zAE57Gmej8cyzubTYqge9Vm
EihIfsT/ymgTGzcUleUi46OYAZ5FPOUexUcptrYmPdzE+Vj8NqPqukoOaQIHjaGD
yEuzlrA6cxdFQm9cEupwi7kOqJgMOgpdBZva9A3hWfaIG1d+I/PcBF1qqIq6ckTU
fGB+yngd7nZSz3RA07f2duDWS8t/hyj3iJzsf+oaa0KP9QiK5+Twuo9F91pB7gIa
8BnsdwXutVRcoIdAYVGugUPNY7k/JH9H+g4gAaWZXFlsbfkuc5uLCBCHuS+d0WZX
nU1cmwR0fsWa3ARjohh+BShBS6RfV4zs3micRBEorVyQ5mw1TSthBdY8xOoN6pwL
1SotikbnVzBqvOcj62xp93f7L1oRVBPw9rqJRG7R+qR9JaN8Cpdh70h61NaoNC/n
pOfakOaWg8unON+ZASIwiC7qIwc25zVohlwTz8cQm4/Slg/kn14vpOgtbZHe1ufs
YQARAQABiQI2BBgBCgAgFiEEDH9vXUWQtZeaLEr+35U+ckKgov8FAl57/LYCGwwA
CgkQ35U+ckKgov/xLQ//XWyrSGeBbJrgRKBhqY5inkpr2Woyk/7VTZxlYwEFFaWF
D6zlesvm982E1GVNoIyKj0q3xdT9oEc0IKfu3WzNDCdAV1d0SDKClPN/StoACxQF
0Wzgjbh0Tqby1OJp8JpnQ6XXdIIHs1jHrxMFaNUQMSuLPqJYTiLvE1UQCaQjlRru
UkVQjh60j2sJ0lsSd1VZytUDQCZFcvA9NUhqKUBiMINMEfyr/apc5p5r8tFc9/+b
H7FNE0Xd+scLGEWbQqDrvENiUfJt55M8AVMaZiXn8X+AE8ZL/hZExgIfQl0TXQl9
cqJ7f2wA9RbZCToMdo1xk2FKpDsx0cBSUiKy3NDomJpBwVYXuIlL1bCS8LpePa5p
q/n3QcKkRqBttSt/o1sRC8VlQVoF2BH1Kdrv+MGqAD75Y24miOnwSnBlbcVFF+P4
1f6e2kdYEIQAnFVP0ED97nvCctEfEeaBRyWffj+LBh8TCWHK4B83qSiqQ4pQvhok
GZneDTzTa8O4QtlIHxdIdMHlp0uG516Ezoja0nSMossmS2VAy3N3RFemljMG2CSj
SNgvp78UTM0g5J4k4zSUWlbjdd8GSG921BVFgV2LeSz7BfBbyVgvnVesIoT0oii0
T8yQ1LNlAl6/t8ZLc4UUgbR0SPKa7puM0jgAANHg0ZGe5F6OP8XbsmuyqAcqlSA=
=Zz4n
-----END PGP PUBLIC KEY BLOCK-----

GPG key for signing git commits

I use the same personal key for signinig my git commits for now.

GPG key for signed pipeline builds

In the future when I have my pipelines set up to automatically sign artifacts, the associated public keys will go here. This is a placeholder section for now.