Sign up
Sign in
Golang, Haskell, Functional Programming, Interactive Theorem Proving, Automata and Music Programming. https://awalterschulze.github.io/
I like bitcoin.
Building Bitcoin Infrastructure since 2013
Help
Status
About
Careers
Press
Blog
Privacy
Terms
Text to speech
Teams