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

Read about the participation of our logician Danya Rogozin at LCFS 2020 and the thesis about which he gave his talk there.

##

On the 7th of January, Danya Rogozin participated in the conference Logical Foundation of Computer Science, Miami, Deerfield Beach. [LFCS](https://lfcs.ws.gc.cuny.edu/lfcs-2020/) is a logical and computer science conference, topics of which cover such areas as constructive mathematics, type theory, proof theory, foundations of mathematics, etc. 

![logical foundations of computer science](/files/0f/0f2k6r53.logo_general2.png " ")

Danya gave a talk on the results that he obtained in his thesis two years ago. The title is Modal Type Theory Based on the Intuitionistic Modal Logic ${\bf IEL}^{-}$. This logic [was introduced by Sergei Artemov and Tudor Protopopescu](https://arxiv.org/abs/1406.1582) to solve some issues related to constructive aspects of agent knowledge and belief.

## Considering modal logic from a computational perspective

This logic was considered from a computational perspective. It's a quite curious coincidence that axioms of this logic are pretty similar to the types of methods `pure` and `(<*>)` in the Applicative class well-known in Haskell. In this work, he considered the modal typed lambda calculus that is Curry-Howard isomorphic to the logic  ${\bf IEL}^{-}$ and shown such metatheoretical properties as subject reduction, strong normalisation, and confluence.

To get a closer look, you may check out [the proceedings book](https://www.springer.com/gp/book/9783030367541), where the articles based on the speakers' talks are fully presented.

Also, if you want to read some of Danya's introductory work about modal logic, feel free to head to his [excellent post series](https://serokell.io/blog/incomplete-and-utter-introduction-to-modal-logic) on our blog. In it, he covers the basics of modal logic and explores its connections to fields such as computer science, topology, and foundations of mathematics.

Serokell at LCFS 2020

Serokell at ZHF Hackathon

Last Friday, some of Serokellers participated in a hackathon in Moscow. Read about the hackathon and their experience in the article.

Last Friday, some of Serokellers participated in a semi-physical [Zero Hydra Failure Hackathon](https://nixhax.github.io/zhf-21.11/index.en.html) in [undefspace](https://undef.club/#about), Moscow.

![event attendants](/files/w2/w2p5yba2.5ef5b309d40d414bbc1dbdeeed5d4cb19cdfbfde.jpeg)

Together with other attendants, we managed to push more 6 PRs in less than 8 hours and fix a lot more packages (due to a fix of  `openjfx` by our site reliability engineer Alexander Bantyev). 

![yx0ymu17.IMG_20211120_004153.jpg](/files/yx/yx0ymu17.IMG_20211120_004153.jpg)

If you want to learn more about the event, you can read a short writeup on the [NixOS Discourse](https://discourse.nixos.org/t/zhf-hackathon-celebration-event/16079/5).

About a week ago, we participated in ZuriHac, the biggest Haskell Hackathon in the world, and want to tell you how it was.

About a week ago, we participated in [ZuriHac](https://zfoh.ch/zurihac2019/), the biggest [Haskell](https://www.haskell.org/) Hackathon in the world. During the event, we visited several talks, the most popular among which were those about GHC, and organized a Morley workshop together with the Tocqueville Group.

The participants of our workshop could use a special [web page](https://morley-zurihac.serokell.io/) to learn about Michelson and Morley as well as check the issues prepared for them. On Saturday and Sunday, all comers had a chance to discuss Michelson, ask questions, read tutorials, set up their working environments and try to solve our issues.

One of the participants, [Sébastien](https://besnier.se/), successfully implemented an [optimizer](https://hackage.haskell.org/package/morley-0.5.0/docs/Michelson-Optimizer.html). He presented his work during the project demos, and it was really impressive. It worked as expected on artificial examples, and it also optimized our DS protocol contract. After ZuriHac, we modified Sébastien’s work a bit and made a [merge request](https://gitlab.com/morley-framework/morley/merge_requests/2), which we’re going to review soon.

Many thanks to all the ZuriHac participants! We love the Haskell community and hope to see you all soon again.

Serokell at ZuriHac 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

Yato Rin

Ruben Astudillo

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