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

Cringy

Serokell is mentioned among the top European developers on the independent IT market research platform Good Firms.

Serokell is listed among the top European developers

Serokell is mentioned among the top European developers on the independent IT market research platform goodfirms.co. We got to the top 10 for several directions, including [the leading AI firms](https://www.goodfirms.co/artificial-intelligence/estonia), [the best blockchain technology companies](https://www.goodfirms.co/directory/country/list-blockchain-technology-companies/estonia),  [the top big data analytics companies](https://www.goodfirms.co/big-data-analytics/estonia), one of the best Internet of Things companies, etc. 

It’s a pleasure to be listed among  IT industry leaders by independent researchers like GoodFirms.

Serokell is Mentioned Among the Top European Developers

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

Daniel Rogozin's Paper Released in the Journal of Logic and Computation

Recently, a paper of one of our employees was released in the Journal of Logic and Computation. Read more details about the paper in this article.

D.Rogozin's Paper Released in Journal of Logic and Computation

Last year, Daniel Rogozin participated in a conference called Logical Foundations of Computer Science (Miami, USA, 2020). The contribution was the conference paper and lecture on the computational interpretation of some intuitionistic modal logics. [For more info, check this brief report about the conference](https://serokell.io/blog/lcfs-2020).

The extended paper has been recently released in the Journal of Logic and Computation (Oxford University Press). [The previous article](https://link.springer.com/chapter/10.1007/978-3-030-36755-8_15) was about questions related to syntax. In other words, Daniel was considering the modal typed lambda calculus based on the curious system of intuitionistic modal logic where he proved such properties as confluence and strong normalization.

The extended paper covers a broader class of topics. In addition to syntax, Daniel also proposed semantic analysis of those intuitionistic modal logics. In this paper, he proved that the obtained modal lambda calculus is complete with respect to cartesian closed categories equipped with coalgebras obtained from the monoidal endofunctor. That provides essential categorical intuition for evaluation in this type theory.

Additionally, he analyzed a class of logics by means of Kripke-Joyal semantics. This kind of semantics arose from topos theory and generalisation of the underlying topological notions proposed by Grothendieck. The modalities might be interpreted as prenuclear operators used in point-free topology. This version of topology studies topological spaces as lattices of open neighbourhoods without mentioning geometric points. As Newton said: “if I have seen further, it is by standing on the shoulders of Giants”. This aphorism illustrates the paper since this part of the article develops [Robert Goldblatt's ideas](https://academic.oup.com/logcom/article-abstract/21/6/1035/945244).

The paper [is available online](https://academic.oup.com/logcom/advance-article-abstract/doi/10.1093/logcom/exaa082/6049830), and it is to appear in the special issue of the Journal of Logic and Computation prepared by Sergei Artemov (City University of New York) and Anil Nerode (Cornell University).

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

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

Jonn Mostovoy

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