๐จโ๐ญ I'm currently working at Informal Systems as Software Engineer on the Cosmos Hub.
โ๏ธ At the Cosmos Hub ...
- Iโm working on building out new Hub features
- Making sure that we have quality releases
- Hurding all the ๐ฑ ๐โโฌ
that need hurding
๐ฑ In my spare time ...
- Iโm working on building out a number of productivity apps and language learning tools
- Iโm currently learning more about DAO's, CosmWasm and the ever evolving Cosmos ecosystem ...
- I'm interested in formal methods and functional programming with languages such as F#, Clojure, Haskell or Elm ...
- ... and working in technical and scientific domains ...