Linux, C, C++, Template metaprogramming, generic programming, Android, OS design, Haskell, Functional programming, Scheme, Lisp, Dependent Types, Agda
Unix developer at DrWeb Ltd.
Menu
