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

Lazy by nature

 In the new episode of the Type Theory Forall podcast, hosted by Pedro da Costa Abreu Júnior, our GHC Team Lead, Vladislav Zavialov, discusses his work on the Glasgow Haskell Compiler and the impleme…

In the new episode of the Type Theory Forall podcast, hosted by Pedro da Costa Abreu Júnior, our GHC Team Lead, Vladislav Zavialov, discusses his work on the Glasgow Haskell Compiler and the implementation of Dependent Haskell.

He explains how changes to Haskell are proposed and evaluated through the Haskell Steering Committee, gives a practical overview of GHC internals, and shares advice for newcomers who want to start contributing to the compiler.

The conversation also goes deeper into the theory and implementation challenges behind bringing dependent types to Haskell.

[Dependent Haskell with Vladislav Zavialov](https://www.typetheoryforall.com/episodes/dependent-haskell)

Type Theory Forall: Dependent Types

Serokell Is in Top 5 Machine Learning Companies on Techreviewer

Serokell has recently been featured in the machine learning developer rankings of Techreviewer. To learn more, read this article.

Serokell has moved to the 4th place in the [machine learning company rankings](https://techreviewer.co/top-machine-learning-companies) of Techreviewer.

Techreviewer is an online aggregator that conducts research about the best software developers on the market and publishes lists of the top companies in various business domains. For more than 15 years, they help businesses find IT vendors based on market research and analytics.

We're glad that Techreviewer recognizes our expertise in machine learning, artificial intelligence, and data science to be so high as to recommend us among the leading companies for machine learning development in 2021. 

Machine learning is one of our main priorities, and we will be sure to continue to serve our machine learning customers the best we can in 2021.

Serokell at ZuriHac 2022

Learn about our experience participating in the ZuriHac 2022 hackathon!

# Serokell at ZuriHac 2022

[ZuriHac](https://zfoh.ch/zurihac2022/) is a rather famous Haskell gathering and hackathon organized by [the Zürich Friends of Haskell](https://zfoh.ch/). Each year, Haskellers gather there to hack on a wide variety of Haskell projects, hang out, and have a good time. 

At Serokell, we love this event. We try to sponsor and attend ZuriHac every year. 

While ZuriHac was online for the last two years, this year it was back with a bang. According to our CBDO, Roman Alterman: “Representatives of all the leading companies in the industry gathered under one roof of OST. Consultants, product creators, the best programmers and researchers – all were there.”

This year, 4 Serokellers attended ZuriHac: our CEO Arseniy Seroka, CBDO Roman Alterman, and software engineers Pasquale and Ilona. 

![d86jzrjz.IMG_20220611_140034_090_(1).jpg](/files/d8/d86jzrjz.IMG_20220611_140034_090_(1).jpg)

Here’s what they say about the event:  

Pasquale Pinto: “The laid-back approach, the like-minded company, the stunning venue, etc. make the entire event an awesome way for the Haskell community to get in touch and meet in person.”

Ilona Prikule: “Zurihac's attendees really looked like a community of passionate people, and the feeling of belonging to this crowd was awesome. The organizers did an amazing job of making the campus welcoming, too. Also, it was cool finally seeing Simon Peyton Jones in person. 🙂”

Arseniy Seroka: “It was amazing to go to ZuriHac after two years of inactivity – I saw a lot of familiar faces, friends, colleagues, partners. It was such a pleasurable experience to stay near the lake in the OST campus. ”


![uxig9t54.IMG_20220613_124117_(1).jpg](/files/ux/uxig9t54.IMG_20220613_124117_(1).jpg)


Since ZuriHac is a hackathon, we had our own hackathon project – <code>[tzbot](https://github.com/serokell/tzbot)</code> – a bot for Slack that detects messages with time mentions in them and converts them to the user's timezone.

We had a lot of fun working on `tzbot` issues together with members of the community and hope to return next time! 

By the way, the keynotes from ZuriHac are available on the [YouTube channel](https://www.youtube.com/watch?v=v9cmxOubStA&list=PLOvRW_utVPVnqp24VsF0wiIRa-m9oWrox) of OST. Our personal favorite is [The Legend of DSLs](https://www.youtube.com/watch?v=kdkWhtpX1BA&list=PLOvRW_utVPVnqp24VsF0wiIRa-m9oWrox&index=4), which we recommend you to check out. 😉

ITFirms Interviews Serokell CEO Arseniy Seroka

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.

> "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.

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

Yato Rin

Ruben Astudillo

Dina Safiullina

Andre Matsonens

Alexander Dozorin

Levon Oganyan

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