ko dimensional

Dmitrii Kovanikov

I am a Haskell Adept: developer, teacher, enthusiast. Here you can find information about me, my working experience and my most notable work in the open-source community. Speaking of which, almost all my open-source work belongs to the Kowainik organisation which we created together with Veronika. Oh, and don't forget to check out my blog!


Experience

Co-founder & Mentor & Maintainer

Using Haskell to build better software. Improving Haskell ecosystem and making community friendlier. Mentoring people and help them to learn the programming language.

March 2018 — Present

Middle Haskell Developer

Backend development of web applications in Haskell. Working on healthcare projects that sync information from multiple sources and display them to users. Integration with machine learning models in other languages. Technologies included: Haskell, Elm, PostgreSQL, Amazon services (S3, SQS), Protocol buffers.

May 2018 — Present

Haskell Software Engineer

Developing distributed cryptocurrency systems using Haskell. Implementing cryptocurrency protocols, creating logging framework, writing jekyll documentation in English, Haskell development and refactoring tooling support, performance optimizations, benchmarking, making world better.

May 2016 — April 2018

Haskell PL Tutor

Teaching the course about functional programming in Haskell: desinging the course, creating lecture slides and validating completed lab assignments.

September 2015 — April 2018

Projects

My open-source work and most notable projects.

📕 co-log

Composable contravariant comonadic logging library

🏝 tomland

Bidirectional TOML serialization library with monadic profunctors, theorem proving and prefix trees

🍃 treap

Efficient implementation of the implicit treap data structure

🐞 type-errors-pretty

Combinators for writing pretty type errors easily

🎒 containers-backpack

Backpack implementation of the uniform interface for containers in Haskell

🌀 relude

Alternative standard library for Haskell with modern idioms

🌋 idris-patricia

Idris implementation of the patricia trees
See more of my projects