As a software engineer with over 3 years of experience, I specialize in C#, Python, and C++ with a bias toward theoretical computer science.

For the past couple of years, I'm focusing on programming language development, code analyzers, compilers, algorithms, and computer science in general. And if you're interested in good ol' CS stuff, read on b1z0n.pro - definitely check some articles there. Also on my Telegram and Twitter.

Besides that, I have extensive experience in developing and promoting my own products, including a small but useful telegram bot: fonlybot.xyz. Similarly, I have developed over 20 small and large open-source projects, and have contributed to over a dozen of open-source projects, which have been downloaded a few hundred thousand times and have a combined total of over 30k stars on GitHub!

But there's also a special perspective on my craft - linguistics. I have a deep understanding of a few programming languages and paradigms with over 50 programming languages being tackled as I enjoy comparing and contrasting them to learn more about this field. Recently, I have been interested in interactive theorem provers and type theory, particularly Isabelle.

I am getting my education now from the University of Twente in the Netherlands, where I learned about theoretical computer science, which fascinated me so much that I'm considering pursuing a Ph.D.