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

Gone wild

Vladislav Zavialov, the leader of our GHC team, has recently joined the GHC Steering Committee.

Vladislav Zavialov Has Been Accepted Into GHC Steering Committee

Vladislav Zavialov, the leader of our GHC team, has recently joined the GHC Steering Committee.

GHC Steering Committee works to guide the process of GHC change proposals and to decide which GHC proposals are adopted and which are not. 

Since GHC is the most widespread Haskell compiler (by a significant margin) in the industry, the committee is basically making choices on which features will be added to the language. Therefore, being a part of it is an important role that brings a lot of responsibilities.

We’re happy that Vladislav has stepped up to take this role and we hope that his work will help Haskell become an even more awesome language! 

If you want to learn more about Vladislav and our work on GHC, we recommend checking out [the interview](https://serokell.io/blog/developing-ghc-for-a-living) we did with him last year.

In the interview, Arseniy Seroka talks about Serokell's mission and the past and present of the company. He also shares his view on the software engineering future and reveals the main fields Serokell is working on these days.

Serokell CEO Arseniy Seroka Gave an Interview to Website Planet

> Serokell’s mission is to make great things happen. We aren’t afraid of challenges; we welcome them. And we work hard to improve at every step of the way, be it coding, recruitment, communication.

Our CEO Arseniy Seroka was recently interviewed by Website Planet, one of the leading content portals and review centres for those who want to build a new website or improve an existing one.

In the interview, Arseniy talks about the story of the company, its unique features, and the mission of Serokell. He points out that we all in the company work to make great things happen and improve with every step. Another significant mission of Serokell, says our CEO, is to support talented young scientists and give them the space and environment to work on outstanding projects.

To fulfil this mission, Serokell also acts as a sponsor of various contests and events. For example, our company supports the computer laboratory based at the ITMO university along with such companies as JetBrains, Yandex, Mail.ru Group, and Tinkoff.

Arseniy also shares his view on how he anticipates the future of software engineering. He believes that new stunning technologies will keep appearing, which means more talented people will use them to build products and services that change the world.

You can read the full interview on the [Website Planet](https://www.websiteplanet.com/blog/interview-serokell/).

Thank you, Website Planet, for the opportunity to spread the voice and share our values with your readers!

Website Planet Interviews Serokell CEO Arseniy Seroka

Functional Futures by Serokell has made it to the  Feedspot list of the 10 Best Functional Programming Podcasts

Functional Futures Among Top 10 Functional Programming Podcasts

We're delighted to announce that our podcast, *Functional Futures*, has earned recognition from Feedspot, making it to their list of the [10 Best Functional Programming Podcasts](https://podcasts.feedspot.com/functional_programming_podcasts/?feedid=5534285).

***Functional Futures*** is a podcast where our passion for FP meets real-world applications and innovation. Through our interviews, we bring to our listeners the voices that are shaping the present and future of functional programming. Whether it's the intricacies of functional programming languages, the complexities of compiler development, or the nuances of type theory, we got you covered.

Feedspot employs various methods, from an in-house research team surfing the internet to proprietary media monitoring tools, to find and curate the best podcasts in several niche categories. An expert editorial team then reviews every podcast. The platform's lists aim to provide listeners with credible, relevant, and constantly updated information. It prioritizes podcasts that bring authoritative and genuine insights and looks at how the podcast resonates and interacts with its audience.

We are happy that Feedspot has recognized our functional programming expertise and our ability to create valuable and engaging content. 

We'd like to thank our listeners for their support and curiosity. We will continue bringing you the most interesting discussions, debates, and stories from the world of functional programming.

*For those new to [Functional Futures](https://podcasters.spotify.com/pod/show/functionalfutures), we invite you to check out our episodes.*

*You can also subscribe to Serokell's [YouTube channel, ](https://www.youtube.com/@Serokell)where we share our DevOps practices for effective development and maintenance.*

*If you want to stay updated on the latest publication in our blog, follow us on [Twitter](https://twitter.com/serokell).*

*Thank you for being part of our community!*

Feedspot Includes Serokell's Functional Futures in Top 10 Functional Programming Podcasts

### 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

Vadym Salnyk

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

Emils Petracenoks

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