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

Monad

On October 16-18, we participated in NixCon 2020. Here's the details of our participation.

Serokell at NixCon 2020

On October 16-18, we participated in NixCon 2020. 

NixCon is an annual conference for contributors and users of [Nix](https://serokell.io/blog/what-is-nix) and NixOS. 

It’s an event we keep participating in every year, [including the previous one](https://serokell.io/blog/serokell-nixcon2019). This year, due to the COVID crisis, it was done remotely. 

One of our employees, Alexander Bantyev, participated with a talk on Nix flakes in production, a thing we have been working for some time now. 

If you’re interested, here’s the talk. You can also see all the other talks of the event on their YouTube channel. 

<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/7sQa04olUA0?start=9117"></iframe>

Serokell at AiML 2020

Advances in Modal Logic is one of the most popular conferences on modal logic. Read about the conference and Danya Rogozin's participation in it.

[Advances in Modal Logic](http://www.aiml.net) is one of the most popular conferences on modal logic. AiML covers the whole landscape of modal logic and its current state of affairs. Topics are not restricted to only abstract questions of modal logic but also includes the aspects related to artificial intelligence, philosophy, topology, algebra, etc. This year, the conference was online due to the pandemic – the University of Helsinki did a great job in organising it via Zoom.

## AiML talks

The AiML talks were split into three categories. The first category was plenary talks. This year, invited speakers were Bahareh Afshari (the University of Amsterdam), Nick Bezhanishvili (the University of Amsterdam), Melvin Fitting (City University of New York), and Nina Gierasimczuk (Technical University of Denmark), all great talks indeed. 

Out of those, I would like to emphasise the talk by Nick Bezhanishvili called ‘Filtrations, Canonical Formulas, and Axiomatisations of Superintuitionistic and Modal Logics’. The talk was quite close to my current research on model-theoretic aspects of Boolean algebras with operators.
 
There were also talks based on full papers. Topics of those papers represent a variety of trends in modal logic that include technical, applied, philosophical, and historical problems. Moreover, this conference is my debut as a paper reviewer. One of the accepted papers has been approved by myself as well.

## My presentation 

My talk was the short one and is based on a short five-page abstract. It's called ‘Canonical extensions for the distributive full Lambek calculus with modal operators’. 

Briefly, this talk provides an algebraic approach for Stone-style representation for bounded distributive lattices with modal operators to characterise the class of canonical logics. Canonical logics, in their turn, are adequate with respect to relational Kripke semantics if their algebras ‘respect’ such an algebraic representation called canonical extension. The result of this talk extends some of the results by [Mai Gehrke, Yde Venema, and Hideo Nagahashi](https://www.sciencedirect.com/science/article/pii/S0168007204000880).

Serokell Executives Participate as Judges in MLHack

On March 13-15, two of our executives, CEO Arseniy Seroka and CBDO Roman Alterman, participated in the jury of MLHack.

On March 13-15, two of our executives, CEO Arseniy Seroka and CBDO Roman Alterman, participated in the jury of MLHack. 

## Searching for the future of AI 

[MLHack](http://mlhack.tech/) was a hackathon, organized by ITMO and Botan Investments, a small fund that invests, develops and mentors new projects. 

The goal of the hackathon was to build applied solutions for several problems in the sphere of machine learning, including voice and image generation. The winners of the hackathon got money prizes and an opportunity to go to Cyprus and participate in an accelerator. 

![Our executives participating as judges](/files/hd/hd2lxsd1.2_5445351170719614574.jpg)

Our executives and other members of the jury, which included machine learning experts and founders of other AI companies, were tasked with rating the teams.

## Helping the next generation

One of our main goals at Serokell, is to grow the next generation of specialists, be it developers or researchers in the areas covered by [Serokell Labs](https://serokell.io/labs). This hackathon was a great chance to witness and participate in the growth of IT talent, and we would like to thank MLHack for the opportunity. 

![The judges of MLHack](/files/0w/0wnp6zqd.2_5445351170719614577.jpg " ")

#SerokellChat on June 4th!

Learn tips and strategies to use when applying for software jobs, and which parts of Haskell are necessary to know to work in industry.

We will be hosting the next edition of #SerokellChat on 4th of the June at 2 PM GMT. 

Fitting for the second edition, this instance of our Twitter chat will have not 1, but 2 special guests! 

![Serokellchat banner](/files/gm/gmc3fniy.twitter2.jpg " ")

Since “how to get a Haskell job?” was an interesting topic to discuss, we’ve decided to delve deeper into it. 

One of our guests is Alexandra Voicehovska, our HR manager responsible for the day-to-day hiring process. If you apply for a job at Serokell, she is the one you are looking to impress. 

The other guest is none other than our Chief Architect Officer Jonn Mostovoy. As one of the co-founders of Serokell, he is the one who set the hiring philosophy of Serokell in motion. 

Both of these guests have experience with being on the company side of the hiring process. We think they can give valuable insight into how to present yourself in the best light and which skills to master to have the best chance at getting that elusive Haskell position. 


## What is a Twitter chat?

To join, find us at the [#SerokellChat](https://twitter.com/search?q=%23serokellchat) hashtag on 4th of June at 2 PM GMT, and participate in a discussion together with other Haskell enthusiasts and Serokell employees that work on actual production-grade Haskell code.

We will post 5 questions to guide the discussion, and you are welcome to discuss the questions with our special guests. The are a few rules to make it clearer for everyone to participate: 

1. Start the tweet with A + the number of question you're answering. 
2. Tag the tweet with #SerokellChat so that every participant can see it. 

![rules for Twitter chat image](/files/lo/loujetca.grpahics.jpg " ")

Everybody is welcome to participate. Book the time, follow us on [Twitter](https://twitter.com/serokell), and see you at #SerokellChat! Meanwhile, you can see a quick summary of the previous chat [on our blog](https://serokell.io/blog/serokellchat-wrap-up).

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

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