Information Density: Serokell – Signal Evidence & AI Readability

[H2] Your expectations, lifted
[H1] Custom software research, development, and consulting to elevate your business through targeted expert solutions.
Contact us
[H2] Custom Software Development
[H3] AI, ML, Big Data
AI, ML, and Big Data solutions enabling insights into market trends, customer behavior, and operational efficiencies.
[H3] Blockchain
Blockchain and DLT technologies that reduce fraud and lower costs in data management and operations.
[H3] SRE
Software reliability engineering to accelerate your CI/CD and enhance the software reliability.
[H3] Audit
Smart contract audits and blockchain security services.
[H2] Industries
[H3] Fintech
Reliable and scalable fintech systems built to meet evolving business challenges.
[H3] Biotech
Advanced biotech app development that accelerates life sciences projects.
[H3] Big Data
Customized and highly secure systems for data collection, storage, and analysis.
[H3] Oil & Gas
Secure and innovative AI-driven systems for Oil & Gas designed by industry-focused experts.
[H2] Portfolio
[H3] Tezos Foundation
Our software engineers contributed to the ecosystem of Tezos, an open-source blockchain platform for smart contracts, in close coordination with the Tezos Foundation.
[H3] Omega Media
We collaborated with Omega Media to develop a fully-fledged cryptocurrency exchange with Know Your Customer (KYC) verification.
[H3] TON
Serokell got ahead of almost 70 developer teams and received the main prize in a smart contract contest organized by The Open Network.
[H3] Online Marketplace
We designed an AI recommender system for a marketplace that suggests alternatives to the users if their desired item is unavailable.
[H3] K-Framework
Our developers created a framework for the formal verification of programming languages and software systems.
[H3] Failure Prediction
Our team developed a machine learning model for predicting time-to-failure in electric locomotive engines.
[H3] EDNA
Serokell created an open-source tool for efficient data analysis in pharmaceutical manufacturing.See more cases
[H2] Open Source Projects
Serokell drives innovation and spreads knowledge through multiple open source projects.
[H3] Glasgow Haskell Compiler
One of our open-source work directions is contributing to GHC (Glasgow Haskell Compiler), the main Haskell compiler for industry use. We sponsor a team of developers to work full-time on the development of new GHC features.
[H3] Edna
An open-source machine learning data analysis application for biotech researchers. Edna is web-based and does data analysis in the cloud, enabling researchers to use personal machines for work.
[H3] deploy-rs
An open-source, simple and multi-profile Nix-flake deploy tool. It is an easy-to-use Rust application that employs a Nix flake to set up any of the defined profiles on the nodes, ensuring your machine availability.
[H3] NIX Formatter
Our open-source development contribution to enhance code consistency in the CI/CD pipeline.
[H2] Initiatives
For years, Serokell has supported young talents through scholarships and by sponsoring FP conferences. Our team members have delivered lectures at leading universities and contributed to academia with scientific research.HaskellProgrammingOnline
[H6] Haskell Certification
Join the first Haskell certification, created by Serokell and endorsed exclusively by Haskell.org.
[IMG: Haskell Certification]
Haskell coursesProgramming
[H6] Courses
Discover our online coursesin programming languages.
[IMG: Courses]
Research & DevelopmentScience
[H6] Lab
Dive deep into academic research in AI, distributed systems, mathematics, and programming with Serokell Lab.
[IMG: Lab]
ResearchProgrammingML&AI
[H6] Media
Read the latest publicationsfrom our industry-recognized blog.
[IMG: Media]
Functional ProgrammingMerchandise
[H6] Serokell Shop
Try our science-inspired merchandise, designed to connect like-minded professionals.
[IMG: Serokell Shop]
Latest NewsDevOps Engineer13.04.2026Data Engineer / Data Scientist11.04.2026Latest PostsThe Hidden Perils of MonadBaseControl23.03.2026Rust in Production: JetBrains23.02.2026
[H2] Partners
[H2] Let’s Have a Talk
Book a free consultation to discover the technologies and solutions that will work best for you.Contact us

