|
|
|
user: kachayev
created: 2012-10-28
karma: 244
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.
submissions:
|
|