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

Monad

Serokell company is mentioned among the top developers 2020.

Serokell Gets Listed As Top App Developer

We already have a small tradition to announce the mentions of Serokell among the top developers. Today, we got listed on one more independent software development platform – [TopAppDevelopers.com](https://topappdevelopmentcompanies.com/ee/directory/app-developers/estonia). 

Our success would not be possible without our loyal customers. We would like to thank all of you for supporting our work with your valuable feedback and reviews.

Serokell Among Top App Developers

Serokell at NixCon 2019

Did you attend NixCon 2019? Read our report to get more information about what happened at the conference and our latest project for the Nix ecosystem.

On October 25-27, we participated and were gold sponsors in [NixCon 2019](https://2019.nixcon.org/), a community-oriented conference for Nix and NixOS. NixCon is one of our most favourite events, one to which we keep returning over and over again to meet with the Nix community and help push the technology forward. 


## Main Conference for Nix Enthusiasts 

![NixCon is an annual conference where Nix users share their experiences of working with and improving Nix and its ecosystem.](/files/vl/vl16r5nx.nixcon2019.jpg) 

This year, the conference was set in Brno, a lovely city in the Czech Republic, and consisted of two days of talks and one day of hacking, aptly called Hackday.

On the second day, Serokell’s engineer Lars Jellema presented his work regarding Nix: a Nix expression formatter, nixfmt. 

You can try it on your expressions at [https://nixfmt.serokell.io/](https://nixfmt.serokell.io/) and get it on [GitHub](https://github.com/serokell/nixfmt).

![Lars Jellema presenting nixfmt](/files/6j/6jambvuj.20191026_112902_(1).jpg)

If you want to enjoy a part of the NixCon experience, you can watch talks from the conference (including our own) on [NixCon's Youtube channel](https://www.youtube.com/watch?v=aUG9aGYYCY8&feature=youtu.be&t=5596). 

## Innovating for Nix

It was a pleasure for our members to both listen to innovative talks on Friday and Saturday, and hack on Nix on the Hackday on Sunday. 

**Some highlights:** 

*   We had the opportunity to hack on a GUI installer for NixOS based on the Calamares framework. This spawned a whole project that our engineer Lars is still working on! 
*   We got to see people get NixOS working on their Android devices, that’s amazing. 

![NixOS on a mobile device](/files/5t/5t3mtoe2.20191025_192101_(1).jpg)

*   We got to meet with Nix people at the wonderful places and restaurants of Vienna and Brno. These evening and night-time conversations are, obviously, the best part about conferences.  

Thanks to everyone who participated, see you next year! 

![CTO on an electric scooter](/files/4w/4wdamhbc.20191025_211229_(1).jpg)

### Hi everyone! 

Let us tell you what happened at **FPure Conference in Kazan**.

The main event list of speakers was amazing – actually, it was expected from the only functional programming conference in Russia.

Alexander Granin, lead of the Novosibirsk LambdaNsk community, talked about two different approaches in functional programming – Final Tagless and Free Monad. [Vitaliy Bragilevsky ](http://https://twitter.com/_bravit) from SFEDU made a short lecture about building a compiler, and Alexey Pirogov from Hexlet talked about functional design and FP patterns.

What about us? Our haskellers [Danya](http://https://twitter.com/CartesianClosed) and Rinat performed excellently (congratulations once again!) It was a great opportunity for guys to represent their work and shake some hands, of course.

Our engineers gave a talk about approaches and problems of the type-driven development in Numeric Haskell. The visitors were posting their impressions online on Twitter. We selected some of the tweets to share with you.

https://twitter.com/_bravit/status/1132201805797052416
“They’re telling programmers about Presburger arithmetic. This is useful!”

https://twitter.com/xufocoder/status/1132202918923440128
“It seems that I’m starting to understand what is happening here. The dimension of the matrices cannot be controlled with the types that guys use when they solve their ML tasks. This problem can be solved using dependent types, but Haskell doesn’t have this feature! What to do? Emulate.”

https://twitter.com/xufocoder/status/1132206956788297728
“If your code is simple and the algorithm is not COMPLICATED, you may skip messing around with dependent types in your Haskell programme. But if you need to deal with it, remember that you will have to make efforts to prove your code is correct to the compiler at least.”

Meanwhile, Danya and Rinat are writing the next chapters of their series “Dimensions and Haskell”. 
“The second and third parts of the article series are going to be the most intense. In the blog post, we’re going to depict how we solved the issues and where our approach came from. After that, we will show various examples and explain how the approach is useful.

A couple of words about our approach. It can be applied not only to dimensions but to any parameters. It can be designed as a library which is compatible with any of matrix libraries and allows separating an algorithm from the proof of its correctness. But no more spoilers! Just believe me, it’s going to be hot.” 
– Danya Rogozin

The second part of the series is coming soon, stay tuned!

Serokell leverages functional programming to create bespoke solutions for a wide range of industries, including [biotech software](https://serokell.io/biotech-software-development), fintech and edtech platforms, and more. Contact us to discuss your idea!

Serokell at FPure 2019

GoodFirms Interviews Serokell CEO Arseniy Seroka

Want to learn how blockchain development is done in 2020? Check out GoodFirms' interview with Arseniy Seroka, the CEO of Serokell.

GoodFirms Interviews Arseniy Seroka, CEO for Serokell IT Firm

> "Our main assets are functional programming languages and a strong mathematical background. Together, they let us solve complicated non-trivial tasks." – Arseniy Seroka 

Our CEO Arseniy Seroka was recently interviewed by GoodFirms, a B2B research and rating company. In the interview, they discuss the strengths of Serokell's approach to programming and business, and Arseniy gives a brief introduction to the Serokell client base and the fields we have expertise in. 


<center>
<img src="/files/88/88cu7y7x.small.6j9b8bxh.arseniyseroka.ng.jpg" alt="Arseniy Seroka">
<hr>
<i>
Arseniy Seroka, the CEO of Serokell</i></center>

If you would like to learn about blockchain development in 2020 and discover how to improve your blockchain project, the interview has a few tips on that as well. 

You can read the full interview [on the GoodFirms website](https://www.goodfirms.co/company/serokell#interview).

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