[H1] Have a question?
Feel free to use the contact form to reach out to us
[IMG: contacts]
[H2] Contacts
Reception(+372) 699-1531Emailhi@serokell.ioEstoniaPille tn. 11/1-32, Kesklinna linnaosa, Tallinn, Harju maakond, 10138, EstoniaFrance52 boulevard de Sébastopol, 75003 Paris, FranceSocialSmart solutionsScientific innovationsBusiness intelligenceSecurity & Maintainability

[H1] Blog
ResearchProgrammingArtificial IntelligenceInterviewsOtherhaskellmachine learningrusthaskell in productionserokellelixirblockchainghcintroductionalgorithmsedslneural networkscomputer scienceerlangweb developmentdata scienceelixir tutorialfunctional futuresfunctional programmingmathematicsnixresource guidetezoselixir in productionlorentzparsersrust in productionsmart contractstypescriptdependent typeselixir softwarehaskell softwarehistorylibrarymetaprogrammingremote worktemplate haskellwhat's that typeclassagdacomputer visiondeep learningformal verificationml resourcestrendsaiai toolsbig dataconferencesdata analyticsgenerative aiidrisimage generationlearn haskelllogicml applicationsopen source projectsphoenixPythonscalatop projectstype familiesai ethicsbiotechchatgptcybersecuritydependent haskelldesignectoeducationeventsgraph neural networkslambda calculusmlml algorithmsmorleyno codeocamloptimizationoutsourcingpattern recognitionphysicsrust softwarerust tutorialsupervised learningtestingtontopologytransformersunsupervised learningwebassemblywomen in tech2024AgentsagiAI agentsai app buildersai blockchain convergenceai business toolsai eventsAI in manufacturingai in oil and gasai tools 2023artificial general intelligenceautomlbackpropagationbayesian optimizationbert modelblockchain app developmentblockchain scalabilitybusinesscardanochain of thought promptingcharacter aichatgpt alternativescloud native softwareclustering algorithmscnncollaboration toolscompilerscontainer orchestrationcoqcryptographydata miningdata prepocessingdatabasesdevopsdltdrug repurposingeffective accelerationismeffective altruismegge aiensemble learningenterprise data storageexistential typesfeature engineeringfederated mlfintechfossafoundation modelsfree monadsgame developmentgenerative ai security threatsgeneticsgithubgithub copilotgitlabgleamgpthealthcarehigher-rank typeshobbyhyperparameter tuningicfpcit conferencesjeiKubernetesleanlispLLaMAllms fine-tuningllms for businessllms risksmarkdownmedicinemedtech conferencesmichelsonmicroservicesml datasetsml ideasml modelsml projectsmodel evaluatiommtlmulti-runtime architecturenlpopen sourceopen source softwareOSS developmentprogramming languagesproject managementpurescriptpython developmentPython IDEspython librariesquantum computersrandom numbersreasonreinforcement learningrunning llmsrust business use casesrust librariesrust roadmapsemi-supervised learningserokellchatservantsignal processingsoftware developmentsoftware development trends 2024solana smart contract developmentsorasupport vector machinetagless finaltech conferences 2024text analysistext-to-speechtext-to-videotextcontenttime series analysistinyMLton blockchaintrends in AIweb summitweb3website deploymentyoung innovative company+ More+ More
[IMG: The Hidden Perils of MonadBaseControl]
[IMG: The Hidden Perils of MonadBaseControl]
The Hidden Perils of MonadBaseControl MonadBaseControl
is notoriously tricky to use correctly. It’s really easy to misuse and
end up introducing subtle unexpected behaviour or downright bugs, even
in the hands of the more experienced de…
[IMG: Diogo Castro]
Article by Diogo CastroMarch 23rd, 202613 min readUpstream posts
[IMG: Rust in Production: JetBrains]
[IMG: Rust in Production: JetBrains]
Rust in Production: JetBrains In our Rust in Production interview series, we talk with developers and technical leaders who are shaping how Rust is built and used in practice..
[IMG: Ivan Gromakovsky]
[IMG: Vitaly Bragilevsky]
Article by Ivan Gromakovsky, Vitaly BragilevskyFebruary 23rd, 20269 min read
[IMG: Beyond the Hype: Crossing the GenAI Divide in Real-World Business]
[IMG: Beyond the Hype: Crossing the GenAI Divide in Real-World Business]
Beyond the Hype: Crossing the GenAI Divide in Real-World Business If you judged the state of AI in business by your LinkedIn feed, you’d think the revolution already happened..
[IMG: Ivan Smetannikov]
Article by Ivan SmetannikovDecember 24th, 20257 min read
[IMG: Design Patterns for Long-Term Memory in LLM-Powered Architectures]
[IMG: Design Patterns for Long-Term Memory in LLM-Powered Architectures]
Design Patterns for Long-Term Memory in LLM-Powered Architectures The explosive growth of large language models (LLMs) has reshaped the AI landscape. Yet their core design is still fundamentally stateless: a drawback often referred to as “conversational amnesia.” …
[IMG: Ivan Smetannikov]
Article by Ivan SmetannikovDecember 9th, 202510 min read
[IMG: The Real Limits of AI Agents in 2025]
[IMG: The Real Limits of AI Agents in 2025]
The Real Limits of AI Agents in 2025TL;DR: Everyone says 2025 is the year of autonomous AI agents. We’ve built a lot of them in production, and that’s exactly why we think most of the current hype just doesn’t add up. In this post, we'll break down the most common misconceptions, talk about what actually works in the real world, and explain why the math and economics behind the hype don’t hold up yet.
[IMG: Ivan Smetannikov]
Article by Ivan SmetannikovNovember 2nd, 20257 min read
[IMG: Reviving an Old iMac with NixOS]
[IMG: Reviving an Old iMac with NixOS]
Reviving an Old iMac with NixOS People have been using computers for decades. Information technology advances by leaps and bounds. As a result, yesterday’s new, powerful machines quickly become today’s obsolete hardware, gatherin…
[IMG: Alexey Danilevsky]
Article by Alexey DanilevskySeptember 14th, 202517 min read
[IMG: Haskell in Production: Scrive]
[IMG: Haskell in Production: Scrive]
Haskell in Production: Scrive In our Haskell in Production series, we interview developers and technical leaders from companies that use Haskell for real-world tasks. We cover benefits, downsides, common pitfalls, and tips for b…
[IMG: Denis Oleynikov]
[IMG: Flávio Corpa]
Article by Denis Oleynikov, Flávio CorpaJuly 29th, 20256 min readEditor’s pick
[IMG: A Bit Late but Ultimate Analysis: DeepSeek]
[IMG: A Bit Late but Ultimate Analysis: DeepSeek]
A Bit Late but Ultimate Analysis: DeepSeek tldr: if you want to find out everything about deepseek you can read this blogpost that has 3 separate sections with increasing technical details and difficulty from one to another, so you can stop …
[IMG: Ivan Smetannikov]
Article by Ivan SmetannikovMarch 3rd, 202517 min readUpstream posts
[IMG: Rust is Not a Functional Language]
[IMG: Rust is Not a Functional Language]
Rust is Not a Functional Language We at Serokell love Rust. We also love functional languages like Haskell and OCaml. However, there appears to be a bit of confusion as to whether Rust can be called a functional language, too.
[IMG: Nikolay Yakimov]
Article by Nikolay YakimovJanuary 21st, 202517 min read
[IMG: A Guide to Kalman Filter]
[IMG: A Guide to Kalman Filter]
A Guide to Kalman FilterIn this article, we’ll make a few notes on how Kalman filter works, and will show how to overcome most common problems that might appear while using it.
[IMG: Ivan Smetannikov]
Article by Ivan SmetannikovDecember 18th, 202413 min read
[IMG: How to evaluate an ML model performance?]
[IMG: How to evaluate an ML model performance?]
How to Evaluate an ML Model Performance?Every data scientist knows that one of the most exciting parts of machine learning is picking the right algorithm to crack a problem. But how do you make sure that your chosen algorithm actually delivers the results you're aiming for? In this article, we discuss several methods allowing you to measure the performance of your ML model.
[IMG: Inna Logunova]
Article by Inna LogunovaDecember 2nd, 202411 min read
[IMG: AI tools for programmers]
[IMG: AI tools for programmers]
Top 11 AI Tools for DevelopersThe rapid advancement of AI has transformed the way developers approach software creation, problem-solving, and collaboration. AI tools are no longer just experimental—they’ve become essential components of modern development environments. This article will be especially useful for developers who want to automate repetitive tasks, enhance code accuracy, and improve project management. We offer an overview of some of the best AI tools currently available, including pricing and key features, so you can choose the right tools to fit your needs and projects.
[IMG: Yulia Gavrilova]
Article by Yulia GavrilovaNovember 25th, 20246 min read
[IMG: How AutoML works]
[IMG: How AutoML works]
What Is AutoML?Today it is hard to imagine a business that doesn’t use machine learning in analytics and decision-making. However, the development and deployment of ML models can be very complicated and resource-consuming. Even experienced data scientists and ML engineers could benefit from effective automation. AutoML is a way to automate machine learning in your enterprise. In this article, we will talk about the benefits of AutoML, its operating principles, and ways to use it in your business.
[IMG: Yulia Gavrilova]
Article by Yulia GavrilovaNovember 25th, 202410 min read
[IMG: AI business use cases]
[IMG: AI business use cases]
How Top Companies Use AIIn the last few years, artificial intelligence has become an omnipresent technology. Many businesses, including world leading companies, apply AI for various purposes: business intelligence, performance analytics, enhancing user experience, optimization, and more. In this article, we will look at 9 companies that use artificial intelligence. Hopefully, they can inspire you and give some suggestions about how you can use AI creatively in your business.
[IMG: Yulia Gavrilova]
Article by Yulia GavrilovaNovember 18th, 20246 min readThanks for visiting the Serokell blog.Serokell is a multinational team of programmers, joined by love towards functional languages. Science and education are among the core values of Serokell. Our blog is a place for our specialists to talk about things that matter to them. Stay tuned to read more about pioneering research and practical applications of functional programming, mathematics, artificial intelligence, and computer science.ResearchProgrammingArtificial IntelligenceInterviewsOther

