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

Cringy

Our CEO Arseniy Seroka has recently been interviewed by ITFirms, a B2B research and rating company. In the interview, he speaks about software development, functional technologies, and our approach to working with clients.

ITFirms Interviews Serokell CEO Arseniy Seroka

> "Understanding the pains and desires of the client and speaking the same language as them is highly important. And, of course, honesty and trust. We would never take a project that we do not believe in." — Arseniy Seroka

Our CEO Arseniy Seroka has recently been interviewed by [ITFirms](https://www.itfirms.co/), a B2B research and rating company. In the interview, he speaks about software development, functional programming technologies, and our approach to working with clients. 

If you wish to read the interview, it is available on the [ITFirms website](https://www.itfirms.co/interview-with-arseniy-seroka-ceo-serokell/). 

![Three of our executives at Web Summit; Arseniy in the middle](/files/nc/nc23lz77.20191107_175137_(1).jpg)

If you want to learn more about Serokell and our way of working, you can also check out the interviews with Arseniy on [ITMO News](https://news.itmo.ru/en/news/9230/) and [HuntIT](https://serokell.io/blog/haskell-at-200-mph), or browse the [interview](https://serokell.io/blog/interviews) section of our blog.

Serokell rated among the top software development agencies in the USA by superbcompanies.com in March 2023

Serokell in the List of Top IT Companies in the USA by the SuperbCompanies Platform

Serokell has been included in [SuperbCompanies.com's](https://superbcompanies.com/categories/software-development-companies-in-usa/) list of top software development firms in the USA for our high-quality IT services and extensive experience in various areas, ranging from functional programming and SRE to AI and data science.
 list of top software development firms in the USA for our high-quality IT services and extensive experience in various areas, ranging from functional programming and SRE to AI and data science.

SuperbCompanies is an independent B2B market research and analysis platform offering ratings and rankings for software development, testing, marketing, and PR firms. The platform provides businesses with objective and up-to-date information. Each month, it releases lists of the best service providers in various industries and regions. The selection process entails extensive research, considering factors such as the company's ability to provide quality services, industry experience, brand reputation, customer reviews, independent awards, and more.

The ranking is critical in all these industries, where quality and reliability are paramount. The creators of SuperbCompanies are seasoned professionals who have spent over a decade helping their clients find the right partners. By regularly publishing rankings, SuperbCompanies enables its users to identify the most authoritative players in their respective markets. 


Serokell offers expertise in diverse software development niches, including fintech, edtech, blockchain, biotech, and other advanced fields. Besides Haskell, our experienced team uses other programming languages, such as Python, Rust, TypeScript, Nix, OCaml, and Elixir. This enables us to enhance the functionality and flexibility of the clients' products worldwide, ensuring that their solutions meet the requirements and customers’ expectations.

We are grateful to SuperbCompanies for the recognition we have received. We wish the platform continued success and prosperity.

Serokell Among the Top IT Companies in the USA

Introduction to GUI Programming in Haskell

Learn how to do GUI programming in Haskell with GTK+.

**Update:** You can watch the full talk on [YouTube](https://www.youtube.com/watch?v=k1aq8ikO-8Q&t=2s).

Join us on 1st October, 17.00 UTC to learn more about GUI programming in Haskell. 

Our software engineer Vladislav Zavialov will give a talk on how to use Haskell and GTK+ to build graphical user interfaces in a functional programming language. He will talk about topics such as:

*   Initializing the build environment with Nix.
*   Creating an app using GTK+ widgets. 
*   Offloading work to other threads, using `GLib.idleAdd`. 
*   Documentation and resources to study if you want to build an app of your own.

This is a great way to get started with GUI development in Haskell and find answers to any questions you have. 

To watch the talk, [join us](http://meet.google.com/fui-diin-uxk) on 1st October, 17.00 UTC. 

<center>
	<i>Think you'll forget? Add the event to your Google Calendar.</i>
<a target="_blank" href="https://calendar.google.com/event?action=TEMPLATE&amp;tmeid=NWltOWp2dWNiZnQzM2RybjR1aHJyamNlcjYgY18ya2Y1M2U5OTdxNjJmdWl0N2xza2hjaG4yc0Bn&amp;tmsrc=c_2kf53e997q62fuit7lskhchn2s%40group.calendar.google.com"><img border="0" src="/files/xm/xmvysj0o.gc_button1_en.gif" alt="Link to Google calendar"></a>
</center>

![talk picture](/files/2g/2glb7e7k.Vladislav-Zavialov-.jpg)

By the way, if you haven’t yet seen our previous talk by Maxim Koltsov, we highly suggest checking it out. In it, Maxim goes over how evaluation and GC in Haskell work, going deep in the compilation pipeline of Haskell, showing some interesting details of intermediate languages that GHC uses, and giving tips to optimize GC in Haskell. 

<iframe width="560" height="315" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen="" data-src="https://www.youtube.com/embed/vvLDerKtUWE"></iframe>

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