Logic, Γypes, and Crypto Musings

I am Reisen, a developer currently working in the cryptocurrency space. You can find my Github here, and my Keybase here. This website is an archive of all my public work or posts. If you need to contact me you can send me an email at reisen@[domain].com