[H1] Case studies
Nothing is more attractive to our developer team than the opportunity to help.Here’s how we have helped businesses like yours
[H2] The Open Network
Smart contract development for TON
[H2] StakerDAO
A technical solution for a crypto-token platform
[H2] Cardano SL
Development of a reliable financial platformWe are always ready to face challenges, brainstorm our way out of problems, and work out solutions for your digital transformation.
[H2] Tezos
Contribution to an open-source blockchain platform
[H2] Morley for Tezos
Developer tools for the Tezos platform
[H2] TZIP
A documentation repository for the Tezos platform
[H2] VibeSync App
ML-based app that synchronizes users' dance videos with music using object pose estimation
[H2] Disciplina
A blockchain for educational institutions
[H2] Ligo
Developer tooling for a Tezos smart contract language
[H2] Lorentz and Indigo
Development of programming languages for Tezos
[H2] K Framework
Executable semantic framework for defining programming languages
[H2] BlockScout
Optimization of the first open-source blockchain explorer
[H2] Failure Prediction
Locomotive engine failure prediction system based on IoT
[H2] Ariadne
Creation of a multi-platform cryptocurrency wallet
[H2] Edna
Open-source data analysis tool for biotech research
[H2] Online Marketplace
Recommender system for a leading marketplace
[H2] FOAM
UX/UI audit and UI for a crowdsourced mapping tool
[H2] Nix
formatter for CI/CD
[H2] Omega Media
Financial platform development for a Norwegian digital agency
[H2] Agora
Tool for enhancing the understanding of the Tezos voting process and results
[H2] Kiln & Tandoor
Tools for baking blocks on the Tezos platform
[H2] NLP
Parser with ML-based analysis
[H2] Sportiers
ML solution for real-time analysis in sports
[H2] DLT Voting
Development of a voting system on DLTLeverage our expertise in functional programming and software development to rise on top of your industry.
[H2] Interpop
Interpop - NFT purchase extractor and smart contract
[H2] Let’s discuss your project