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

Gone wild

Serokell got listed on a B2B marketplace DesignRush as one of the best fintech software development companies as of August 2021.

Serokell Ranked in Top Fintech Software Development Companies

Serokell Ranked in Top Fintech Development Companies

Serokell is mentioned among the best [fintech software development companies](https://www.designrush.com/agency/software-development/fintech) on the ranking platform DesignRush.

DesignRush is a B2B marketplace connecting brands with agencies. We are in the 14th position in their top 30 companies that provide the most reliable and efficient custom fintech software solutions worldwide.

We’re glad that DesignRush recognizes our [expertise in fintech](https://serokell.io/fintech-development) software development and sees us as a trustworthy partner.

Serokell Among the Best Fintech Software Development Companies

We Are Hiring a Haskell Software Engineer

We're hiring Haskell developers for our new remote workspace project!

Become a part of an international, fully remote community! Serokell has started with Haskell and now provides services in scientific research and engineering fields using functional programming languages. We’re seeking Haskell developers to work on our new remote workspace project, [Ment](https://ment.hr/).

While working on the project your primary responsibility will be to develop integrations with external services/applications like JIRA and Telegram. You will maintain a zoo of microservice daemons for reliable synchronization of data from external services to our application. There will be a great deal of writing Haskell and even more of architectural decision making to ensure data synchronization is performed optimally.
 
## Requirements

More or less required:
* Solid knowledge of Haskell 98 features: typeclasses, аpplicative functors, monad transformers.
* Familiarity with the modern Haskell ecosystem. You should be able to use `text`, `mtl`, basic lenses, Stack/Cabal, type families, template haskell (use existing TH generators, not write your own), `QuickCheck`/`Hedgehog`. (If one of these items is missing, it's not critical).
* Knowledge of the fundamental algorithms and data structures like binary search tree, DFS, hashtable, quicksort, etc.
* Knowledge of computer networks: HTTP,  understanding of poll- and push- based data synchronization models and their usage in modern service APIs.
* Good coding culture (code structuring and decoupling, patch management with git, code review practices).
* Good level of self-organization.

Good-to-have, but not crucial:
* Cryptography: very basic knowledge, public/private keys, signing, encryption, hashing.
* Parsers: writing own parsers, using parser combinators and/or parser generators.
* Haskell: experience with popular libraries for real-world problems (web servers, streaming like `conduit`, serialization, databases,etc.).
* Haskell: advanced type-level features: `GADTs`, `DataKinds`.


## About us

Serokell is fully remote — our diverse background and fast-moving environment make everyday communication and workflow creative and fun. Our international team consists of talent from various spheres: software engineers, computer scientists, mathematicians, and many more inventive individuals.

We work flexible hours in small, friendly teams and abide by certain principles: as little bureaucracy as possible (no unnecessary meetings, super detailed reports, etc.), proper management, healthy work/life balance, and continuous improvement.

<hr>

If you’re interested, contact us via email: jobs@serokell.io.

Serokell at ZuriHac 2021

Last weekend, we participated in ZuriHac 2021. Read more about our participation and talks presented in this article.

Last weekend, we participated in [ZuriHac 2021](https://zfoh.ch/zurihac2021/).

ZuriHac is the the biggest Haskell hackathon in the world – an event gathering together Haskellers from all around the world to hack on various community projects. This year, it was run online, and we were proud to be one of the sponsors. 

Our track consisted of two talks. 

## Dependency Analysis of Haskell Declarations

In our first talk of the day, Artem Kuznetsov from our GHC team presented a talk on dependency analysis in GHC. He explored how GHC analyzes Haskell code to type-check it in the correct order, showed the flaws of the current implementation, and took a look at  what a future algorithm might look like. 

<iframe width="560" height="315" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen="" data-src="https://www.youtube.com/embed/jNbb5JVuq-o"></iframe>

## How to Make the Most out of Servant

In the second talk of the day, our former employee and friend Maxim Koltsov presented [servant-util](https://github.com/serokell/servant-util), a collection of batteries for Servant – the most popular web framework in Haskell. He demonstrated how to add sorting, filtering, pagination and more to your API in practically no time, along with optional DB integration via Beam.

<iframe width="560" height="315" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen="" data-src="https://www.youtube.com/embed/JhyNXjIiU_8"></iframe>

---

ZuriHac 2021 was great fun, and as always, we're glad to participate. To watch other videos from the hackathon, you can go to the [ZuriHac YouTube channel](https://www.youtube.com/playlist?list=PLiU7KJ5_df6YhHefoPfUP1VSd1AbOC02R).

Serokell at TQuorum NY 2019

What’s the future of Tezos? Is it Haskell? Learn more about our adventures at TQuorum New York.

At the end of September, we participated in the main Tezos event of the year: TQuorum Global Summit New York. 

TQuorum Global Summit is a gathering for investors, blockchain developers, leaders and visionaries that are interested in Tezos. 

![TQuorum Global Summit NY](/files/qy/qyjtdmfe.1_NIngHg0_-iSffVBUK1nPBg.jpeg)

## Blockchain for innovators

[Tezos](https://tezos.com/) is a blockchain platform that is host to both assets and smart-contracts. 

One of the main features of the platform is its [formal upgrade mechanism](https://medium.com/tezos/amending-tezos-b77949d97e1e), where participants can take part in upgrading the blockchain. (You can explore the details of voting process on [Agora](https://www.tezosagora.org/))

This enables the blockchain to implement new innovations through a formal process that  eschews hard forks and other disruptive actions. 


## Is Haskell the future of Tezos? 

Our main focus at Tezos right now is on [Morley](https://gitlab.com/morley-framework/morley), a set of developer tools for writing smart contracts, and its accompanying set of Haskell eDSLs – Indigo and Lorentz. 

Work at these projects gave us a lot of insight on how Haskell can help Tezos, and we wanted to share our findings with the wider community. Fortunately, TQuorum Global Summit was a great opportunity for that. 

At the conference, Serokell’s COO Fedor Fedorov presented a vision of future of Tezos that integrates [OCaml ](https://ocaml.org/)and [Haskell](https://www.haskell.org/).  

![Fedor presenting about the future of Tezos](/files/fd/fdqov6x1.20191001_131456.jpg)

You can watch the entire speech on the [TQ Tezos YouTube channel](https://www.youtube.com/watch?v=eSLdBOQxYic&t=4s). 



##  Smart contracts, SNARKs, and blockchain sharks

But our presentation wasn’t the only spotlight of the event. Whatever your interests, TQ Global Summit had you covered (as long as you were interested in Tezos and blockchain).

The topics of the conference ranged from highly technical presentations focused on latest Tezos apps like [Checker](https://checker.is/) and subjects like zero-knowledge proofs to more abstract discussions about blockchain and future of proof-of-stake protocols. 

We got to experience everything, and, hopefully, take home at least a part of it. For more info on participants and their presentations, you can check out the [event recap](https://medium.com/tqtezos/tquorum-global-summit-recap-dfc23a74099a) created by TQ Tezos.

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