kachayev
- Karma
- 244
- Created
- October 28, 2012 (13y ago)
- Submissions
- 0
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.
- Does your type system work on you? Refined types in Clojure (speakerdeck.com)
- Solving the “N+1 Selects Problem” with Muse (github.com)
- ClojureScript and React. Moving from Bad to Good (speakerdeck.com)
- Microservices in Clojure. Lessons learned (speakerdeck.com)
- Channels Are Not Enough (gist.github.com)
- Monadic parser for CSS in Clojure (gist.github.com)
- Deterministic parallel and distributed programming. Quick intro (speakerdeck.com)
- Monadic parser combinators in Python for FP beginners (speakerdeck.com)
- Modern Concurrency: Erlang, Scala, Go, Clojure (kachayev.github.com)
- Fn.py: enjoy functional programming in Python (kachayev.github.com)