Haskell is a language with more than 30 years of history. If you want to learn how an academic language evolved to become one of the main FP languages, read this post. | Continue reading
Are dependent types insanity or the future of software development? Read more about our work on Dependent Haskell in this blog post. | Continue reading
How to survive and thrive in remote work? Read practical tips from our employees. | Continue reading
Embedded DSL (or eDSL) is a popular technique for encoding your domain specific language into Haskell’s type system. How do we use it in Tezos developer tools? Read more in this article. | Continue reading
Europe? USA? We’ve got them both covered. Read this article to discover 9 must-visit Elixir conferences that are happening in the near future. | Continue reading
Europe? USA? We’ve got them both covered. Read this article to discover 9 must-visit Elixir conferences that are happening in the near future. | Continue reading
Haskell, physics, and lasers - our engineer Rinat Stryungis uses all three in his laboratory work. Learn more about his adventures with signal processing with Accelerate in this blog post. | Continue reading
How to move from being a student to working as a team lead and a Haskell lecturer? How teaching Haskell differs from writing in it? Read Ilya's story on our blog. | Continue reading
How to escape the "debug hell" while working with matrices in Haskell? Our developers have an answer: lift the dimensions to the type level. Read more about our approach here. | Continue reading
Serokell actively grows the next generation of functional programming specialists through teamwork and internships. Read more on how we help students become professional engineers. | Continue reading
Long rays and long lines have some very interesting (even strange) properties. Read this article to brush up your topology skills. | Continue reading
Recently, my team decided to implement an eDSL using the tagless final style for one of the new projects.. | Continue reading
We review the recently released white paper for the Libra blockchain and drop some technical knowledge you absolutely have to know. | Continue reading
How to generate a random number? You would think it is simple, but there are several issues with doing that with deterministic devices like computers. | Continue reading
How do we relax after busting out cutting-edge blockchains and AI? Biking, Magic: The Gathering, Starcraft - read more about these in the second edition of our hobbies article. | Continue reading
Learn more about undecidable languages and the halting problem in this blog post about Turing degrees. | Continue reading
How do we relax after building cutting-edge blockchains and AI? Read more about extreme sports, amplifiers, and other great hobbies of ours. | Continue reading
Can smaller companies compete with market giants? With outsourcing, yes. Read this article to learn 7 reasons for outsourcing your next software project. | Continue reading
Why is modelling a quantum computer such a great challenge, and what that tells about the power of quantum computers? Read this article to learn the details. | Continue reading
Three months in, and we are already hustling. Read this 2019 Q1 report to find out about our partnership with Tezos and more. | Continue reading
In modern blockchains, if some node wants to verify a block, it either has to be a full node storing the whole network state, or it has to continuously ask some remote storage for various parts of it. Each of these solutions possesses either inconveniences (storing 100+ GB of dat … | Continue reading
Modern blockchain solutions have either large data storage inconveniences or security risks. We present a new solution based on AVL trees that solves these problems. | Continue reading
An Oradian frontend developer Domagoj Cerjan utilizes Typescript for bringing the mentioned rules to the surface and thereby saving software engineers’ time. He makes one of the most commonly used WebGL functions - a function which uploads an image to a texture - gl.texImage2d sa … | Continue reading
Over 2018, Serokell accomplished, shipped, traveled and celebrated. Read our 2018 report to get more details. | Continue reading
Hi, I’m Vladislav Zavialov. For the last couple of months, my job at Serokell has been to lead our efforts to improve our primary tool – the Glasgow Haskell Compiler (GHC). I’m focusing on making th… | Continue reading
Hi! I’m Danya Rogozin, and I work at Serokell on a blockchain framework called Snowdrop.. I would like to tell you about constructive and non-constructive proofs in a proof assistant and functional … | Continue reading
How to participate in the remote work revolution and why? Find practical tips in this blog post. | Continue reading