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 Takes First Place at TON Contest

Our team beat the competition at TON smart contracts contest with top-notch computer science skills, hard work, and Haskell. Read this post for more details.

On November 15, 2019, Telegram announced the winning submissions for their [TON smart contract contest](https://t.me/contest/103). In the contest, participants were asked to create at least one of the smart contracts from a list of five contracts that was provided.

The first place and $28,750 was taken by [this submission](https://contest.com/blockchain/entry404). If you have been following our blog, it might look familiar.

## Serokell takes the largest prize at TON smart contracts contest 

Our team of five of the Serokell’s finest submitted two smart contracts for Telegram Open Network:

1. [Asynchronous payment channel](https://github.com/serokell/ton-paychan) in FunC with a CLI in Fift. Asynchronous payment channel enables participants to send payments to each other off-chain while still guaranteeing the final settlement.  
2. [Multisignature wallet](https://github.com/serokell/fift-asm-dsl) with TVM assembler embedded in Haskell. Multisignature wallet enables the funds on an address to be accessed only if multiple signatures by multiple private keys are provided.

You can read more about the technical details of the solutions in [this blog post](https://serokell.io/blog/ton-blockchain-competition) by one of the participants, our CTO Kirill Elagin. 


## Hard work pays off 

The participants from Serokell’s side were: our CTO, one of our team-leads, and three experienced blockchain developers well-versed with Haskell and other functional programming languages. 

![Our team for the TON contest. Everybody did amazing, thanks!](/files/4k/4kjy381m.participants3.jpg)

All in all, we tracked 380 hours on this project including meetings, getting to know documentation, and development. 


##  Hackathon that breeds innovation

There were a lot of [impressive submissions](https://contest.com/blockchain) from other teams as well. TON is one of the more promising projects in the blockchain space, and it is wonderful to see many great minds working on it already. 

At the end, we would like to thank Telegram for the experience. In the words of Kirill: 

> This spirit of a hackathon, close teamwork, the need to quickly dive into a new technology – I think all engineers know how exciting it is.

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.

Vladislav Zavialov Has Been Accepted Into GHC Steering Committee

Vladislav Zavialov, the leader of our GHC team, has recently joined the GHC Steering Committee.

Vladislav Zavialov, the leader of our GHC team, has recently joined the GHC Steering Committee.

GHC Steering Committee works to guide the process of GHC change proposals and to decide which GHC proposals are adopted and which are not. 

Since GHC is the most widespread Haskell compiler (by a significant margin) in the industry, the committee is basically making choices on which features will be added to the language. Therefore, being a part of it is an important role that brings a lot of responsibilities.

We’re happy that Vladislav has stepped up to take this role and we hope that his work will help Haskell become an even more awesome language! 

If you want to learn more about Vladislav and our work on GHC, we recommend checking out [the interview](https://serokell.io/blog/developing-ghc-for-a-living) we did with him last year.

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