A functional programmer and a founder with a passion for simple and elegant solutions.
I have co-founded Serokell, one of the biggest functional programming consultancies and Doma, a product and service company which prizes itself with implementing scalable software systems.
I act as a technical advisor and a board member of these companies.
Need the best IT consultancy service? Hire me!
I use Rust, TypeScript, Lean 4 Theorem Prover to build scalable and reliable software systems. For deployment and infrastructure I use modern Nix on non-NixOS Linux distributions. As far as observability goes, I use Prometheus and Grafana for monitoring.
If needed, I have expertise in Scala, Golang and all the BEAM-based languages except for LFE: Erlang, Elixir, Gleam. I'm confident that I will be able to use Agda and OCaml due to my experience with Lean and Haskell. On the deployment and infrastructure side of things, I am comfortable with using NixOS instead of Ubuntu LTS as well as augmenting it with Bazel, Docker compose, Kubernetes.
I'm also a life-long script-kiddie. My young adult years are filled with plausible deniability. All the websites I build for myself or my companies contain a CTF challenge (including the one you are at right now)!
For running IT departments and companies in general, I use principles of remote-first teams, traceable and transparent processes.
For project work, I use systems engineering principles, identifying the needs of the stakeholders and making sure that everything down the line is based on those.