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

Monad

Serokell came in 158th place in the Open AI Codex competition. Learn more about the competition in this article.

Serokell Data Science Team Takes Part in Open AI Codex Challenge

OpenAI Codex is an artificial intelligence system released less than a week ago that generates code based on user requests. On August 12th OpenAI hosted a challenge that allowed anyone to test Codex’s capacities.

Our Data Science team members Dmitry Puzirev and Alexey Khachiyants took part in the competition and came 158th out of a couple of thousands of participants. They had to crack five simple tasks with a twist: using OpenAI Codex as their coding assistant. 

<center>
<blockquote class="twitter-tweet"><p lang="en" dir="ltr">The Codex Challenge is now closed. Congratulations to the 842 challengers who solved all 5 puzzles! Codex is taking a break after assisting with 23,439 completions.</p>&mdash; OpenAI (@OpenAI) <a href="https://twitter.com/OpenAI/status/1425995602236637189?ref_src=twsrc%5Etfw">August 13, 2021</a></blockquote> <script async src="https://platform.twitter.com/widgets.js" charset="utf-8"></script>
</center>

‘The platform was lagging at first because there were so many participants’, says Dmitry Puzyrev, Junior Data Science engineer at Serokell. ‘But we still managed to complete the tasks and reach top 160. It was a fun experience’.

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

TopDevelopers Interview Serokell CEO Arseniy Seroka

Learn more about Serokell and our recent initiatives by reading this interview from TopDevelopers.co.

> I think that our primary advantage is how we build our team. In the beginning, many of our engineers were friends that we had known for years, and we trusted them. As the company grew, we hired a lot of new people from different continents, but we still maintain this almost family-like relationship inside the company.

Our CEO Arseniy Seroka was recently interviewed by TopDevelopers, a B2B research and rating company that is focused on connecting firms with top IT firms and custom service providers. 

In the interview, Arseniy talks about the founding of Serokell, what he perceives to be the biggest strengths of the company, and some of Serokell's recent initiatives, including Serokell Labs and Serokell Academy. 

The interview also includes his opinion on some of the software development fields like AR/VR, IoT, and mobile. 

You can read the full interview on the [TopDevelopers website](https://www.topdevelopers.co/profile/serokell/191/interview-Arseniy-Seroka).

<center>
<a href='https://www.topdevelopers.co/directory/software-development-companies?utm_source=serokell.io&utm_medium=badge&utm_campaign=email'>
	<img style='max-width:50%;' src='/files/vw/vwvzn9sn.Badge-Top-Software-Development-Companies-2021.png' alt='badge top software developers'>
</a>
</center>

We Are Hiring a Haskell Team Lead

We’re seeking an experienced software engineer to supervise a team of Haskell developers.

Serokell is a fast-growing, fully-remote software development company that works on innovative solutions for complex problems in fields like biotech and data science. We’re packed full of adventurous, curious, and inclusive folks that want to build cutting-edge software with modern technologies like functional programming.

We’re seeking an experienced software engineer to supervise a team of Haskell developers. Our work is not only limited to Haskell development, so you will sometimes have to delve into and supervise other fantastic things, such as **research**, **frontend,** or **packaging**.


## **Duties**

Your primary responsibility will be to be the leader of a Haskell devotee team; the person eager to **review solutions**, **advise**, and **propose your own ideas**.

As a team lead, you will be responsible for:

*   **weekly** **status updates** and **monthly reports** to the customer
*   reviewing **PRs** and modifying code if necessary
*   assessing every member of your team by providing **fair** **feedback**
*   helping **team members** achieve their career goals
*   evaluating **top candidates** in case of team expansion
*   supervising **research** in the project you're leading


## **Requirements**

*   **solid understanding** of Haskell or a **strong will** to learn it
*   previous **experience** with managing software development teams
*   **spine of steel** for robust software development
*   **capacity** to review a lot of code
*   **determination** to manage issues
*   **openness** to new languages – be it Elixir, OCaml, or TypeScript.

Last but not least! We hope you like **Nix** as much as we do. We use Nix for plenty of things, although we do sometimes use other platforms like Docker too. Luckily, we have a dedicated team of Nix experts who are always happy to help.

By joining Serokell, you’ll become a part of a warm community of ingenious engineers, computer scientists, designers, marketing experts, and other inventive people. You will be able to take part in ambitious projects that work on building the next generation of computer software, try out crazy initiatives unhindered by bureaucracy or judgment, and have fun in our Slack channels that range from #music to #butthurt (did we mention the huge custom emoji set?).

If you’re ready for the adventure of your life, contact us via email: jobs@serokell.io.

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