Programming
The Hidden Challenges of Rust Infrastructure: Interview with Marco Ieni
Rust’s infrastructure runs on limited engineering time. Saving compute can mean adding maintenance work, and reviewing contributions competes with keeping services running.
In this interview, Marco Ieni of the Rust Foundation explains how the team reduced CI costs and why it sometimes accepts duplicated work for a simpler system. We also discuss running untrusted code, infrastructure as code, release-plz, and what it takes to support Rust’s growing ecosystem.
.png)
Upstream posts
Teaching Haskell in the Age of LLMs, Part 1: Ban or Embrace?
Not so long ago, LLMs were incapable of producing output that matched the quality of a competent human. Hence the derogatory term “slop”. Like it or not, this is no longer always the case. You can g…
.png)
Daml Smart Contract Guide
Most blockchains are built around transparency: smart contracts, transactions, and state changes are visible to everyone. That works well in many cases, but it becomes a problem when organizations need to coordinate without exposing sensitive data.
The Canton Network takes a different approach. It is designed for privacy, data sovereignty, and interoperability, allowing participants to share only the information required for a given transaction.
Canton applications are commonly built with Daml, a strongly typed functional smart contract language centered on parties, authorization, contracts, and multi-party workflows.
In this article, we’ll introduce Canton and Daml, compare Daml with Solidity, and build a small banking application. Along the way, we’ll see how privacy and authorization requirements influence smart contract architecture.
.png)
How Serokell Contributes to the Future of Haskell
Over the past years, Serokell has worked on several parts of the Haskell ecosystem: GHC development, language proposals, Dependent Haskell, developer tooling, and education. In this article, we’ll go through the main contributions and explain why they matter.
Type Theory Forall: Dependent Types
In the new episode of the Type Theory Forall podcast, hosted by Pedro da Costa Abreu Júnior, our GHC Team Lead, Vladislav Zavialov, discusses his work on the Glasgow Haskell Compiler and the impleme…
.jpg)
.jpg)
Serokell’s Work on GHC: Dependent Types, Part 5
This article continues the fine tradition of Serokell's GHC team sharing their progress on bringing dependent types to Haskell. A lot has happened since the last report, and there is plenty to cover.
In this edition, Vladislav Zavialov presents three major contributions and a host of smaller improvements that push Dependent Haskell closer to becoming a practical reality.
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…
.png)
Editor’s pick
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…
Upstream posts
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.
TON Smart Contract Development Tutorial
The TON blockchain has emerged as a robust platform offering scalability, speed, and security. Businesses are increasingly adopting it for the development of decentralized applications (dApps). To take advantage of its full potential, understanding TON's smart contracts is essential. This article is an introduction to TON smart contract development, where we guide you through the essential steps, tools, and best practices needed to get started.
.png)
.jpg)
Serokell’s Work on GHC: Dependent Types, Part 4
The GHC team at Serokell continues its work towards dependent types in Haskell. Our ultimate goal is that Haskell becomes a language where the use of advanced type system features is not just possible but practical.
In this report, Serokell's GHC team members Vladislav Zavialov and Andrei Borzenkov describe their recent contributions.
.png)
Scalability and Interoperability in Blockchain
The main goal of blockchain development today is achieving near-instant cryptocurrency transaction speeds. For that, a blockchain must be scalable, meaning capable of handling a high volume of transactions without compromising security or decentralization. Another important aspect is blockchain interoperability—the ability of different blockchain networks to communicate, share data, and interact with one another, providing users with secure cross-blockchain functionalities.
.png)
Trends in Data Analytics in 2024
The global big data and business analytics market size reached $198.08 billion in 2020 and is expected to triple by 2030. This fast growth shows that it’s crucial for businesses to adopt data analytics strategies to gain advantage in competitive markets. In this article, we take a look at the data analytics trends in 2024 that you need to incorporate into your business strategy to maintain an edge.
A Guide to the TON Blockchain
The TON Blockchain is becoming increasingly popular among businesses looking to create decentralized applications (dApps) across various industries. Serokell has hands-on expertise with the platform. In 2019, we won the first prize at the TON competition for smart contract development, where we designed multi-signature wallets and synchronous and asynchronous two-party payment channels.