Programming
.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)
.png)
Upstream posts
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.
How to Develop a Blockchain App
Blockchain has been transforming various industries, enabling companies to significantly enhance security, reduce risks, increase transparency, and automate numerous business processes. In this blog post, we provide a detailed overview of blockchain applications and offer advice on how to start building one. We cover the fundamentals of this technology and some of its most interesting use cases.
Top 12 Real-World Business Use Cases for Rust
Rust has seen increasing adoption by both big tech companies and startups in recent years. In this blog post, we will examine 12 prominent business applications of Rust in the real world, from Disney to the Falcon 9 launch. Back in 2020, we wrote about the major market players which used Rust in their projects, including Dropbox, Coursera, Figma, Microsoft, and others. Since then, this programming language has gained more popularity, so it’s time to explore more success stories.
Best Tech Conferences and Events 2024. Part 2
In our previous post, we covered the major tech conferences of the first half of 2024. In this post, we have put together the most interesting IT conferences and events happening from July to December this year. For your convenience, we have divided them into several sections, with events appearing in chronological order within each section.
Editor’s pick
Haskell in Production: Textcontent
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 building useful Haskell products. Today's guest is Marc Scholten, the Founder and CEO of digitally induced. In this interview, we discuss their product, textcontent.ai. It is a text-generating tool that helps marketers create a distinct style and tone of voice. Marc explained how it differs from other options on the market and how they use Haskell in their product.
Upstream posts
Software Development Project Management
No project can be a success without good management, and software projects are no different. Stats reveal that in the IT realm, only 39% of projects are successful. 43% are challenged, and 18% are failing. This is what happens when you start a project without proper planning and management strategies in place. Today, we are going to run you through what software development project management is, why it is so important, and what the process looks like from the inside.
Article by Vishal Narsale
May 23rd, 2024
11 min read
A Guide to Kubernetes
Modern cloud native computing heavily relies on the use of containers and the adoption of Kubernetes. Despite being a relatively new technology, it is deployed by many global enterprises to manage business-critical applications in their production environments. The popularity of Kubernetes is driven by a growing range of features, such as enhanced security, better management of microservices, improved observability, and more efficient scaling and resource use.
Serokell’s Work on GHC: Dependent Types, Part 3
At Serokell, we have a dedicated team working on GHC. The primary goal is to help add dependent types to Haskell, as outlined in GHC proposal #378, Design for Dependent Types..
Article by Serokell GHC team
April 25th, 2024
9 min read
A Look at Typed Lambda Calculus
In this piece, we focus on introducing types to lambda calculus. Typed lambda calculus extends the untyped lambda calculus by introducing a type system. It's important to note that, unlike untyped lambda calculus, there are multiple typed lambda calculi, each differentiated by the specific features of the type system used. The exact features of the type system can be chosen with considerable flexibility. In this article, we will explore some of the common choices.
Cloud Native Software Development
Cloud technologies let users have access to their data anywhere and from any device and use the capabilities of powerful servers and large storages, and quickly design complex models—all facilitated by the cloud. However, cloud-native software development is more than just storing data or running applications in the cloud. This approach allows programmers to design more flexible and scalable solutions. Moreover, cloud services provide robust backup and disaster recovery solutions.
A Guide to Solana Smart Contracts
Solana is quickly becoming one of the most popular blockchain platforms for building decentralized applications thanks to its special features that support the development of custom smart contracts. This network stands out for its impressive speed, efficiency, and ability to scale, making it an attractive choice for businesses. In this blog post, we'll discuss the peculiarities of Solana and its architecture and cover the basics of developing smart contracts on it.