2022-08 — now
2020-10 — 2022-08
2019-05 — 2020-10
2018-06 — 2019-02
Interact with browser from Go. Manually crafted WebAPI interoperation library.
Generic functions for Go 1.18: Filter, Map, Reduce, Min, Sort, etc.
Compute the distance between sequences. 30+ algorithms, pure python implementation, common interface, optional external libs usage.
Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
The best Python project manager, all-in-one solution with a smart resolver.
I have 130 Open Source projects. Check them out at orsinium.dev/projects.html.
This is my favorite language, I'm in it about 8 years (since Python 3.4). I know source code of almost all stdlib, have many Python-based Open Source projects and public talks.
I'm quite proficient with Go. I reach to it when I need a good performance: games, small systems (thanks to TinyGo), small but important APIs. Oh, and of course I have some open-source projects on Go. At the moment, I have 4 years of experience (since Go 1.11).
I enjoy Elixir and believe it's the best functional language. I know some good of chunk of Erlang, had experience with a basic web app on Phoenix with LiveView, understand Erlang concurency, know some parts of OTP, and eager to dive deeper in this beautiful ecosystem.
I'm pretty fluent with HTML, CSS, and even quirks of WebAPI. I might miss on some modern features like flexbox, though. Mostly, because Bootstrap is sufficient for my personal projects and it abstracts away some markup complexity.
With modern JS I'm less familiar. Mostly, I use for my projects AlpineJS, WASM, and LiveView. If you need a frontend developer, it's not me. But if you need from me just a good understanding of your frontend, I can easily crack it.
I like to learn new things and conceptions. I have experience with Haskell, Idris, RPython, Pony, Nim, Crystal, Clojure, Scala, JS, Ruby. I'm not afraid to read and fix code on any language.
Automated testing (unit, integration, acceptance, regression), static code analysis, formal verification, contract programming, mutation tests, type theory. I like to push boundaries of my code to see how it performs in extreme situations, to find interesting corner-cases, to dig math behind programming.
I have an Information Security red diploma, interested in practical aspects of security, have many publications on different topics, visited some security conferences. I was a founder and leader of the CTF team that have gotten 6th place on an international contest (alert1 team). In Smena team I've made global security audit, fixed many security issues, integrated some security systems like brute force protection and intrusion detection.
At the university, I worked in the linguistic department where I researched language and text influence, adopted Claude Shannon's information theory to natural languages. In Cindicator I wrote simple trading strategies that get information from crypto exchanges and make predictions about cryptocurrencies prices. On free time I learn Machine Learning and build different cool models. See my projects for examples.
I know design patterns, antipatterns, refactoring techniques, 12 factors, SOLID principles. In Cindicator a was the architect for the trading platform from the first lines of code to the successful launch.
I live in Linux for 8 years, can solve any issue from a terminal. I've worked with different Linux distros (Ubuntu, Debian, CentOS), set up physical servers, VPS, Raspberry Pi, Orange Pi.
I'm familiar with formal logic basics, boolean logic, math logic, a little bit with proof theory. deal is my experiment on how good you can prove code automatically, without writing proofs at all.
I math! I watch Numberphile, solve riddles and equations for fun, know how to apply math in my work to make code faster and even nicer.