šØāš 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 ...