Banner that links to Serokell Shop. You can buy awesome FP T-shirts there!

Monad

Recently, Serokell has been awarded the Top Writer in Artificial Intelligence badge on Medium.

Serokell Is a Top Writer in Artificial Intelligence on Medium

Serokell blog is a place for our specialists to talk about things that matter them. We frequently cover areas like functional programming, machine learning, and blockchain. We also feature the best blog posts on our [Medium page](https://medium.com/@Serokell). 

Recently, we have been awarded the Top Writer in Artificial Intelligence badge on Medium. It’s great to see that repeated work and activity gets rewarded on the platform. 

If you want to read some of our best articles on artificial intelligence and machine learning, here are a few:

*   [Artificial Intelligence vs. Machine Learning vs. Deep Learning: Essentials](https://serokell.io/blog/ai-ml-dl-difference)
*   [Machine Learning Algorithm Classification for Beginners](https://serokell.io/blog/machine-learning-algorithm-classification-overview)
*   [27 Best Resources to Study Machine Learning](https://serokell.io/blog/top-resources-to-learn-ml)

Serokell Launches a Scholarship Together With ITMO

Learn more about the Serokell scholarship – our contribution to the future of computer technologies.

Education and [support of science](https://serokell.io/fintech-development) are one of the main goals of the Serokell. Our interactions with academy are manifold: many of our employees also lecture at universities and we run our own [research lab](https://serokell.io/labs) together with [ITMO](https://en.itmo.ru/en/).  
 
## Supporting students of computer technologies
 
For this reason, since June we have been contributing to a fund held by ITMO, the goal of which is to support all scientific activities of the computer technologies department of ITMO. Other notable supporters include large IT firms such as Yandex, JetBrains, Mail.ru. 
 
These contributions have resulted in the creation of the Serokell scholarship – monthly awards for the best performing students in computer technologies at ITMO. For the next half year, these 9 students will be receiving a monthly stipend of a considerable amount so that they could focus more on their studies.

![Serokell's CEO Arseniy Seroka with one of the students](/files/b6/b69w93yc.IMG_20200304_195239_563_(1).jpg)

## Investment in the future is worth it  
 
According to our CEO Arseniy Seroka:  

> Additional work spent on studies significantly impacts the prospective results of future programmers, but it is hard for students to afford this investment. This scholarship will allow those with good marks to achieve the best results they can. 
 
This is the first time anything like this has happened in the faculty, and we are excited to make our mark on the future of computer science. If you want to read more about the myriad ways we support and grow the next generation of developers, head to [this article](https://serokell.io/blog/serokell-grows-next-generation) on our blog.

Serokell receives The Manifest Awards as one of the top 15 B2B companies in Estonia, based on client reviews.

Serokell recognized among the top B2B Companies in Estonia in 2023

We're thrilled to announce that Serokell has been recognized by The Manifest Awards as the top [most reviewed B2B company](https://themanifest.com/press-releases/awards-manifest-estonia-2023?utm_medium=email&_hsmi=268730676&_hsenc=p2ANqtz-8z7XUQ8HJzvyI8frFbRyOW1No24MsCO_IWkue-lZ4uzy6J-xSmSoz3THJDGJExwYD-ZPi352vPHvmVgiRvdaRDjmKDZKGs8RKftG0ZqbyBrakcpDc&utm_content=268730676&utm_source=hs_email) in Estonia. The award, hosted by the software development, marketing and business listing platform, The Manifest, is an industry-standard recognition that celebrates best-performing companies based on client reviews. 

This award follows a year marked by numerous successful projects, the expansion of our client base, and contributions to the developer community. 

As a research-driven company, we combine a scholarly approach with the knowledge and understanding of real-world business challenges to create custom solutions for our clients.

Our portfolio encompasses a wide range of projects, from developing new cryptocurrencies and finance platforms with Distributed Ledger Technology (DLT) and smart contracts to AI projects, and designing domain-specific programming languages. Some notable projects include establishing a token ecosystem on the Ethereum network, creating an ML-based time-to-failure prediction system for electric locomotive engines, enhancing real-time game analysis software for baseball teams, developing a KYC-compliant cryptocurrency exchange, and improving the functional capabilities of the Tezos blockchain platform through programming languages.

We employ cutting-edge programming languages, such as Haskell, TypeScript, Python, and Elixir, which empower us to build robust, resilient, flexible, and user-friendly large-scale systems.

At Serokell, spreading knowledge is a core value, and we regularly share our latest research findings at conferences, publications, and on our company blog.

In addition to our software development efforts, we are proud of our Serokell Academy—an educational initiative catering to programmers and business professionals seeking innovative tech solutions. The Academy offers a wide array of free video lectures covering topics like functional programming, cybersecurity, machine learning, and more.

Among our latest initiatives is the first-ever Haskell certification program. Serokell has become the only official certifier vetted by Haskell.org. This program is set to change the job market as it will make it more centralized, enabling businesses to assess  the actual expertise of the programmers. Additionally, it will  significantly facilitate Haskell learning for programmers.

We see The Manifest Awards as a testament to the trust and appreciation of our work and the high-quality solutions we offer, as well as a motivation for the future. 

We'd like to take a moment to thank our dedicated team, our clients, and everyone who's been part of our journey so far.

Stay tuned to our blog for more updates and news on our latest projects, achievements, and insights.

Serokell Receives The Manifest Awards

### Hi everyone! 

Let us tell you what happened at **FPure Conference in Kazan**.

The main event list of speakers was amazing – actually, it was expected from the only functional programming conference in Russia.

Alexander Granin, lead of the Novosibirsk LambdaNsk community, talked about two different approaches in functional programming – Final Tagless and Free Monad. [Vitaliy Bragilevsky ](http://https://twitter.com/_bravit) from SFEDU made a short lecture about building a compiler, and Alexey Pirogov from Hexlet talked about functional design and FP patterns.

What about us? Our haskellers [Danya](http://https://twitter.com/CartesianClosed) and Rinat performed excellently (congratulations once again!) It was a great opportunity for guys to represent their work and shake some hands, of course.

Our engineers gave a talk about approaches and problems of the type-driven development in Numeric Haskell. The visitors were posting their impressions online on Twitter. We selected some of the tweets to share with you.

https://twitter.com/_bravit/status/1132201805797052416
“They’re telling programmers about Presburger arithmetic. This is useful!”

https://twitter.com/xufocoder/status/1132202918923440128
“It seems that I’m starting to understand what is happening here. The dimension of the matrices cannot be controlled with the types that guys use when they solve their ML tasks. This problem can be solved using dependent types, but Haskell doesn’t have this feature! What to do? Emulate.”

https://twitter.com/xufocoder/status/1132206956788297728
“If your code is simple and the algorithm is not COMPLICATED, you may skip messing around with dependent types in your Haskell programme. But if you need to deal with it, remember that you will have to make efforts to prove your code is correct to the compiler at least.”

Meanwhile, Danya and Rinat are writing the next chapters of their series “Dimensions and Haskell”. 
“The second and third parts of the article series are going to be the most intense. In the blog post, we’re going to depict how we solved the issues and where our approach came from. After that, we will show various examples and explain how the approach is useful.

A couple of words about our approach. It can be applied not only to dimensions but to any parameters. It can be designed as a library which is compatible with any of matrix libraries and allows separating an algorithm from the proof of its correctness. But no more spoilers! Just believe me, it’s going to be hot.” 
– Danya Rogozin

The second part of the series is coming soon, stay tuned!

Serokell leverages functional programming to create bespoke solutions for a wide range of industries, including [biotech software](https://serokell.io/biotech-software-development), fintech and edtech platforms, and more. Contact us to discuss your idea!

Serokell at FPure 2019

Viktor Kazanski

Denis Oleynikov

Pavel Golovin

Mika Logan

Constantine Ter-Matevosian

Alexey Danilevsky

Vladimir Serov

Nikolay Yakimov

Inna Logunova

Ivan Smetannikov

Aleksandr Pak

Leonid Vasilev

Ilya Lubimov

Andrey Borzenkov

Markus Barenhoff

Kirill Kizilov

Kristina Martin

Nurlan Alkuatov

Jay Zelenskyi

Adrián Enríquez

Anton Sorokin

Uliana Sushinskaia

Vadym Salnyk

Daniel Kazantsev

Vito Canadi

Chris Höppner

Lars Jellema

Yorick van Pelt

Yegor Timoshenko

George Agapov

Kirill Andreev

Brian Kean

Val Baturin

Kyrill Briantsev

John Burnham

Ivan Dolgakov

Kirill Elagin

Pavel Gliev

Joakim Goldkuhl

Ivan Gromakovsky

Kostya Ivanov

Murat Kasimov

Alexander Rukin

Vasiliy Kevroletin

Mikhail Kilianovski

Maxim Koltsov

Dmitry Kovanikov

Artem Kuznetsov

Nikita Lisitsa

Allan Lukwago

Dmitry Mukhutdinov

Alexander Nikolaev

Dmitry Nikulin

Konstantin Andriotis

Artem Ohanjanyan

Ilya Peresadin

Pasquale Pinto

Danya Rogozin

Rinat Stryungis

Alexander Tiunov

Paul Tsupikoff

Mitchell Vitez

Josef Vlach

Mikhail Volkhov

Murad Murzaev

Vladislav Zavialov

Arseniy Seroka

Jons Mostovojs

Felix Stegerman

Roman Melnikov

Jaroslav Shadrin

Marina Sharygina

Leonid Cupikov

Ping Chen

Sergey Litovchenko

Nadir Asanbekov

Dmitry Lifanov

test1

Domagoj Cerjan

Ellina Poponnikova

Dmitrii Susloparov

Damir Garifullin

Aleksandr Pakulev

Kirill Kuvshinov

Roman Alterman

Anton Dobrenkiy

Alexandra Voicehovska

Eduard Sachava

Sandeep Chandrika

Grigory Pevnev

Artem Velychko

Olga Bolgurtseva

Yulia Gavrilova

Zhenya Vinogradov

Alexander Bantyev

Stepan Prudnikov

Moremi Vannak

Fedor Fedorov

Krisztián Ádám

Alyona Antonova

Artem Yurchenko

Diogo Castro

Heitor Toledo Lassarote de Paula

Ilona Prikule

Natalya Kokova

Daria Smirnova

Serokell PR

Gints Dreimanis

Ivan Markov

Andrey Demidenko

Dmitriy Mozhevitin

Iurii Kravchenko

Vlad Shcherbina

Preetham Gujjula

Dina Safullina

Alexey Khaciyants

Dmitri Puzyrev