Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
I help build the backend for a funded IoT signal intelligence startup.
I am:
Forever a student of distributed systems, pure functional programming, homotopy type theory, natural language, PLT and deep learning especially in robotics and autonomous vehicles.
Typically programming in Scala, Go and Kotlin for production. For thought experiments and higher theoretical work; Haskell.
