Cybersecurity has been a hot topic for decades, and its importance is only growing with the increasing adoption of AI. Considering that many routine operations will soon be delegated to bots, cybersecurity is set to become even more critical. Therefore, expertise in this field positions you as a highly sought-after candidate in the IT industry. The term “cybersecurity” has a dual meaning. On the one hand, it refers to a set of practices for developing secure software. On the other hand, cybersecurity can be referred to as a practice of testing existing software for vulnerabilities, modeling at ..read more

Before training a model, you have to preprocess data. This is necessary to transform raw data into clean data suitable for analysis. In this guide, we will cover essential steps to preprocess data using Python. These include splitting the dataset into training and validation sets, handling missing values, managing categorical features, and normalizing the dataset. Why do you need to preprocess data? Data preprocessing is important for several reasons: Improves data quality. Data preprocessing techniques such as handling missing values, removing outliers, and correcting inconsistencies help im ..read more

Software developers increasingly adopt the microservices architecture, a server-side solution where interconnected services function autonomously. This enables distinct teams to work on separate services without interrupting the overall workflow—a level of flexibility rarely seen in alternative architectural approaches. Additionally, the next generation approach—multi-runtime architecture—is gaining more attention. In this blog post, we explain both concepts, as well as their benefits and limitations compared to the monolithic architecture. What are microservices? Microservices are a method in ..read more

In this blog post, we will provide insights into the website deployment workflow developed during our collaboration with Runtime Verification. Our collaboration focused on creating nix-based deployment workflow for small websites associated with Runtime Verification projects, including: Kontrol: developer tooling for formal verification of smart contracts written in solodity. ERCx: developer tooling for ERC token testing. Firefly: developer tooling for Ethereum smart contract testing. We will walk through a simple example that showcases all the key features of this deployment workflow: Depl ..read more

AI is increasingly reshaping the way we live and work. In 2024, technological advances will continue to impact all spheres of life, changing the world of software development, business patterns, and consumer habits. It will also keep raising questions about authenticity and calls for regulation. In this article, we explore key AI trends that are poised to redefine the technological landscape in 2024 based on the research conducted by three companies: Forrester, Gartner, and Bullhound. AI trends 2024, according to Forrester Forrester is a research and advisory company that publishes predictions ..read more

Open source software (OSS) development, grounded in principles of collaboration and transparency, is a cornerstone of the modern digital landscape. As more companies and individuals adopt this paradigm, it becomes essential for every programmer to have an understanding of how to launch and manage open source projects. In this article, we provide an overview of OSS best practices and categorization of open source software licenses. If you are looking for the basic information about the subject, read our earlier post “Is Open Source the Future of Software Development?” What is open source softwa ..read more

As we step into 2024, the landscape of software development continues to evolve exponentially, driven by technological innovations and changing market needs. For businesses and developers alike, staying abreast of these trends is not just beneficial—it’s essential for remaining competitive and successful. In this article, we explore the key software development trends expected to make a significant impact in 2024. General principles of software engineering in 2024 The general software development approaches set to define the IT industry in 2024 encompass further integration of AI and ML techno ..read more

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. This is a complex undertaking with a wide range of challenging problems. The aim of this blog series is to provide regular updates on the work we have done, the obstacles we have encountered, and the breakthroughs we have achieved. You can find the previous edition here. The current GHC team consists of Vladislav Zavialov and Andrei Borzenkov. (As Andrei was engaged in other projects, this report primarily portrays the e ..read more

Backpropagation is a fundamental component of deep learning for neural networks. Its development has significantly contributed to the widespread adoption of deep learning algorithms since the early 2000s. In this post, we explore the essential concepts associated with this method, as well as its applications and history. What is forward and backward propagation? Forward propagation in neural networks refers to the process of passing input data through the network’s layers to compute and produce an output. Each layer processes the data and passes it to the next layer until the final output is o ..read more

In 2023, generative artificial intelligence is on such a hype that every self-respecting Big Tech company is running to roll out their own technology. LLaMA 2 is a new open-source language model by Meta that can be seen as an opponent of ChatGPT. Releasing products that should become the “killers” of well-established products seems to be a recurring strategy of Mark Zucherberg lately. Will LLaMA have the same destiny as Threads, that has already been abandoned by most of its users? Let’s find out. In this article, you will learn everything you need to know about this new AI tool. What is a lar ..read more