Other

Last week, we organized out first-ever #SerokellChat! In case you missed it, here is a short wrap-up of the questions and answers.

How do old technologies become relevant dozens of years after their conception? In this article, we look into the history of Erlang and Elixir for answers.

In this interview, we talk with Ivan Gromakovskii – a person of untold productivity and a legend of the Serokell technical team.

To make sure your code handles Unicode in the best way possible, read this article about a new Haskell library called with-utf8.

How to build a company of good friends that help each other? Listen to Arseniy's interview with HuntIT to find out the answer.

In order to learn about the various ways one could end up doing functional programming at a company like Serokell, we asked three of our engineers how they got started with FP.

What is it like to work on GHC, the state-of-the-art open source Haskell compiler? Read this post to learn what features Vladislav implemented in 2019 and what he has to say about the challenges of contributing to GHC.

In the first part, we introduced the reader to basic modal logic. In this part of the introduction to the modal logic, we observe use cases and take a look at connections of modal logic with topology, foundations of mathematics, and computer science.

Could you unite a career in physics with writing and teaching Haskell, one of the (allegedly) most complex programming languages out there? Today, we have an interview with a person that can.

The terms “blockchain” and “distributed ledger technology (DLT)” are very often used as synonyms. Guess what? They're not.

As one of our more senior developers, Ivan Gromakovsky has worked with a lot of different tools and platforms. In this post, he compares the two main software development platforms: GitLab and GitHub.

Modal logic covers such areas of human knowledge as mathematics (especially topology and graph theory), computer science, linguistics, artificial intelligence, and philosophy. Explore this branch of logic together with Danya Rogozin.