kachayev
Born on October 28, 2012•244 Karma
CTO @ Attendify. Full-time coding in Clojure, part-time coding in Haskell, often wondering in Idris.
Scientifically interested in algebras, personally worried about protocols (including HTTP2 ), working hard on async code correctness verification catching race conditions with dependent types like there's no tomorrow (yeah... Aleph & Netty - I'm looking at your right now ) trying to make a life of communicating system developers better.