A senior developer in VirtualMinds and a developer in Tarantool DBMS. Interested in large scale networking, system programming, game development, databases, distributed systems, low-level optimizations of extremely loaded code, algorithms and data structures, cross-platform development in C and C++, formal models’ verification with TLA+. Other talks: https://slides.com/gerold103.