All the myriad of Haskell features can be reduced to the few features of GHC's Core. In this article, we look at this internal language and give an overview of GHC's front-end pipeline. | Continue reading
Classification categorizes unsorted data into a number of predefined classes. This overview of classification algorithms will help you to understand how classification works in machine learning and get familiar with the most common models. | Continue reading
In this article, we will introduce you to the use of Haskell newtypes in Lorentz, the smart contract eDSL for Michelson. | Continue reading
To see how machine learning changes our lives and revolutionizes business, get to know the best ML applications in 2020. | Continue reading
Frameworks, apps, libraries – we have compiled 16 open-source Elixir projects to use or check out. | Continue reading
Need to build an ML model but don’t know where to start? In this post, we will tell you how to choose machine learning techniques based on your problem. | Continue reading
Read our interview with Nathan Johnson, a co-founder of Venu, a community-driven online marketplace for virtual events. | Continue reading
In this post, we offer a curated list of the 18 best ML open-source software, libraries, and frameworks in 2020. | Continue reading
Learn about TypeScript and the reasons why you should choose it over JavaScript for your next software project. | Continue reading
In Machine Learning, the classification of algorithms helps to not get lost in a variety of different approaches to problem solving. Read this guide to learn about the most common ML algorithms and use cases. | Continue reading
Lorentz is a Haskell eDSL for Michelson, the Tezos smart contract language. Learn more about it as we dive deeper into the specifics. | Continue reading
How often do you find yourself in a situation where something builds and works on your machine, but doesn’t build on CI or fails catastrophically in production? | Continue reading
Books, courses, online resources, and videos – we have gathered everything that will help you learn Elixir faster. | Continue reading
In the first part of our series about formal verification, we discuss the roots of formal verification in fields such as mathematical logic and theoretical computer science. | Continue reading
Elixir is a great language for building scalable and reliable web apps. Learn about 8 companies that use it in production successfully. | Continue reading
Last week, we organized out first-ever #SerokellChat! In case you missed it, here is a short wrap-up of the questions and answers. | Continue reading
Haskell is a blend of cutting edge research and well-tested, time-proven technology. Here are 10 reasons why you should use it for your next project. | Continue reading
This post contains the best online courses in machine learning, popular books, and video tutorials that will help you to become the master of ML. | Continue reading
Elixir is a functional, dynamically typed language that is built on top of Erlang’s VM and compiles down to Erlang bytecode. In this article, we talk about its features and benefits. | Continue reading
What is the difference between Artificial Intelligence, and Machine Learning, and Deep Learning? Find out in Serokell's new blog post. | Continue reading
Since its origin in telecommunications, Erlang has morphed into a powerful tool for highly-scalable, concurrent systems. Learn more about the story of Erlang and Elixir on our blog. | Continue reading
We interview a team lead of Serokell about his career, self-education, and professional growth. | Continue reading
To make sure your code handles Unicode in the best way possible, read this article about a new Haskell library called with-utf8, created by the Serokell team. | Continue reading
How to build an awesome company of friends that help each other? Serokell’s CEO Arseniy Seroka answers questions about building a company culture and popularizing FP. | Continue reading
How can you become a functional programmer? Read life stories from three of our engineers. | Continue reading
Learn about the concept of type witness and where it can be useful in this blog post about type-level programming in Haskell. | Continue reading
To learn why Haskell can be a good choice for products in the insurance industry, read our interview with the CTO of Riskbook, Jezen Thomas. | Continue reading
Read more about our implementation of Lorentz, a Haskell eDSL for writing smart contracts in Michelson. | Continue reading
What is it like to work on GHC, the state-of-the-art open source Haskell compiler? Read this post to learn what features Vladislav implemented in 2019. | Continue reading
Learn about multiple reasons why using Haskell might be a good choice for your next software project from our interview with the CTO & co-founder of CentralApp, Ashesh Ambasta. | Continue reading
In this part of introduction to the modal logic, we observe use cases and take a look at connections of modal logic with topology, foundations of mathematics, and computer science. Finally, we recommend the literature for further reading and study. | Continue reading
Find out what functional programming is, how it’s different from object oriented programming, and which are the most popular FP languages in our next post. | Continue reading
From historian to physicist to Haskeller? Rinat, one of our Haskell enthusiasts, shares his path to becoming a functional programmer. | Continue reading
With the help of our developers, we have gathered top Haskell highlights of 2019 in one place. Check out if there’s anything you have missed. | Continue reading
What are the top 10 Haskell open-source projects for Linux? Read our post to find out. | Continue reading
What's the difference between blockchain and distributed ledger technology (DLT)? Read this post to catch up on the most hyped technology of today. | Continue reading
Which is better: GitHub or GitLab? Read a detailed comparison from one of our experts that has worked on both. | Continue reading
Do you frequently wonder how to learn a new programming language quickly? Today, we share how to become a functional programmer by studying Haskell for just 10 minutes a day. | Continue reading
Modal logic covers such areas of human knowledge as mathematics (especially, topology and graph theory), computer science, linguistics, artificial intelligence, and philosophy. In this post we introduce the basic idea of modal logic, one of the most popular branches of mathemati … | Continue reading
How to survive and accomplish your goals in large conferences like Web Summit? Roman Alterman gives 6 tips from his experience at Web Summit 2019 and a multitude of other conferences. | Continue reading
Which posts were the most read during the first year of Serokell's blog? We have created an infographic to lead you to the best Haskell content of 2019. | Continue reading
In this post, we will tell you about our adventures at the Telegram Open Network (TON) blockchain competition. | Continue reading
Check out these Haskell open-source projects to derive inspiration for software of your own. | Continue reading
Let’s check together, how many cool examples of software written in Haskell do you know? This post is a list of awesome projects that will make you respect Haskell even more. | Continue reading
Which Haskellers to follow, where to get the latest information? We have gathered a list of sources our developers use to stay up-to-date. Check it out on our blog. | Continue reading
Want to learn Haskell? From entry-level books and courses to blogs and podcasts, our developers have selected the best resources for this purpose. | Continue reading
Which Haskell numerical and matrix libraries are the most useful for machine learning? Start your journey into Haskell machine learning right here. | Continue reading
Which are the must-attend, always-participate, never-miss Haskell events? Read our list to help you decide on your next destination. | Continue reading