Logic, Γypes, and Crypto Musings
PGP Contact Information [sig]

If you wish to communicate with me with secrecy, you can use my PGP key below. If you do not have GPG or some other PGP software, you can quickly encrypt through Keybase here; simply enter your message and email me the encrypted payload. I will be able to read it.

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

mDMEXVls1xYJKwYBBAHaRw8BAQdAJ0jN/cTFfndBA+DoPQKG4MkIATu3xkpHQONd
mmbUXP60HFJlaXNlbiA8cmVpc2VuQG1vcnBoaXNtLm9yZz6IkAQTFggAOBYhBIeE
G5Joo5bv227Qj2B74ZRoDGkOBQJdWWzXAhsBBQsJCAcCBhUKCQgLAgQWAgMBAh4B
AheAAAoJEGB74ZRoDGkOZgQBAKx5TBW+w7+ARhG1bQJaRFQT5OPdb1TPFRFw9wE0
qsQYAP9XwlM76nrKVuK0MZEJ2MTSPGNPQ4eBpAZ3VGiIgUQiCLkCDQRdastSARAA
peFsxKhmYxj0Va6c1LbIdi2NKbWv5a10q1YY8ZAUsiuJI8y4K2uEJph+oiu4IzPj
6RjPWQRaTR0z2emyO+08uxbLQW/5PMNVXFMomg/QBCEh+CjmrhE112DfMsHKec3O
mJJpZEuqPuKm6+UVIQROBlgaKU+4Fe5lm2ggG5hpp9QKgFtuwt2PD6viHCqGk12d
qLlwUUvMlP3TKN6e0TAnoBYe7hOvdveLjycczCFtjUo8fwQHOv3g5egAwgsKcE29
fg5hrBRXqE40o2mEcxELF8+S8sBDZahDiDI7PtjhO57omIHewvMSy4V61lQgOnG1
jDB3F66Da1KnDHLFjJ9snHHdojoTmx5oDMgGmwlYrpTFyF2yFJowspDFYP5s6paz
vwIsryCp8iqow7GHg48xt2+6w2zFI5uJLTNNAXMgpXhf53mZgKZxlAQqY2YlUXai
0EfkNlf1rNzxzVsI86aHjG44hjUiZEr2JMUQN9+HZkbzUwpVRI0JleW1phwp6Xji
KY7lLar072gRaxtcdiMUeTDsKXnjIb51YxoAfgaxfRSfnEQI6rVMPOc89WCPvMdv
1pwGBLjeDfUFNxQpixnB8sClOMpE8Z4Wq+2gdq3ClluWsVbNM05CFcCvkzSHisZd
jHBBzAeegSKFInK5efyBFsTyziLtlLBEjIxvAX63PQ8AEQEAAYkCrgQYFggAIBYh
BIeEG5Joo5bv227Qj2B74ZRoDGkOBQJdastSAhsCAkAJEGB74ZRoDGkOwXQgBBkB
CAAdFiEEfWMt583MsBAay2kZMk+QdL8FQDIFAl1qy1IACgkQMk+QdL8FQDK/gA//
ZtF/QR+58+8pk5qHV28t+dEhy/VX4snU4Pfev308azg5pFIgHcA9/xUDnfud6A3x
mYmFbH4JHBNqvbBaC2FelsRNUJb+s2PVhnPnGi5+wFlW11agiDHbJ5GXC83acbtj
8oiCfAoiJioOVFO4HjOBDgp2uGrbIdjudow1O0YmJ6Amqbyef/2UlOPAfrR+02jO
o3aRlqhRLnBt/spvrec52dJ8RK2IEXF8SSSEnBuintrSqpqCo3SxdL2lh9zxdOoG
eVgxturtm0mfIyjugJO13pEWgHkMKvADno90QG/QPrL9L69eTHr4M9vggFXzbPQk
2Dz2nPF7d5nPTw/hgJaUp/bVdTFIEftCRdQc2i8auKMBEjdICsUXohLeXI5LlmOj
Mcu3ty6ZuK1X2b4N/kMmqqCJFArK9Sr6QkJ6g3zCSsI04KEbFcWYg1UWfZgtatHL
9lIDBQZgjS4+GnCVvC/f3+gh+IwYSs3knsWxjHgs3U26xozn3f7Ia2mFSAQWTDV7
Ma2BnO84Tlrl1NncePLIV0beUANsY512mt+cV9amJCMhHt9bSCKyCSiqXAIz+gGg
LkyXhCX22bUHG+oonfHVJlbBBfX5yZfaUfJvmkv9L2LYrhbqvZCo04SXgtclTqSY
UtTgUYWBg2ZfEpnDienNZP9vq96O/oGBoZmhX/148PzGlAEA3ZRQBMprNqXcrLHy
DMuL7VJIH0CwOmQH6Fw5B/QPoy0BANnz4pG17r7lhcHcrDEWbi7ScCiv8blZ+OsI
qZFPwn8DuQINBF1qy2gBEADDVZGnu395+tMnfKc8H/477+U8yUKdH+v5nvY0Mgqo
Yw1M5XNYP+tUoRz2wweqHKntsa/NWxtJ97nEzwSoBphl8+sDcGlvv5pBd8oZk3GZ
3s/p+SVrrRK+wm36eCjAKYwQDkBSOOZeroSST/oMgXx+fHA7DA9+QuSz3NXKrs3T
phKth87Rjprc9HXsL2cTLBx6cH6JVeYjktBQ4TYP1DLklfGqJ58kzJ+FJICM3B57
PIEviR47nfBHSrF5uQumpX9e5MszCPxXG4RIP30ydk7Hi9SfnYP1R+9uvIyjQ+wn
yF9Nc4+/TARnYcUELjPdiNDvj+72I1Zp7GL8r5HdyCrLqVxKi5RMG6JnlysAxB4d
99Fa5FcJaBUCKeyNiuns51SCdSZ+ukXixJuLSNQA8nJXUS9zKpD5A/0/SpXJHNsF
PJZsZEbB/M4+qdv9J2b94C6xjI58DDeG6q7neK1MBh6+k+PGooqKhWvjRUtNoNFG
ftZXoulVyG1kxHTTC+WU+nsBdp1CenE3yMj3nxQ8Dzk5zUkjpxOoHNedzukx3v3+
HA7DfzlPayNFXpMYrleKXMxIxeMfv4y2OjWTpLvOVk2A1BavoKadR7GcS+gOPlfi
1TP3XdtqizDDVTJZbjCWWCmh5zIOxHC7MOTIPdXTlNzGuJnJ7y4HgNkQ2dFp3Oc8
KQARAQABiHgEGBYIACAWIQSHhBuSaKOW79tu0I9ge+GUaAxpDgUCXWrLaAIbDAAK
CRBge+GUaAxpDvOlAQCJ+f0huEBAP98bIqZQmuUhNENCpm0Zu6PkqtRCOaNTgQEA
iI/63++/EKnmCOPO1oipZGA8gWLi71gj5gYAuUTEfAq5Ag0EXWrLfwEQAK63trgd
omwNkX9MYYp2ZfvQHPVvvtm6HnJKFzP0D+6//snFGGM1m1MwLGP8O9lQghV5uEqw
OQUV4aiZDTm1Sb5ZSS9MexG9mbyo+tpQj0oq1GTSyrMeOwvXHJUalzyM+LSLniiV
bPI/XSVCFvyRTa/cMjDHlr1eIAbSqGYHtqX/HJivwKyz6VEt72YiNHaJEOEnXAyU
KhPcXas2YUROnmjGeajxa6Q+mnQ8gMkRCTbPOQEYd8o4VfP+HbJptSuW8Nb5WyLc
ksOGQaZDqjnT+cO4BKHMkQanIeHFKQ8QDDCoaBNmO+I9Qoy11Me8I4wxbpaFcCDV
43xkuD2LYW/w+0pQshLFjszXX6Kd8HcvDH21B3rr/IEwiDvat1Ra8mNCLVwlZejT
bf/oxC18npBXIU2bYW/asK+aS8Z9Q+oVxQ/NMFEiyDN8CXzML5b9xg461mEjSt4i
/OUQ4yTlK8V+hbCNJqs7/PxFAVtYwcYpLgKCoQhYVt9x8LyP1yk5+V2BjhHN8xi0
/psJPdxiKSwkG6FSmkUg4sQKiBbD9a24JSunGX9uRgupyH0KxegdmJyn6WcmOmwb
k1JI2GrQz8HlbiFqJ5y9mdTbW1qVFJpH7jDgzeu6zxo+OnCQBaIi9V23f9EwXLgk
gqWPyj0mC41lQhX33Lu8MYjSzzWOKL7o7XijABEBAAGIeAQYFggAIBYhBIeEG5Jo
o5bv227Qj2B74ZRoDGkOBQJdast/AhsgAAoJEGB74ZRoDGkOWTIA/jS+FQPATK1n
KEzv+ZHjCqOsZYuUxi3nBzFm0CU4/x5zAP9umJJJdx3PjPBS0dE+I7p7gDsKxCo4
GNbfbQui+s05CrgzBF1qzMAWCSsGAQQB2kcPAQEHQIwkSyxM3bS/M6Uo8HowI6Pb
CjdnWKo3xYLT2Mp9iA8WiPUEGBYIACYWIQSHhBuSaKOW79tu0I9ge+GUaAxpDgUC
XWrMwAIbIgUJAeEzgACBCRBge+GUaAxpDnYgBBkWCAAdFiEEgrFgtFh8493J5s0U
jjPGYTDvI5EFAl1qzMAACgkQjjPGYTDvI5FAOgEA6xdZBb0hExh2fhlM4MDxfevy
joVAdSXR8LghOzPrF58A/RDhmvBvkFZ60K6NXMIIdXiL6cXGkhIQNqkyBR6wU8cG
kgQA/jNWsXbcxGTOIQOiOHUNFIFXXYQBJw/DMShd0lCdXs/aAQCG1LSbS5QBBWmz
GWZnIROmZEvQl0aBhlDT5CIos3ZQCrgzBF1qzPwWCSsGAQQB2kcPAQEHQNxYps/o
UmQaHo7jK1h2MjeRYKwpfpum2hjgGEw7/5bviPUEGBYIACYWIQSHhBuSaKOW79tu
0I9ge+GUaAxpDgUCXWrM/AIbIgUJAeEzgACBCRBge+GUaAxpDnYgBBkWCAAdFiEE
dNTO2ihVK+hmIweTbK+LeFED9CoFAl1qzPwACgkQbK+LeFED9CoJtAEA4obpZMpw
PuhcmwHjevHr0DE9KAKbYFBNlANQxzqkAFMBAPOmLz14U1E1eTL6+h9bWR7XYPoi
7OjDYhtm4fqNATQD+pgBANNSCyqr780X8dzjWGPj5EiYE/dpkgfzAtb9I2fCq5Ff
AQDDHum+QvY1d7tDgRoBkHAYHan9rGE9YcSsa3irOK6BCw==
=2YP+
-----END PGP PUBLIC KEY BLOCK-----